
2 Jul
2011
2 Jul
'11
5:08 p.m.
On 01.07.2011 00:58, Joshua Ball wrote:
GHCi seems to be clever about some things:
If I try to print the empty list in ghci, I encounter no problems:
Prelude> [] [] Prelude> show [] "[]" Prelude> print [] []
Even though the type of the list is clearly unknown, it must be picking SOME type. (why does it print [] instead of "")?
If I write a program in a file and load it in
main = print []
Then I get the ambiguous type variable error that I would expect. Why doesn't ghci generate this error at the prompt?
GHCi will warn you, that type defaulting was used, if you start it with ghci -Wall