Is there an option to see the class constraints in the function definition ?
Like:
compress [] = []
compress [a] = [a]
compress (a:b:xs)
| a==b = compress (a:xs)
| otherwise = a: compress (b:xs)On :GhcModTypeInsert it shows compress :: [a] -> [a] however, it should be compress :: Eq a => [a] -> [a].
This lack of typeclass information is wrong - ghci refuses to accept the file (as it should).
So, is there an configuration option that I overlooked ?
If not, shouldn't this be the default behaviour ?
Is there an option to see the class constraints in the function definition ?
Like:
On :GhcModTypeInsert it shows
compress :: [a] -> [a]however, it should becompress :: Eq a => [a] -> [a].This lack of typeclass information is wrong - ghci refuses to accept the file (as it should).
So, is there an configuration option that I overlooked ?
If not, shouldn't this be the default behaviour ?