From 5ec984da477375794f31b6484b929c21046c6849 Mon Sep 17 00:00:00 2001 From: Tom Smeding Date: Sun, 24 Mar 2024 17:07:06 +0100 Subject: WIP --- src/HSVIS/AST.hs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/HSVIS/AST.hs') diff --git a/src/HSVIS/AST.hs b/src/HSVIS/AST.hs index 2986248..91e08eb 100644 --- a/src/HSVIS/AST.hs +++ b/src/HSVIS/AST.hs @@ -95,7 +95,7 @@ data Type s | TFun (X Type s) (Type s) (Type s) | TCon (X Type s) Name | TVar (X Type s) Name - | TForall (X Type s) Name (Type s) -- ^ implicit + | TForall (X Type s) Name (Type s) -- ^ implicit; also, not parsed -- extension point | TExt (X Type s) !(E Type s) @@ -161,7 +161,7 @@ instance Pretty (E Type s) => Pretty (Type s) where prettysPrec _ (TCon _ n) = prettysPrec 11 n prettysPrec _ (TVar _ n) = prettysPrec 11 n prettysPrec d (TForall _ n t) = showParen (d > -1) $ - showString "forall " . prettysPrec 11 n . showString "." . prettysPrec (-1) t + showString "forall " . prettysPrec 11 n . showString ". " . prettysPrec (-1) t prettysPrec d (TExt _ e) = prettysPrec d e instance (Pretty (X Type s), Pretty (E Type s)) => Pretty (DataDef s) where -- cgit v1.2.3-70-g09d2