tests/scl/AmbiguousType.scl

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