This commit is contained in:
Tony Garnock-Jones 2017-03-08 06:45:40 -05:00
parent c51f18efc2
commit dc83d33afb
1 changed files with 3 additions and 3 deletions

View File

@ -42,6 +42,9 @@
(define (emit-actor! a)
(set! actors (cons a actors)))
(define (gensym/intern base)
(string->symbol (symbol->string (gensym base))))
(define ($ v)
(format-symbol "$~a" v))
@ -52,9 +55,6 @@
`(assert (rpc (list (list ',n ,@fvs) ,@vars)
,v)))))))))
(define (gensym/intern base)
(string->symbol (symbol->string (gensym base))))
(define (compile-term term k)
(match term
[`(lambda (,var ...) ,body)