Skip to content
Snippets Groups Projects
  1. Jul 13, 2000
  2. Jul 12, 2000
  3. Jul 11, 2000
  4. Jul 10, 2000
  5. Jul 09, 2000
  6. Jul 08, 2000
  7. Jul 07, 2000
    • Simon Peyton Jones's avatar
      [project @ 2000-07-07 12:13:43 by simonpj] · 7bb06950
      Simon Peyton Jones authored
      This commit moves the instance environment out of the Class data
      structure, where it was immutable, to part of the type-checker
      environment.  This change is absolutely essential as part of
      our move to GHCi, and I think it's also going to be necessary
      for Andrei's work on generic functions.
      
      As part of this change, we can remove
      
        a) types/InstEnv.*	(thereby also removing a hi-boot loop)
        b) a tc-fixpoint-loop in TcModule
      
      Both of these are worthwhile simplifications.
      7bb06950
Loading