test case
This commit is contained in:
parent
28b8bf742f
commit
59042f9180
|
@ -0,0 +1,7 @@
|
||||||
|
#lang typed/syndicate
|
||||||
|
|
||||||
|
(lambda ()
|
||||||
|
(start-facet x
|
||||||
|
(if #f
|
||||||
|
(assert (tuple 0))
|
||||||
|
(assert (tuple 1)))))
|
Loading…
Reference in New Issue