Michael Ballantyne
Michael Ballantyne
It should help us avoid some occurs checks. Consider: ``` (define-relation (foo x y) (symbolo x) (== x y)) ``` In the case where `y` is a very large list,...
It seems like we might be able to get away with only watching one side of the disequality, now.
**What version of Racket are you using?** 8.4.0.8 [cs] **What program did you run?** `sp-a.rkt`: ``` #lang racket (provide (for-space sp x) m) (define-syntax (define-syntax/sp stx) (syntax-case stx () [(_...
# Square notation This proposal is an attempt to design a syntax similar to Shrubbery notation (https://github.com/racket/rhombus-brainstorming/pull/122), but where each syntactic element has a single role that can be described...
With these BSL definitions: ``` (define (f x) ...) (define (g x) x) ``` entering either `(g 5)` or `(f 5)` in the interactions pane results in a nasty ambiguous...
https://github.com/michaelballantyne/faster-minikanren/blob/dc5390aca787e7c40177c420171715d728fdb65a/mk.scm#L573 `x`
https://github.com/michaelballantyne/faster-minikanren/blob/dc5390aca787e7c40177c420171715d728fdb65a/mk.scm#L565-L571 When `term` is a pair such as `(,x . ,x)`, the result would include two instances of the var. Not sure if this would lead to bad reification later...
I've previously discussed this with @mflatt , but I figure I should make a ticket. Consider this program: ``` #lang rhombus/and_meta block: let x = "outer" defn.macro 'm $id': 'let...
This PR aims to fix a bug with use-site scopes when `local-expand` is used with the `'expression` context. My fix also required relaxing the contract of `syntax-local-identifier-as-binding` to accept a...