From 713eec89ea1a59a1a03a07359ca15ba124a49a3f Mon Sep 17 00:00:00 2001
From: AlexKnauth <alexander@knauth.org>
Date: Mon, 3 Apr 2017 11:21:24 -0700
Subject: [PATCH] provide ~True and ~False from stlc+union.rkt

---
 turnstile/examples/stlc+union.rkt | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/turnstile/examples/stlc+union.rkt b/turnstile/examples/stlc+union.rkt
index c30d7ca..2ce4e34 100644
--- 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