From: Manuel M T Chakravarty <chak@cse.unsw.edu.au>
Date: Fri, 29 Jun 2007 04:20:07 +0000 (+0000)
Subject: Overlap check for type families
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=5a3ada9ce8887154faf81954b8b45dbb882fe264;hp=5a3ada9ce8887154faf81954b8b45dbb882fe264;p=ghc-hetmet.git

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.)
---