diff options
| author | Joachim Breitner <mail@joachim-breitner.de> | 2013-11-27 16:15:46 +0000 |
|---|---|---|
| committer | Joachim Breitner <mail@joachim-breitner.de> | 2013-11-27 16:15:49 +0000 |
| commit | 808ded9c03be25548a8954e61115af5ccd6f2241 (patch) | |
| tree | 6f89345d18a76af8909c52e6b73d094403381e0e /compiler/prelude | |
| parent | aef90447a7eb92462f0af5e81f40965fb55fdae7 (diff) | |
| download | haskell-808ded9c03be25548a8954e61115af5ccd6f2241.tar.gz | |
Get rid of EvCoercible
and use EvCoercion to describe the evidence for Coercible instances.
Diffstat (limited to 'compiler/prelude')
| -rw-r--r-- | compiler/prelude/TysWiredIn.lhs-boot | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/prelude/TysWiredIn.lhs-boot b/compiler/prelude/TysWiredIn.lhs-boot index b6dab8a21b..305d82e2b5 100644 --- a/compiler/prelude/TysWiredIn.lhs-boot +++ b/compiler/prelude/TysWiredIn.lhs-boot @@ -5,7 +5,7 @@ import {-# SOURCE #-} TyCon (TyCon) import {-# SOURCE #-} TypeRep (Type) -eqTyCon :: TyCon +eqTyCon, coercibleTyCon :: TyCon typeNatKind, typeSymbolKind :: Type mkBoxedTupleTy :: [Type] -> Type \end{code} |