projects
/
ghc-hetmet.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(from:
5a3ada9
)
Overlap check for type families
author
Manuel M T Chakravarty
<chak@cse.unsw.edu.au>
Fri, 29 Jun 2007 04:20:07 +0000
(
04:20
+0000)
committer
Manuel M T Chakravarty
<chak@cse.unsw.edu.au>
Fri, 29 Jun 2007 04:20:07 +0000
(
04:20
+0000)
- 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.)
No differences found