diff options
| author | Max Bolingbroke <batterseapower@hotmail.com> | 2011-08-14 08:14:10 +0100 |
|---|---|---|
| committer | Max Bolingbroke <batterseapower@hotmail.com> | 2011-09-06 17:17:03 +0100 |
| commit | d982622246f9ceb1f257746fe3437b545cb7bdcb (patch) | |
| tree | 98611a62b3ad0677b0c1b833396e8bc67df82534 | |
| parent | 6bad38a40ce042bec554b0e4efe17c8c965416bc (diff) | |
| download | haskell-d982622246f9ceb1f257746fe3437b545cb7bdcb.tar.gz | |
There are no predicate kinds in external core: remove Keq
| -rw-r--r-- | compiler/coreSyn/ExternalCore.lhs | 3 | ||||
| -rw-r--r-- | compiler/coreSyn/MkExternalCore.lhs | 1 | ||||
| -rw-r--r-- | compiler/coreSyn/PprExternalCore.lhs | 2 |
3 files changed, 1 insertions, 5 deletions
diff --git a/compiler/coreSyn/ExternalCore.lhs b/compiler/coreSyn/ExternalCore.lhs index 359419ca06..e407f73a37 100644 --- a/compiler/coreSyn/ExternalCore.lhs +++ b/compiler/coreSyn/ExternalCore.lhs @@ -72,8 +72,7 @@ data Kind | Kunboxed | Kopen | Karrow Kind Kind - | Keq Ty Ty - + data Lit = Lint Integer Ty | Lrational Rational Ty diff --git a/compiler/coreSyn/MkExternalCore.lhs b/compiler/coreSyn/MkExternalCore.lhs index 78df509dd6..71c07c313a 100644 --- a/compiler/coreSyn/MkExternalCore.lhs +++ b/compiler/coreSyn/MkExternalCore.lhs @@ -236,7 +236,6 @@ make_tyConApp tc ts = (map make_ty ts) make_kind :: Kind -> C.Kind -make_kind (PredTy (EqPred t1 t2)) = C.Keq (make_ty t1) (make_ty t2) make_kind (FunTy k1 k2) = C.Karrow (make_kind k1) (make_kind k2) make_kind k | isLiftedTypeKind k = C.Klifted diff --git a/compiler/coreSyn/PprExternalCore.lhs b/compiler/coreSyn/PprExternalCore.lhs index 5303b0d1b6..5564538fc4 100644 --- a/compiler/coreSyn/PprExternalCore.lhs +++ b/compiler/coreSyn/PprExternalCore.lhs @@ -85,8 +85,6 @@ pakind (Kopen) = char '?' pakind k = parens (pkind k) pkind (Karrow k1 k2) = parens (pakind k1 <> text "->" <> pkind k2) -pkind (Keq t1 t2) = parens (parens (pty t1) <+> text ":=:" <+> - parens (pty t2)) pkind k = pakind k paty, pbty, pty :: Ty -> Doc |