• eir@cis.upenn.edu's avatar
    Change GeneralizedNewtypeDeriving safety check. · ff3904d9
    eir@cis.upenn.edu authored
    Now, instead of looking at a class's roles, the GND check looks
    at all of the methods in the class individually. This has the
    advantage that sometimes, we can use information about the
    derivation requested during the safety check. For example,
    we can now derive (IArray UArray), whereas the previous check
    prevented this.
Coercion.lhs 69.5 KB