projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8f212ab) | patch
Do not be so eager about loading family-instance modules
authorSimon Peyton Jones <simonpj@microsoft.com>
Thu, 26 May 2011 13:31:18 +0000 (14:31 +0100)
committerSimon Peyton Jones <simonpj@microsoft.com>
Thu, 26 May 2011 13:31:18 +0000 (14:31 +0100)
commit5188e4e515d6d890ae98e3fbca99ddaf93639d03
treee16322c156f777f7eaeda718d3bd71acde878367tree | snapshot
parent8f212ab5307434edf92c7d10fe0df88ccb5cd6cacommit | diff
Do not be so eager about loading family-instance modules
when doing the overlap check.  We only need to load the
ones for modules whose family instances we need to compare!

This means that programs that don't use type families are
not penalised, which is important.
compiler/typecheck/FamInst.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)