projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b97043f) | patch
Simplify the type grammar
authorDavid Waern <david.waern@gmail.com>
Fri, 17 Apr 2009 14:58:55 +0000 (14:58 +0000)
committerDavid Waern <david.waern@gmail.com>
Fri, 17 Apr 2009 14:58:55 +0000 (14:58 +0000)
commitef70af356e3229cc5c64359bf7866e5fdf44bb09
treeee4ffa30cfb0411d016da2937e686ef5366dd6f3tree | snapshot
parentb97043f3f4ba6d24c5c8216414801b307463ee49commit | diff
Simplify the type grammar

Simon P-J suggested the following simplifications in #3097:

* Allow nested foralls in `ctype` just like in `ctypedoc`.
* Use `gentype` rather than `type` in the LHS of type declarations.
* Inline `type` in `ctype`.
* Rename `gentype` to `type`.

This patch does this. Also, the equivalent thing is done for documented types.
compiler/parser/Parser.y.pp diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)