Fix missing unquote
This commit is contained in:
parent
a84796d8d7
commit
d030d0631d
2
collects/typed-scheme/env/init-envs.rkt
vendored
2
collects/typed-scheme/env/init-envs.rkt
vendored
|
@ -25,7 +25,7 @@
|
||||||
[(Union: elems) `(make-Union (sort (list ,@(map sub elems)) < #:key Type-seq))]
|
[(Union: elems) `(make-Union (sort (list ,@(map sub elems)) < #:key Type-seq))]
|
||||||
[(Base: n cnt) `(make-Base ',n (quote-syntax ,cnt))]
|
[(Base: n cnt) `(make-Base ',n (quote-syntax ,cnt))]
|
||||||
[(Name: stx) `(make-Name (quote-syntax ,stx))]
|
[(Name: stx) `(make-Name (quote-syntax ,stx))]
|
||||||
[(fld: t acc mut) `(make-fld ,(sub t) (quote-syntax acc) ,mut)]
|
[(fld: t acc mut) `(make-fld ,(sub t) (quote-syntax ,acc) ,mut)]
|
||||||
[(Struct: name parent flds proc poly? pred-id cert maker-id)
|
[(Struct: name parent flds proc poly? pred-id cert maker-id)
|
||||||
`(make-Struct ,(sub name) ,(sub parent)
|
`(make-Struct ,(sub name) ,(sub parent)
|
||||||
,(sub flds) ,(sub proc) ,(sub poly?)
|
,(sub flds) ,(sub proc) ,(sub poly?)
|
||||||
|
|
Loading…
Reference in New Issue
Block a user