X-Git-Url: https://gerrit.simantics.org/r/gitweb?a=blobdiff_plain;f=tests%2Forg.simantics.scl.compiler.tests%2Fsrc%2Forg%2Fsimantics%2Fscl%2Fcompiler%2Ftests%2Fscl%2FRecordWildcards.scl;fp=tests%2Forg.simantics.scl.compiler.tests%2Fsrc%2Forg%2Fsimantics%2Fscl%2Fcompiler%2Ftests%2Fscl%2FRecordWildcards.scl;h=2ff5245b60b002243999777b29dde6610ae9591b;hb=00b73fe170154840ac11c2a9403c6bcd9a0e673a;hp=0000000000000000000000000000000000000000;hpb=bdbcaeeef059e97bcaba696f129deb1d5c16c0bf;p=simantics%2Fplatform.git

diff --git a/tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/scl/RecordWildcards.scl b/tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/scl/RecordWildcards.scl
new file mode 100644
index 000000000..2ff5245b6
--- /dev/null
+++ b/tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/scl/RecordWildcards.scl
@@ -0,0 +1,27 @@
+import "Prelude"
+
+data XYZ = XYZ { x :: Double, y :: Double, z :: Double }
+deriving instance Show XYZ
+
+updateX x' XYZ {..} = XYZ {x', ..} 
+
+main = print $ updateX 5 $ XYZ { x = 4, y = 3, .. }
+  where
+    z = 2
+-- 
+XYZ 5.0 3.0 2.0
+()
+--
+import "Prelude"
+
+main = ()
+  where
+    constraint R { a :: Integer, b :: Integer, label :: String }
+    
+    -R { a = 0, ..   } => print "Final: b = \(?b), label = \(?label)"
+    -R { ?a,  ?b, .. } => R { a=?a-1, b=?b+1, .. }
+    
+    True => R { a = 5, b = 5, label = "My label" } 
+--
+Final: b = 10, label = My label
+()
\ No newline at end of file