Skip to content
Snippets Groups Projects
  1. Dec 09, 1999
  2. Dec 08, 1999
  3. Dec 07, 1999
  4. Dec 06, 1999
    • Jeff Lewis's avatar
      [project @ 1999-12-06 22:52:26 by lewie] · e03c0dd3
      Jeff Lewis 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).
      e03c0dd3
    • Julian Seward's avatar
      [project @ 1999-12-06 16:47:07 by sewardj] · 0e0bde9e
      Julian Seward 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.
      0e0bde9e
    • Julian Seward's avatar
      [project @ 1999-12-06 16:25:23 by sewardj] · 39135867
      Julian Seward 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.
      39135867
    • Julian Seward's avatar
      [project @ 1999-12-06 16:20:26 by sewardj] · 7c0ef81a
      Julian Seward authored
      Only detect (# and #) as special tokens when parsing interface files.
      7c0ef81a
    • Simon Peyton Jones's avatar
      [project @ 1999-12-06 15:48:41 by simonpj] · d5b9dfff
      Simon Peyton Jones authored
      Add missing stdout file
      d5b9dfff
    • Simon Peyton Jones's avatar
      [project @ 1999-12-06 15:38:05 by simonpj] · 49bb4580
      Simon Peyton Jones authored
      Some minor tidying-up that should remove an occurrence
      of an empty Let Rec that confused CoreLint.dumpLoc.
      
      Simon
      49bb4580
    • Simon Peyton Jones's avatar
      [project @ 1999-12-06 11:54:56 by simonpj] · fbdd694d
      Simon Peyton Jones 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.
      
      Simon
      fbdd694d
    • Simon Peyton Jones's avatar
      [project @ 1999-12-06 10:50:29 by simonpj] · 81253051
      Simon Peyton Jones 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.
      
      Simon
      81253051
  5. Dec 04, 1999
  6. Dec 03, 1999
    • Jeff Lewis's avatar
      [project @ 1999-12-03 18:17:29 by lewie] · c2b053f3
      Jeff Lewis authored
      Extend getTyVarsToGen to take the closure of the set of tyvars
      with respect to functional dependencies.  Really simple programs
      using functional dependencies work now.  Also fixed a small glitch
      where trivial (empty) FunDeps were being tossed into the context willy nilly.
      c2b053f3
    • Julian Seward's avatar
      [project @ 1999-12-03 17:56:04 by sewardj] · 4dd14773
      Julian Seward authored
      Remove some hooks into the Prelude which Hugs no longer needs to know about.
      4dd14773
Loading