From 9f4d65e9ef14f435aa3b6178f98b9ce1476ce056 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Thu, 1 Jan 2009 11:13:08 -0500 Subject: Reactive bool --- tests/stypes.ur | 3 +++ 1 file changed, 3 insertions(+) (limited to 'tests/stypes.ur') diff --git a/tests/stypes.ur b/tests/stypes.ur index 08de343f..e5006465 100644 --- a/tests/stypes.ur +++ b/tests/stypes.ur @@ -4,6 +4,7 @@ fun main () : transaction page = sBoth <- source (7, 42.1); sOpt <- source None; + sBool <- source True; return {[n + 3]}}/> Change
@@ -20,4 +21,6 @@ fun main () : transaction page = None => return None | Some n => return {[n]}}/> Change
+ + {[b]}}/> Change
-- cgit v1.2.3