minimal VarAssert in turnstile working

2022-08-16 11:35:21 -04:00 · 2022-08-16 11:35:21 -04:00 · 4ab405fd70
parent e514453a12
commit 4ab405fd70
1 changed files with 11 additions and 0 deletions
--- a/racket/typed/tests/var-assert.rkt
+++ b/racket/typed/tests/var-assert.rkt
@ -0,0 +1,11 @@
+#lang typed/syndicate
+
+(require rackunit/turnstile)
+
+(check-type
+ (role-strings
+  (start-facet X
+    (field [state Bool #t])
+    (assert (tuple (! state)))))
+  : (List String)
+  -> (list "(Role (X) (VarAssert state (--> (U False True) (Tuple (U False True))) (--> False (Tuple False)) (--> True (Tuple True))))"))