diff options
Diffstat (limited to 'src/LambdaCube/Compiler/CoreToIR.hs')
-rw-r--r-- | src/LambdaCube/Compiler/CoreToIR.hs | 2 |
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 | ||
848 | mkTVar i (ExpTV t _ vs) = ExpTV (I.Var i) t vs | 848 | mkTVar i (ExpTV t _ vs) = ExpTV (I.Var i) t vs |
849 | 849 | ||
850 | unLab' (FixLabel_ f _ _ x) = {-trace_ ("fix " ++ show f) $ -} unLab' x | 850 | unLab' (FL _ _ x) = unLab' x |
851 | unLab' x = x | 851 | unLab' x = x |
852 | 852 | ||
853 | instance Subst Exp ExpTV where | 853 | instance Subst Exp ExpTV where |