1 files changed, 5 insertions, 1 deletions

diff --git a/src/LambdaCube/Compiler/CGExp.hs b/src/LambdaCube/Compiler/CGExp.hs
index 21a02e8d..b2f19c9f 100644
--- a/src/LambdaCube/Compiler/CGExp.hs
+++ b/src/LambdaCube/Compiler/CGExp.hs
@@ -214,7 +214,7 @@ pattern TCon0 n = A0 n
 pattern TCon t n = Con (n, t) []
 
 pattern TUnit  <- A0 "Tuple0"
-pattern TBool  <- A0 "Bool"
+pattern TBool  = A0 "Bool"
 pattern TWord  <- A0 "Word"
 pattern TInt   <- A0 "Int"
 pattern TNat   = A0 "Nat"
@@ -270,3 +270,7 @@ getSwizzChar = \case
     A0 "Sw" -> Just 'w'
     _ -> Nothing
 
+outputType = TCon0 "Output"
+boolType = TBool
+trueExp = TCon TBool "True"
+