diff options
| author | Joe Crayne <joe@jerkface.net> | 2019-04-30 13:52:47 -0400 |
|---|---|---|
| committer | Joe Crayne <joe@jerkface.net> | 2019-05-14 14:40:21 -0400 |
| commit | fd5b4b08743b4c305baa2d27fc740197d8f5e9c0 (patch) | |
| tree | b7faebcf1a5eae82b865ee424f6a30fd35e6766c | |
| parent | 0399be9fd8a45b5483efa47606bddefdca372a4a (diff) | |
Restricted import to help distinguish Core and DeBruijn symbols.
| -rw-r--r-- | src/LambdaCube/Compiler/CoreToIR.hs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/LambdaCube/Compiler/CoreToIR.hs b/src/LambdaCube/Compiler/CoreToIR.hs index e0aef2c3..51548cf3 100644 --- a/src/LambdaCube/Compiler/CoreToIR.hs +++ b/src/LambdaCube/Compiler/CoreToIR.hs | |||
| @@ -33,7 +33,8 @@ import qualified LambdaCube.IR as IR | |||
| 33 | import qualified LambdaCube.Linear as IR | 33 | import qualified LambdaCube.Linear as IR |
| 34 | 34 | ||
| 35 | import LambdaCube.Compiler.Pretty | 35 | import LambdaCube.Compiler.Pretty |
| 36 | import LambdaCube.Compiler.DeBruijn as I | 36 | import LambdaCube.Compiler.DeBruijn as I (HasFreeVars (..), Rearrange (..), |
| 37 | shiftFreeVars, up) | ||
| 37 | import LambdaCube.Compiler.DesugaredSource hiding (getTTuple) | 38 | import LambdaCube.Compiler.DesugaredSource hiding (getTTuple) |
| 38 | import LambdaCube.Compiler.Core (Subst(..), down, nType) | 39 | import LambdaCube.Compiler.Core (Subst(..), down, nType) |
| 39 | import qualified LambdaCube.Compiler.Core as I | 40 | import qualified LambdaCube.Compiler.Core as I |