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%2FSharedTypeVariable.scl;h=3898fee2ade79f62304bd4a40a656072457c197d;hb=1aa531775d5221775a583fb13f35332dfff8aae8;hp=19fd565e3b7940634d395e1e72638c5bae15e958;hpb=06718abb2b3cc780748553811c4857c165499809;p=simantics%2Fplatform.git 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