Skip to content
Snippets Groups Projects
  1. Jan 08, 1999
  2. Jan 07, 1999
  3. Jan 06, 1999
  4. Jan 05, 1999
  5. Dec 24, 1998
  6. Dec 23, 1998
  7. Dec 22, 1998
  8. Dec 21, 1998
  9. Dec 18, 1998
    • Simon Peyton Jones's avatar
      [project @ 1998-12-18 17:40:31 by simonpj] · 7e602b0a
      Simon Peyton Jones authored
      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.
      7e602b0a
  10. Dec 15, 1998
Loading