1. 15 Dec, 1998 1 commit
  2. 14 Dec, 1998 1 commit
  3. 10 Dec, 1998 1 commit
    • simonpj's avatar
      [project @ 1998-12-10 08:54:18 by simonpj] · 688c1dd3
      simonpj authored
      This massive commit is what Simon has been up to for a couple of weeks.
      1.  Scoped type variables are in
      2.  The typechecker works a bit differently.
          In partiular, the compiler no longer has TcTyVars of
      	a different type than TyVars.
          All the 's' and 'flexi' type parameters have vanished from Id, TyVar,
      	Type, etc.
          The typchecker monad is now in the IO world (though I didn't get
      	around to removing the 's' parameter from the monad, but it's
      	no longer used)
          Bottom line: significantly simpler,
      		 fewer gratuitous conversions from TcType <-> Type
      		 but less type security in the compiler
          There was a reason for doing this now; somehow the 's' stuff
          got in the way of kind inference for scoped type variables
          and I lost patience with it.
      3.  Haskell98-style reporting of scope errors; i.e. you only get
          an error if you use a variable that could mean two different things.
          At the same time I did a lot of tidying-up in the renamer.
      4.  Mostly-complete fix to the reporting of unused variables, which
          has never worked properly.  (The 'mostly' bit is because it reports
          those 'system' tycons like _C as unused.  I'm on the job.)
      5.  The parser is a bit tider than it was.  A few more ugn files give
          a more refined C data type.  I had to tackle this because of
          the scoped type variables.
      6.  Haskell98-style fixities.  Fixity decls can occur wherever a type
          signature can
      7.  Some HsSyn changes that constitute minor tidy ups
      	Put TypeDecl and ClassDecl into one type [HsDecls]
      	Improved the HsMatch/GRHSs etc data types.
      8.  TcGRHSs is removed; combined into TcMatches.
      I DO NOT PROMISE THAT ALL OF THIS WORKS.  It compiles the Prelude,
      but I have not tested it more than that.  Stick to 4.01 if you want a
      compiler that's sure to work.
  4. 09 Dec, 1998 3 commits
  5. 03 Dec, 1998 6 commits
  6. 02 Dec, 1998 1 commit
  7. 26 Nov, 1998 1 commit
  8. 25 Nov, 1998 2 commits
  9. 24 Nov, 1998 3 commits
  10. 23 Nov, 1998 3 commits
    • sof's avatar
      [project @ 1998-11-23 15:44:21 by sof] · bbe9c555
      sof authored
      Extend hConnectTo to also allow output handles to be connected, i.e.,
          h1 <- openFile "foo" WriteMode
          h2 <- openFile "bar" WriteMode
          hConnectTo h1 h2
        will cause h1's buffer to be flushed when h2's buffer overflows
        (and it is just about to be flushed.) The implementation is currently
        not as lazy as that, it flushes h1's buffer regardless of whether h2's
        buffer overflows or not.
        This is used to connect 'stderr' and 'stdout', i.e., output on
        'stderr' will now cause 'stdout' output to (first) be flushed.
    • sof's avatar
      [project @ 1998-11-23 11:51:52 by sof] · 9a13d5c8
      sof authored
      Default GhcReportCompiles to NO
    • sof's avatar
      [project @ 1998-11-23 10:03:42 by sof] · 8db1186f
      sof authored
  11. 22 Nov, 1998 1 commit
  12. 21 Nov, 1998 1 commit
    • sof's avatar
      [project @ 1998-11-21 14:35:00 by sof] · b37527ec
      sof authored
      Distinguish between defn and use of etext and end syms; they're not
      the same on platforms where we have to resort to asm labels.
  13. 17 Nov, 1998 1 commit
  14. 16 Nov, 1998 2 commits
  15. 13 Nov, 1998 2 commits
  16. 12 Nov, 1998 1 commit
  17. 11 Nov, 1998 1 commit
  18. 10 Nov, 1998 2 commits
  19. 09 Nov, 1998 3 commits
  20. 08 Nov, 1998 4 commits