diff options
author | simonpj <unknown> | 1998-12-18 17:42:39 +0000 |
---|---|---|
committer | simonpj <unknown> | 1998-12-18 17:42:39 +0000 |
commit | 7e602b0a11e567fcb035d1afd34015aebcf9a577 (patch) | |
tree | 54ca13c3ec0704e343b68d0d313a29f53d6c3855 /ghc/compiler/parser/util.c | |
parent | 139f0fd30e19f934aa51885a52b8e5d7c24ee460 (diff) | |
download | haskell-7e602b0a11e567fcb035d1afd34015aebcf9a577.tar.gz |
[project @ 1998-12-18 17:40:31 by simonpj]
Another big commit from Simon. Actually, the last one
didn't all go into the main trunk; because of a CVS glitch it
ended up in the wrong branch.
So this commit includes:
* Scoped type variables
* Warnings for unused variables should work now (they didn't before)
* Simplifier improvements:
- Much better treatment of strict arguments
- Better treatment of bottoming Ids
- No need for w/w split for fns that are merely strict
- Fewer iterations needed, I hope
* Less gratuitous renaming in interface files and abs C
* OccName is a separate module, and is an abstract data type
I think the whole Prelude and Exts libraries compile correctly.
Something isn't quite right about typechecking existentials though.
Diffstat (limited to 'ghc/compiler/parser/util.c')
-rw-r--r-- | ghc/compiler/parser/util.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/ghc/compiler/parser/util.c b/ghc/compiler/parser/util.c index 0b8c765cfc..6c0ebfb7d1 100644 --- a/ghc/compiler/parser/util.c +++ b/ghc/compiler/parser/util.c @@ -102,6 +102,7 @@ error(s) exit(1); } +/* lconc l1 l2 appends l2 to the end of l1 */ list lconc(l1, l2) list l1; @@ -117,6 +118,7 @@ lconc(l1, l2) return(l1); } +/* lapp( l, x ) appends [x] to the end of list l */ list lapp(list l1, VOID_STAR l2) { |