1. 14 Jul, 2000 8 commits
    • simonpj's avatar
      [project @ 2000-07-14 13:36:33 by simonpj] · f39f5abb
      simonpj authored
      Tidy up newMutTyVar/newSigTyVar
    • simonmar's avatar
      [project @ 2000-07-14 13:28:35 by simonmar] · ce492e0a
      simonmar authored
      remove unused #include "gmp.h"
    • simonmar's avatar
      [project @ 2000-07-14 09:34:02 by simonmar] · e377ca57
      simonmar authored
      Add a section describing GHC's version numbering policy.
    • simonmar's avatar
      [project @ 2000-07-14 09:26:23 by simonmar] · 19d85bae
      simonmar authored
    • simonmar's avatar
      [project @ 2000-07-14 09:03:57 by simonmar] · 1f869670
      simonmar authored
      - add a new section on "keeping intermediate files"
      - document the new -keep-tmp-files and -keep-raw-s-file options.
    • simonmar's avatar
      [project @ 2000-07-14 08:19:02 by simonmar] · 6cc5709b
      simonmar authored
      Add -keep-tmp-files flag, to tell the driver not to delete tmp files.
      Useful mainly for debugging the driver, and obsoletes the GHC
      folklore of using ^Z for this purpose.
    • simonpj's avatar
      [project @ 2000-07-14 08:17:36 by simonpj] · 77a8c0db
      simonpj authored
      This commit completely re-does the kind-inference mechanism.
      Previously it was inter-wound with type inference, but that was
      always hard to understand, and it finally broke when we started
      checking for ambiguity when type-checking a type signature (details
      So now kind inference is more clearly separated, so that it never
      takes place at the same time as type inference.  The biggest change
      is in TcTyClsDecls, which does the kind inference for a group of
      type and class declarations.  It now contains comments to explain
      how it all works.
      There are also comments in TypeRep which describes the slightly
      tricky way in which we deal with the fact that kind 'type' (written
      '*') actually has 'boxed type' and 'unboxed type' as sub-kinds.
      The whole thing is a bit of a hack, because we don't really have 
      sub-kinding, but it's less of a hack than before.
      A lot of general tidying up happened at the same time.
      In particular, I removed some dead code here and there
    • simonpj's avatar
      [project @ 2000-07-14 08:14:53 by simonpj] · 8d873902
      simonpj authored
      Remove dead code
  2. 13 Jul, 2000 7 commits
  3. 12 Jul, 2000 2 commits
  4. 11 Jul, 2000 20 commits
  5. 10 Jul, 2000 2 commits
    • rrt's avatar
      [project @ 2000-07-10 16:56:56 by rrt] · 56b76501
      rrt authored
      Test file; will shortly be removed.
    • rrt's avatar
      [project @ 2000-07-10 16:15:33 by rrt] · ee13c263
      rrt authored
      Removed carriage returns (\r) from source files. Please don't check in such
      things; they can cause problems on Cygwin (funnily enough). I'm looking into
      how to avoid commiting carriage returns when working under Windows.
  6. 09 Jul, 2000 1 commit