LamMachine

1 files changed, 3 insertions, 1 deletions

diff --git a/src/LambdaCube/Compiler/Core.hs b/src/LambdaCube/Compiler/Core.hs
index e86e205a..6446aeb2 100644
--- a/src/LambdaCube/Compiler/Core.hs
+++ b/src/LambdaCube/Compiler/Core.hs
@@ -79,6 +79,7 @@ data Exp
     | Neut   Neutral
     | RHS    Exp{-always in hnf-}
     | Let_   FreeVars ExpType Exp
+    | Up_    FreeVars [Int] Exp
 
 data Neutral
     = Var_        !Int{-De Bruijn index-}
@@ -86,6 +87,7 @@ data Neutral
     | CaseFun__   FreeVars CaseFunName   [Exp] Neutral
     | TyCaseFun__ FreeVars TyCaseFunName [Exp] Neutral
     | Fun_        FreeVars FunName [Exp]{-given parameters, reversed-} Exp{-unfolded expression, in hnf-}
+    | UpN_        FreeVars [Int] Neutral
 
 -------------------------------------------------------------------------------- auxiliary functions and patterns
 
@@ -190,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"