provide more pattern expanders for stlc+union base types

2017-04-25 13:06:40 -07:00 · 2017-04-25 13:06:40 -07:00 · e92156e78a
commit e92156e78a
parent 095c47c6cb
1 changed files with 1 additions and 1 deletions
--- a/turnstile/examples/stlc+union.rkt
+++ b/turnstile/examples/stlc+union.rkt
@ -30,7 +30,7 @@
                    [add1 : (→ Int Int)]
                    [sub1 : (→ Int Int)])
         #%datum #%app
-         (for-syntax ~True ~False))
+         (for-syntax ~PosInt ~Zero ~NegInt ~True ~False))

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