diff options
| author | Péter Diviánszky <divipp@gmail.com> | 2016-02-16 01:02:23 +0100 |
|---|---|---|
| committer | Péter Diviánszky <divipp@gmail.com> | 2016-02-16 01:02:23 +0100 |
| commit | aa927f04434e53f41e9fcb04f9c6680c9457fcc8 (patch) | |
| tree | f7d7d8bfe30543338bc4aa265f111d34fd700cdf /src/LambdaCube/Compiler/CoreToIR.hs | |
| parent | 6befbf3058a87522dc59e3e55c65a6d7b448fd9e (diff) | |
eliminate FixLabel, performance is back at previous level
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 |