diff options
| author | Péter Diviánszky <divipp@gmail.com> | 2016-05-14 02:20:30 +0200 |
|---|---|---|
| committer | Péter Diviánszky <divipp@gmail.com> | 2016-05-14 02:20:30 +0200 |
| commit | c1079ecb25633a9c47d61bed034b50551cadd326 (patch) | |
| tree | 04397a17b6366dabaeb8d477b0ce340358bd6c62 /src/LambdaCube/Compiler/DeBruijn.hs | |
| parent | ed2b64667428a737ef67c1632d408633d2717509 (diff) | |
refactoring
Diffstat (limited to 'src/LambdaCube/Compiler/DeBruijn.hs')
| -rw-r--r-- | src/LambdaCube/Compiler/DeBruijn.hs | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/LambdaCube/Compiler/DeBruijn.hs b/src/LambdaCube/Compiler/DeBruijn.hs index f49654c4..a1af40db 100644 --- a/src/LambdaCube/Compiler/DeBruijn.hs +++ b/src/LambdaCube/Compiler/DeBruijn.hs | |||
| @@ -105,7 +105,9 @@ rearrangeFreeVars g l (FreeVars i) = FreeVars $ case g of | |||
| 105 | 105 | ||
| 106 | 106 | ||
| 107 | -- TODO: rename | 107 | -- TODO: rename |
| 108 | dbGE i (getFreeVars -> FreeVars x) = (1 `shiftL` i) > x | 108 | dbGE i x = dbGE_ i $ getFreeVars x |
| 109 | |||
| 110 | dbGE_ i (FreeVars x) = (1 `shiftL` i) > x | ||
| 109 | 111 | ||
| 110 | -------------------------------------------------------------------------------- type class for getting free variables | 112 | -------------------------------------------------------------------------------- type class for getting free variables |
| 111 | 113 | ||