projects / ghc-hetmet.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (from: 8a5d47d)
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)
- 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.


No differences found
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)