Skip to content
Snippets Groups Projects
  1. Jul 14, 2000
    • Simon Marlow's avatar
      [project @ 2000-07-14 08:19:02 by simonmar] · 6cc5709b
      Simon Marlow 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.
      6cc5709b
    • Simon Peyton Jones's avatar
      [project @ 2000-07-14 08:17:36 by simonpj] · 77a8c0db
      Simon Peyton Jones 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
      irrelevant).
      
      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
      77a8c0db
    • Simon Peyton Jones's avatar
      [project @ 2000-07-14 08:14:53 by simonpj] · 8d873902
      Simon Peyton Jones authored
      Remove dead code
      8d873902
  2. Jul 13, 2000
  3. Jul 12, 2000
  4. Jul 11, 2000
  5. Jul 10, 2000
  6. Jul 09, 2000
  7. Jul 08, 2000
Loading