diff options
| author | Richard Eisenberg <rae@cs.brynmawr.edu> | 2017-06-06 11:01:14 -0400 |
|---|---|---|
| committer | Richard Eisenberg <rae@cs.brynmawr.edu> | 2017-07-27 07:49:06 -0400 |
| commit | 79cfb1999474ad15dd955a10c846c8ea87e612c2 (patch) | |
| tree | ae3ad8ca8517115049bdc2c971396021508c09a1 /compiler/iface/ToIface.hs-boot | |
| parent | bb2a446ae488522489c4ce03081439659820174c (diff) | |
| download | haskell-79cfb1999474ad15dd955a10c846c8ea87e612c2.tar.gz | |
Remove old coercion pretty-printer
Now, all coercions are printed from IfaceType, just like types.
This also changes the rendering of TransCo to use ; instead of
a prefix operator.
Diffstat (limited to 'compiler/iface/ToIface.hs-boot')
| -rw-r--r-- | compiler/iface/ToIface.hs-boot | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/iface/ToIface.hs-boot b/compiler/iface/ToIface.hs-boot index e2431b82dc..cdb472692e 100644 --- a/compiler/iface/ToIface.hs-boot +++ b/compiler/iface/ToIface.hs-boot @@ -13,4 +13,4 @@ toIfaceTyLit :: TyLit -> IfaceTyLit toIfaceForAllBndr :: TyVarBinder -> IfaceForAllBndr toIfaceTyCon :: TyCon -> IfaceTyCon toIfaceTcArgs :: TyCon -> [Type] -> IfaceTcArgs -toIfaceCoercion :: Coercion -> IfaceCoercion +toIfaceCoercionX :: VarSet -> Coercion -> IfaceCoercion |