tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/scl/AmbiguousType.scl

   1 \r
   2 \r
   3 class Show a where\r
   4     show :: a -> String\r
   5     \r
   6 class Read a where\r
   7     read :: String -> a\r
   8   \r
   9 combine x = show (read x)\r
  10 --\r
  11 9:13-9:17: Constrain Show a contains free variables not mentioned in the type of the value.\r
  12 9:19-9:23: Constrain Read a contains free variables not mentioned in the type of the value.