[commit: ghc] overlapping-tyfams: Fixed iface-loading bug, with Simon PJ's help. (74e43f4)
Richard Eisenberg <[email protected]>
| Newsgroups | gmane.comp.lang.haskell.cvs.ghc |
|---|---|
| Message-ID | <[email protected]> |
Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : overlapping-tyfams http://hackage.haskell.org/trac/ghc/changeset/74e43f4ded70d1148f95e167003c44d056ed619e >--------------------------------------------------------------- commit 74e43f4ded70d1148f95e167003c44d056ed619e Author: Richard Eisenberg <[email protected]> Date: Sun Nov 4 22:03:10 2012 -0500 Fixed iface-loading bug, with Simon PJ's help. The problem was that mkImportedFamInst was strict in the CoAxiom passed to it. It is now lazy in this parameter. There are a handful of other refectorings, and the removal of various debugging messages in this commit. compiler/iface/IfaceSyn.lhs | 2 +- compiler/iface/TcIface.lhs | 28 ++++++++-------------------- compiler/main/HscTypes.lhs | 29 ++++------------------------- compiler/typecheck/TcSplice.lhs | 39 +++++++++++++++++++++------------------ compiler/types/Class.lhs | 2 +- compiler/types/FamInstEnv.lhs | 3 ++- compiler/types/TyCon.lhs | 9 ++++++++- ghc/InteractiveUI.hs | 2 +- 8 files changed, 46 insertions(+), 68 deletions(-) Diff suppressed because of size. To see it, use: git show 74e43f4ded70d1148f95e167003c44d056ed619e