1. 07 Dec, 1999 3 commits
    • simonmar's avatar
      [project @ 1999-12-07 11:19:35 by simonmar] · 471e777a
      simonmar authored
      test $(IncludeTestDirsInBuild)
    • simonmar's avatar
      [project @ 1999-12-07 11:16:53 by simonmar] · 54dd8d98
      simonmar authored
    • sewardj's avatar
      [project @ 1999-12-07 11:14:56 by sewardj] · 6478af6d
      sewardj authored
      Don't create a new infotable for every constructor application.
      Amazingly, that's what the codegen.c used to do.  It didn't generate
      vast numbers of redundant infotables until recently, when I changed
      translate.c to generate saturated constructor applications in line.
      Prior to that, there was only ever one application of each constructor,
      so the old scheme was ok.
      Also, fix the assembler so that info table ptrs are commoned up.
      Eg, for [1,2,3], store only one copy of the address of the (:) itbl,
      rather than 3, in the BCO.
  2. 06 Dec, 1999 8 commits
    • lewie's avatar
      [project @ 1999-12-06 22:52:26 by lewie] · e03c0dd3
      lewie authored
      Fixed a FunDep leak in tcSimplifyToDicts (they weren't being filtered out),
      and fixed bug in instance improvement (matching wasn't being done correctly
      for polymorphic instances).
    • sewardj's avatar
      [project @ 1999-12-06 16:47:07 by sewardj] · 0e0bde9e
      sewardj authored
      Remove compile-time address space allocated to tuples, and remove all
      references to TUPMIN.  I think I have fixed the address mapping for
      when TREX is defined, but you never know.
    • sewardj's avatar
      [project @ 1999-12-06 16:25:23 by sewardj] · 39135867
      sewardj authored
      Remove Hugs' special treatment of tuples, and instead have them as
      just another Tycon.  This is to make interworking with GHC simpler.
      Put tuple entries in the Tycon table.  Modify isTycon, isTuple, tupleOf,
      mkTuple and whatIs so that client code doesn't see any difference.
      Add allocTupleTycon to manufacture tuple Tycon entries as startup.
    • sewardj's avatar
      [project @ 1999-12-06 16:20:26 by sewardj] · 7c0ef81a
      sewardj authored
      Only detect (# and #) as special tokens when parsing interface files.
    • simonpj's avatar
      [project @ 1999-12-06 15:48:41 by simonpj] · d5b9dfff
      simonpj authored
      Add missing stdout file
    • simonpj's avatar
      [project @ 1999-12-06 15:38:05 by simonpj] · 49bb4580
      simonpj authored
      Some minor tidying-up that should remove an occurrence
      of an empty Let Rec that confused CoreLint.dumpLoc.
    • simonpj's avatar
      [project @ 1999-12-06 11:54:56 by simonpj] · fbdd694d
      simonpj authored
      Fix a major bug in exporting unfoldings involving existentials.
      Change core printing so that we put an '@' before type
      variables in case patterns.  This only affects existentials.
      	case x of
      	  C @ a x y -> ...
      Here 'a' is an existentially quantified type variable, and the
      '@' signifies this.  We continue to omit kinds and type on case-bound
      variables; the type checker can fill them in.
      The reason for this change is that type variables and term variables
      live in a different name space, so we need to know which name space
      is  involved when binding one.  How this ever worked I will never know.
      While I was at it, I also arranged that -ddump-rn prints out whatever
      it has even if it finds errors.  Adding -dppr-debug prints even the
      unfoldings on imported things.
    • simonpj's avatar
      [project @ 1999-12-06 10:50:29 by simonpj] · 81253051
      simonpj authored
      Change printDump so that it prints in user style by default.
      This means that (eg) -ddump-simpl output is much more readable...
      but you may get confused by variables that look the same but aren't.
      To recover the previous behaviour use -dppr-debug
      This change only affects compiler hackers; let me know if it
      has any good or bad effects.
  3. 04 Dec, 1999 3 commits
  4. 03 Dec, 1999 11 commits
  5. 02 Dec, 1999 8 commits
  6. 01 Dec, 1999 7 commits