projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d49f9f5) | patch
Loosen the syntax of types slightly
authorsimonpj@microsoft.com <unknown>
Mon, 17 Sep 2007 16:07:08 +0000 (16:07 +0000)
committersimonpj@microsoft.com <unknown>
Mon, 17 Sep 2007 16:07:08 +0000 (16:07 +0000)
commitfa1a55badb9e8869f74e4a63c38cf4837e122496
tree68ecaf1701e7ed52c730339de47462a848176040tree | snapshot
parentd49f9f5b53b1e9b28d516a6adc8a4603d2d5b64fcommit | diff
Loosen the syntax of types slightly

This change allows you to write
f :: (Eq a) => (Ord b) => a -> b -> b
Previously you could only have a forall and context after '->'
but not after '=>' which is strange and inconsistent.

Making the parser a bit more generous didn't change the number
of shift/reduce conflicts.

tc236 tests.
compiler/parser/Parser.y.pp diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)