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)
commitfd86260a585f2cf69ca4e6fbc9bf03206f9b4f70
tree5172e487d73751a1c812a3bffec8d29739c4efc5
parentce797a40f6c92d248f8d593e762da2e4d088c10a
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
Data/Type/Coercion.hs