Hi Johannes, Am Mittwoch, den 08.04.2009, 03:00 +0000 schrieb Johannes Waldmann:
Dear all, (this is a rant - please ignore)
why has "PatternSignatures" been renamed to "ScopedTypeVariables" (in ghc-6.10)?
show me the alleged "type variable" in this code: do x :: Int <- [ 1 .. 10 ] ; return $ x^2
and why on earth do I need to use a language extension at all to get to the most basic thing of declarative programming: to declare the type of an identifier?
This seriously hurts (me, at least) when teaching Haskell.
I agree, and it has bothered me for quite a while. But better late than never: https://github.com/ghc-proposals/ghc-proposals/pull/119 If if this still seriously hurts you, feel free to express your support in the proposal. Cheers, Joachim -- Joachim Breitner mail@joachim-breitner.de http://www.joachim-breitner.de/