diff options
| author | Manuel M T Chakravarty <chak@cse.unsw.edu.au> | 2007-09-15 07:41:19 +0000 |
|---|---|---|
| committer | Manuel M T Chakravarty <chak@cse.unsw.edu.au> | 2007-09-15 07:41:19 +0000 |
| commit | 6d2b0ae3ae3296cb6cdd496cbf85b897c7ce150b (patch) | |
| tree | c25c028e56c97bd9305cdc0291cff3959960c755 /compiler/codeGen | |
| parent | bbd67a5f4f3515ea5c37711815b2f6ad58cbd655 (diff) | |
| download | haskell-6d2b0ae3ae3296cb6cdd496cbf85b897c7ce150b.tar.gz | |
Overhaul of the rewrite rules
- Cleaned up and simplified rules
- Added many missing cases
- The rules OccursCheck and swap have been eliminated and integrate with
the other rules; ie, Subst and Unify perform the occurs check themselves
and they can deal with left-to-right and right-to-left oriented rewrites.
This makes the code simpler and more efficient.
- Also added comments.
Diffstat (limited to 'compiler/codeGen')
0 files changed, 0 insertions, 0 deletions