summaryrefslogtreecommitdiff
path: root/src/LambdaCube/Compiler/CoreToIR.hs
diff options
context:
space:
mode:
Diffstat (limited to 'src/LambdaCube/Compiler/CoreToIR.hs')
-rw-r--r--src/LambdaCube/Compiler/CoreToIR.hs2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/LambdaCube/Compiler/CoreToIR.hs b/src/LambdaCube/Compiler/CoreToIR.hs
index 7bbd4a8b..9e741a01 100644
--- a/src/LambdaCube/Compiler/CoreToIR.hs
+++ b/src/LambdaCube/Compiler/CoreToIR.hs
@@ -847,7 +847,7 @@ chain' vs t _ = error $ "chain: " ++ show t
847 847
848mkTVar i (ExpTV t _ vs) = ExpTV (I.Var i) t vs 848mkTVar i (ExpTV t _ vs) = ExpTV (I.Var i) t vs
849 849
850unLab' (FixLabel_ f _ _ x) = {-trace_ ("fix " ++ show f) $ -} unLab' x 850unLab' (FL _ _ x) = unLab' x
851unLab' x = x 851unLab' x = x
852 852
853instance Subst Exp ExpTV where 853instance Subst Exp ExpTV where