projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 78f4da2) | patch
Overlap check for type families
authorManuel M T Chakravarty <chak@cse.unsw.edu.au>
Fri, 29 Jun 2007 04:20:07 +0000 (04:20 +0000)
committerManuel M T Chakravarty <chak@cse.unsw.edu.au>
Fri, 29 Jun 2007 04:20:07 +0000 (04:20 +0000)
commit5a3ada9ce8887154faf81954b8b45dbb882fe264
tree2badc330e1a552d4b103358f61e7a1e28c76d9c8tree | snapshot
parent78f4da288f8a189c739766a3107fa80073800ba7commit | diff
Overlap check for type families
- If two "type instance"s overlap, they right-hand sides must be syntactically
  equal under the overlap substitution.  (Ie, we admit limited overlap, but
  require the system to still be confluent.)
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)