projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 07160d6) | patch
Overlap check for family instances def'd in current module
authorManuel M T Chakravarty <chak@cse.unsw.edu.au>
Thu, 12 Oct 2006 20:37:37 +0000 (20:37 +0000)
committerManuel M T Chakravarty <chak@cse.unsw.edu.au>
Thu, 12 Oct 2006 20:37:37 +0000 (20:37 +0000)
commit8a5d47de2b82d9cca86546a7bd89d915488934ef
treec3b1cd2d633df41925c16c5e4be1c9045fcbab1etree | snapshot
parent07160d6128cd517f967749b169d03b3c1ebac0e3commit | diff
Overlap check for family instances def'd in current module
- All family instances are checked for overlap when entered into TcGblEnv.
  Their are checked against all instances in the EPS and those currently in
  the TcGblEnv.
compiler/typecheck/FamInst.lhs diff | blob | history
compiler/types/FamInstEnv.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)