provide ~True and ~False from stlc+union.rkt

2017-04-03 11:21:24 -07:00 · 2017-04-03 11:21:24 -07:00 · 713eec89ea
commit 713eec89ea
parent d6012a7472
1 changed files with 2 additions and 1 deletions
--- a/turnstile/examples/stlc+union.rkt
+++ b/turnstile/examples/stlc+union.rkt
@ -27,7 +27,8 @@
                    [* : (→ Num Num Num)]
                    [add1 : (→ Int Int)]
                    [sub1 : (→ Int Int)])
-         #%datum #%app)
+         #%datum #%app
+         (for-syntax ~True ~False))

 (define-syntax define-named-type-alias
  (syntax-parser