feat(pretty-printing): Remove the domain when printing foralls (as it…

… will only ever be type)
ElaraLang · May 31, 2024 · 2b5158e · 2b5158e
1 parent 28492c5
commit 2b5158e
Showing 1 changed file with 0 additions and 19 deletions.
diff --git a/src/Elara/TypeInfer/Type.hs b/src/Elara/TypeInfer/Type.hs
@@ -431,14 +431,8 @@ prettyQuantifiedType type0
 
     prettyShort quantifier Forall{..} =
         prefix
-            <> punctuation "("
             <> label (pretty name)
             <> " "
-            <> punctuation ":"
-            <> " "
-            <> pretty domain
-            <> punctuation ")"
-            <> " "
             <> prettyShort ForallQuantifier type_
       where
         prefix =
@@ -448,14 +442,8 @@ prettyQuantifiedType type0
                 ForallQuantifier -> ""
     prettyShort quantifier Exists{..} =
         prefix
-            <> punctuation "("
             <> label (pretty name)
             <> " "
-            <> punctuation ":"
-            <> " "
-            <> pretty domain
-            <> punctuation ")"
-            <> " "
             <> prettyShort ExistsQuantifier type_
       where
         prefix =
@@ -469,14 +457,7 @@ prettyQuantifiedType type0
     prettyLong Forall{..} =
         keyword "forall"
             <> " "
-            <> punctuation "("
             <> label (pretty name)
-            <> " "
-            <> punctuation ":"
-            <> " "
-            <> pretty domain
-            <> punctuation ")"
-            <> " "
             <> punctuation "."
             <> Pretty.hardline
             <> prettyLong type_