refactoring; add hnf marks

2 files changed, 2 insertions, 1 deletions

diff --git a/src/LambdaCube/Compiler/Core.hs b/src/LambdaCube/Compiler/Core.hs
index 6446aeb2..b6a1c1c4 100644
--- a/src/LambdaCube/Compiler/Core.hs
+++ b/src/LambdaCube/Compiler/Core.hs
@@ -192,7 +192,7 @@ delta = ELit (LString "<<delta function>>") -- TODO: build an error call
 
 pattern TConstraint <- TTyCon0 F'Constraint where TConstraint = tTyCon0 F'Constraint $ error "cs 1"
 pattern Unit        <- TTyCon0 F'Unit      where Unit        = tTyCon0 F'Unit [Unit]
-pattern TInt        <- TTyCon0 F'Int       --where TInt        = tTyCon0 F'Int $ error "cs 1"
+pattern TInt        <- TTyCon0 F'Int       where TInt        = tTyCon0 F'Int $ error "cs 1"
 pattern TNat        <- TTyCon0 F'Nat       where TNat        = tTyCon0 F'Nat $ error "cs 3"
 pattern TBool       <- TTyCon0 F'Bool      where TBool       = tTyCon0 F'Bool $ error "cs 4"
 pattern TFloat      <- TTyCon0 F'Float     where TFloat      = tTyCon0 F'Float $ error "cs 5"
diff --git a/src/LambdaCube/Compiler/Pretty.hs b/src/LambdaCube/Compiler/Pretty.hs
index a357a9eb..12964b6b 100644
--- a/src/LambdaCube/Compiler/Pretty.hs
+++ b/src/LambdaCube/Compiler/Pretty.hs
@@ -280,6 +280,7 @@ isOpName _ = False
 red         = DFormat P.dullred
 green       = DFormat P.dullgreen
 blue        = DFormat P.dullblue
+white       = DFormat P.white
 onred       = DFormat P.ondullred
 ongreen     = DFormat P.ondullgreen
 onblue      = DFormat P.ondullblue