X-Git-Url: https://gerrit.simantics.org/r/gitweb?p=simantics%2Fplatform.git;a=blobdiff_plain;f=tests%2Forg.simantics.scl.compiler.tests%2Fsrc%2Forg%2Fsimantics%2Fscl%2Fcompiler%2Ftests%2Fscl%2FExistentialData2.scl;h=6f0a02dc2d353d3838583532078e1bd43cdb436a;hp=b0299691e27740d6a08c1809cf4a475a08a74977;hb=HEAD;hpb=f8576d4d2b3b30d76db552d624fc9f087b8940bd diff --git a/tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/scl/ExistentialData2.scl b/tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/scl/ExistentialData2.scl index b0299691e..6f0a02dc2 100644 --- a/tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/scl/ExistentialData2.scl +++ b/tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/scl/ExistentialData2.scl @@ -1,7 +1,7 @@ -data Thunk a = /* forall s. */ Thunk s (s -> a) - -mixThunks (Thunk s0 f0) (Thunk s1 f1) = f0 s1 - -main = "Not to be executed!" --- +data Thunk a = /* forall s. */ Thunk s (s -> a) + +mixThunks (Thunk s0 f0) (Thunk s1 f1) = f0 s1 + +main = "Not to be executed!" +-- 3:44-3:46: Expected got . \ No newline at end of file