29 Dec
2009
29 Dec
'09
11:04 a.m.
Stefan Holdermans wrote:
It seems that I need to distinguish between a theory for Haskell and a given implementation (GHCi). What do you mean by this?
From the responses to my query, it seems that I cannot rely totally on the compiler for my research question which is concerned with the meaning of Haskell constructs I will have to consult the Haskell Report.
Why are the GHCi commands :t "ww" and :t getName("ww") not a valid type checks?
I am not sure what you mean by this.
lutz@iks-jena.de wrote;
And you do not even check for the type of "ww". :t snd . (\x -> (getName x, x)) $ "ww" ... :: String
From the above, I though perhaps that my checks were not valid tests for the type of the expressions.
Thanks, Pat