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%2FAmbiguousType.scl;h=8dca54366db2c739f662138bb6029527d54f887f;hb=fad36d463b75c3a9944d875fc627c3533f6da74d;hp=f4871d7d5613be51f414ae421f7a5df025620dcc;hpb=43ddca759254b8e38029c1041d91cbdd7890c9b5;p=simantics%2Fplatform.git diff --git a/tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/scl/AmbiguousType.scl b/tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/scl/AmbiguousType.scl index f4871d7d5..8dca54366 100644 --- a/tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/scl/AmbiguousType.scl +++ b/tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/scl/AmbiguousType.scl @@ -1,12 +1,12 @@ - - -class Show a where - show :: a -> String - -class Read a where - read :: String -> a - -combine x = show (read x) --- -9:13-9:17: Constrain Show a contains free variables not mentioned in the type of the value. + + +class Show a where + show :: a -> String + +class Read a where + read :: String -> a + +combine x = show (read x) +-- +9:13-9:17: Constrain Show a contains free variables not mentioned in the type of the value. 9:19-9:23: Constrain Read a contains free variables not mentioned in the type of the value. \ No newline at end of file