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%2FFunctionalDependencies2.scl;h=f71ab8e717b34fa2b24f5c234d751a9a6ac929d9;hp=707bb9e2ef23d9cf488ad21f2cff72765278da37;hb=172abed5dbf73c1304a7a95bb8504ea293556948;hpb=a5e69e900dcfcf54a9f39ab754f20467d99b64d3 diff --git a/tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/scl/FunctionalDependencies2.scl b/tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/scl/FunctionalDependencies2.scl index 707bb9e2e..f71ab8e71 100644 --- a/tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/scl/FunctionalDependencies2.scl +++ b/tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/scl/FunctionalDependencies2.scl @@ -1,12 +1,12 @@ -import "Prelude" - -class Mul a b c | a b -> c where - mul :: a -> b -> c - -instance Mul Integer Integer Integer where - mul = (*) - -main :: Integer -main = mul (mul (1 :: Integer) (2 :: Integer)) (3 :: Integer) --- +import "Prelude" + +class Mul a b c | a b -> c where + mul :: a -> b -> c + +instance Mul Integer Integer Integer where + mul = (*) + +main :: Integer +main = mul (mul (1 :: Integer) (2 :: Integer)) (3 :: Integer) +-- 6 \ No newline at end of file