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%2FSharedTypeVariable.scl;h=3898fee2ade79f62304bd4a40a656072457c197d;hp=19fd565e3b7940634d395e1e72638c5bae15e958;hb=172abed5dbf73c1304a7a95bb8504ea293556948;hpb=e67e00d01d30f362e7a4f599cbcf24770ce13e22 diff --git a/tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/scl/SharedTypeVariable.scl b/tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/scl/SharedTypeVariable.scl index 19fd565e3..3898fee2a 100644 --- a/tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/scl/SharedTypeVariable.scl +++ b/tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/scl/SharedTypeVariable.scl @@ -1,8 +1,8 @@ -// Idea here is that the type variable in the top level type annotation -// and the type annotation in the expression should be the same type. -id :: a -> a -id x = (x :: a) - -main = id "OK" --- +// Idea here is that the type variable in the top level type annotation +// and the type annotation in the expression should be the same type. +id :: a -> a +id x = (x :: a) + +main = id "OK" +-- OK \ No newline at end of file