1. 14 Jul, 2000 6 commits
    • simonmar's avatar
      [project @ 2000-07-14 09:34:02 by simonmar] · e377ca57
      simonmar authored
      Add a section describing GHC's version numbering policy.
      e377ca57
    • simonmar's avatar
      [project @ 2000-07-14 09:26:23 by simonmar] · 19d85bae
      simonmar authored
      wibble
      19d85bae
    • 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.
      1f869670
    • 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.
      6cc5709b
    • 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
      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
    • simonpj's avatar
      [project @ 2000-07-14 08:14:53 by simonpj] · 8d873902
      simonpj authored
      Remove dead code
      8d873902
  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.
      56b76501
    • 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.
      ee13c263
  6. 09 Jul, 2000 3 commits
    • panne's avatar
      [project @ 2000-07-09 16:17:10 by panne] · caea0cb9
      panne authored
      Third attempt by two people trying to get a simple fprintf right
      again...   :-}
      caea0cb9
    • panne's avatar
      [project @ 2000-07-09 16:06:28 by panne] · 7f8d266e
      panne authored
      Install HsStd.h, stgio.h, stgerror.h, and fileObject.h, too. Hmmm,
      this looks not particularly nice, perhaps we should merge those into a
      single HsStd.h some day.
      7f8d266e
    • panne's avatar
      [project @ 2000-07-09 16:00:55 by panne] · de972178
      panne authored
      By definition (sec. 7.3 in the H98 report), userError raises an
      IOError, so Prelude.catch should catch UserError exceptions, too.
      Apart from not conforming to the report, without this patch GHC's
      typechecker falls straight on its face.
      de972178