Name change `CoercionT` to `CoercionType`, and addition of `repr`.
authorRichard Eisenberg <eir@cis.upenn.edu>
Mon, 21 Oct 2013 03:44:29 +0000 (23:44 -0400)
committerRichard Eisenberg <eir@seas.upenn.edu>
Mon, 28 Oct 2013 17:15:20 +0000 (13:15 -0400)
commit824ea410c97c70ca90a25cc4cca9195cdc3fdc11
tree0eb4b9ac5f976d524a394f6555f1a7b0b8cf2e43
parenteb6725b48dae167ae8197f7b12eae9d0728fc5be
Name change `CoercionT` to `CoercionType`, and addition of `repr`.

`repr` converts a `(:~:)` to a `Coercion`. Name changes are as discussed
on http://ghc.haskell.org/trac/ghc/wiki/TypeLevelNamingIssues
libraries/base/Data/Type/Coercion.hs