diff options
| author | Adam Sandberg Eriksson <adam@sandbergericsson.se> | 2015-07-27 13:18:36 +0200 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2015-07-27 13:49:55 +0200 |
| commit | f842ad6c751c14ec331ca1709538c2f3e9a30ae7 (patch) | |
| tree | 5517e0a9d3cf5b896bcdd6d6eb986613b295eaf2 /compiler/codeGen | |
| parent | 474d4ccc6e4a3bea93be16cb7daef6ffcdf9b663 (diff) | |
| download | haskell-f842ad6c751c14ec331ca1709538c2f3e9a30ae7.tar.gz | |
Implementation of StrictData language extension
This implements the `StrictData` language extension, which lets the
programmer default to strict data fields in datatype declarations on a
per-module basis.
Specification and motivation can be found at
https://ghc.haskell.org/trac/ghc/wiki/StrictPragma
This includes a tricky parser change due to conflicts regarding `~` in
the type level syntax: all ~'s are parsed as strictness annotations (see
`strict_mark` in Parser.y) and then turned into equality constraints at
the appropriate places using `RdrHsSyn.splitTilde`.
Updates haddock submodule.
Test Plan: Validate through Harbormaster.
Reviewers: goldfire, austin, hvr, simonpj, tibbe, bgamari
Reviewed By: simonpj, tibbe, bgamari
Subscribers: lelf, simonpj, alanz, goldfire, thomie, bgamari, mpickering
Differential Revision: https://phabricator.haskell.org/D1033
GHC Trac Issues: #8347
Diffstat (limited to 'compiler/codeGen')
0 files changed, 0 insertions, 0 deletions