improve layout of warning

1 files changed, 3 insertions, 2 deletions

diff --git a/src/LambdaCube/Compiler/Patterns.hs b/src/LambdaCube/Compiler/Patterns.hs
index fe4ed352..a6b96d58 100644
--- a/src/LambdaCube/Compiler/Patterns.hs
+++ b/src/LambdaCube/Compiler/Patterns.hs
@@ -85,9 +85,10 @@ pattern PConSimp    n ps = ParPat [PCon    n ps]
 pattern ViewPatSimp e p  = ParPat [ViewPat e p]
 pattern PatTypeSimp p t  = ParPat [PatType p t]
 
-pBuiltin n ci ps =  PConSimp (f n, left (second $ map $ first f) ci) ps
+pBuiltin_ n ci ps = PConSimp (n, left (second $ map $ first f) ci) ps
   where
     f n = SIName (debugSI $ "pattern_" ++ n) n
+pBuiltin n = pBuiltin_ (SIName (debugSI $ "Constructor_" ++ n) n)
 
 cTrue = pBuiltin "True" (Left ((CaseName "'Bool", 0), [("False", 0), ("True", 0)])) []
 cZero = pBuiltin "Zero" (Left ((CaseName "'Nat", 0), [("Zero", 0), ("Succ", 1)])) []
@@ -96,7 +97,7 @@ cHNil = pBuiltin "HNil" (Left (("hlistNilCase", -1), [("HNil", 0)])) []
 cList  a = pBuiltin "'List" (Right 1) [a]
 cHList a = pBuiltin "'HList" (Right 1) [a]
 cSucc  a = pBuiltin "Succ" (Left ((CaseName "'Nat", 0), [("Zero", 0), ("Succ", 1)])) [a]
-cCons  a b = pBuiltin "Cons" (Left ((CaseName "'List", 0), [("Nil", 0), ("Cons", 2)])) [a, b]
+cCons  a b = pBuiltin_ (SIName_ mempty (Just $ InfixR 5) "Cons") (Left ((CaseName "'List", 0), [("Nil", 0), ("Cons", 2)])) [a, b]
 cHCons a b = pBuiltin "HCons" (Left (("hlistConsCase", -1), [("HCons", 2)])) [a, b]
 
 pattern PParens p = ViewPatSimp (SBuiltin "parens") p