diff options
| -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 |