John Hughes wrote: | I noticed today that the presence or absence of a type | signature can change the RESULT of an expression in | Hugs and GHC nowadays.
This has been a property of the Haskell language since the defaulting mechanism already! Here is an example: a = let x = 1 in show x -- == "1" b = let x :: Float ; x = 1 in show x -- == "1.0" | Now, what are the proof rules for reasoning about | implicit parameters again (:-)? Now, what are the proof rules about Haskell again :-(? /Koen. _______________________________________________ Haskell mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell
