ku-fpg/hermit — pull request #108 by conal (2014-05-30 20:01:32+00:00)
Title: coercionSyntaxEq: handle SubCo (for ghc > 706)

In `HERMIT.Core`, `coercionSyntaxEq` was missing a case for `SubCo` and so gave `False` for equal `SubCo` coercions.