From fd5b4b08743b4c305baa2d27fc740197d8f5e9c0 Mon Sep 17 00:00:00 2001 From: Joe Crayne Date: Tue, 30 Apr 2019 13:52:47 -0400 Subject: Restricted import to help distinguish Core and DeBruijn symbols. --- src/LambdaCube/Compiler/CoreToIR.hs | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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 import qualified LambdaCube.Linear as IR import LambdaCube.Compiler.Pretty -import LambdaCube.Compiler.DeBruijn as I +import LambdaCube.Compiler.DeBruijn as I (HasFreeVars (..), Rearrange (..), + shiftFreeVars, up) import LambdaCube.Compiler.DesugaredSource hiding (getTTuple) import LambdaCube.Compiler.Core (Subst(..), down, nType) import qualified LambdaCube.Compiler.Core as I -- cgit v1.2.3