Hi all,
In the middle of a Clean 2.1 program I write (in the Windows IDE) a function
myfun that is not used anywhere else:
myfun :: Int Real -> String
myfun x y = undef
Then when I call the compiler and watch the Types window, I see:
myfun :: !Int !Real -> {#Char}
My question is: how can it derive the strictness? I expected the arguments
would be considered non-strict.
Regards Erik Zuurbier