From bad5b1a5635b3db83b4178c200e9a83d49ffc2d7 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Thu, 1 Jan 2009 10:18:20 -0500 Subject: Reactive computation with more base types and records --- tests/stypes.ur | 11 ++++++++++- 1 file changed, 10 insertions(+), 1 deletion(-) (limited to 'tests/stypes.ur') diff --git a/tests/stypes.ur b/tests/stypes.ur index 6368d5c9..4d918a91 100644 --- a/tests/stypes.ur +++ b/tests/stypes.ur @@ -1,5 +1,14 @@ fun main () : transaction page = sInt <- source 0; + sFloat <- source 1.23; + sBoth <- source (7, 42.1); + + sOpt <- source None; + return - {[n]}}/> Change
+ {[n + 3]}}/> Change
+ + {[n + 1.0]}}/> Change
+ + {[p.1]}, {[p.2]}}/> Change
-- cgit v1.2.3