suzanne.soy/typed-racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Fix macro impl.

Browse Source 
original commit: 23aeff8c3bdc57442164d9865411f867917b7448
This commit is contained in:
Sam Tobin-Hochstadt 2008-06-19 11:12:32 -04:00
parent f939f616f5
commit 7f4b1a5cd1
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
collects/typed-scheme/private/type-effect-convenience.ss
View File

@ -13,7 +13,6 @@
(provide (all-defined-out))
(define (-vet id) (make-Var-True-Effect id))
(define (-vef id) (make-Var-False-Effect id))
@ -38,10 +37,11 @@
(define-syntax ->
(syntax-rules (:)
[(_ dom ... rng)
(->* (list dom ...) rng)]
[(_ dom ... rng : eff1 eff2)
(->* (list dom ...) rng : eff1 eff2)]))
(->* (list dom ...) rng : eff1 eff2)]
[(_ dom ... rng)
(->* (list dom ...) rng)]))
(define-syntax ->*
(syntax-rules (:)
[(_ dom rng)