ack, forgot about 7.8 compatibility..

ucsd-progsys · Aug 10, 2015 · 949d52a · 949d52a · hnsl · Aug 11, 2015
1 parent 69c4a08
commit 949d52a
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 2 deletions.
diff --git a/src/Language/Haskell/Liquid/Bare/Lookup.hs b/src/Language/Haskell/Liquid/Bare/Lookup.hs
@@ -22,7 +22,6 @@ import PrelInfo                                 (wiredInThings)
 import PrelNames                                (fromIntegerName, smallIntegerName, integerTyConName)
 import RdrName (setRdrNameSpace)
 import SrcLoc (SrcSpan, GenLocated(L))
-import TcRnDriver (tcRnLookupRdrName) 
 import TcEnv
 import TyCon
 import TysWiredIn
@@ -39,7 +38,7 @@ import qualified Data.HashMap.Strict as M
 import Language.Fixpoint.Names (hpropConName, isPrefixOfSym, lengthSym, propConName, symbolString)
 import Language.Fixpoint.Types (Symbol, Symbolic(..))
 
-import Language.Haskell.Liquid.GhcMisc (lookupRdrName, sourcePosSrcSpan)
+import Language.Haskell.Liquid.GhcMisc (lookupRdrName, sourcePosSrcSpan, tcRnLookupRdrName)
 import Language.Haskell.Liquid.Types
 import Language.Haskell.Liquid.WiredIn
 

diff --git a/src/Language/Haskell/Liquid/GhcMisc.hs b/src/Language/Haskell/Liquid/GhcMisc.hs
@@ -470,6 +470,7 @@ lintCoreBindings :: [Var] -> CoreProgram -> (Bag MsgDoc, Bag MsgDoc)
 
 synTyConRhs_maybe :: TyCon -> Maybe Type
 
+tcRnLookupRdrName :: HscEnv -> GHC.Located RdrName -> IO (Messages, Maybe [Name])
 
 desugarModule tcm = do
   let ms = pm_mod_summary $ tm_parsed_module tcm 
@@ -500,6 +501,8 @@ synTyConRhs_maybe t
   = Just rhs
 synTyConRhs_maybe _                     = Nothing
 
+tcRnLookupRdrName env rn = TcRnDriver.tcRnLookupRdrName env (unLoc rn)
+
 #else
 
 -- desugarModule = GHC.desugarModule
@@ -512,4 +515,6 @@ lintCoreBindings = CoreLint.lintCoreBindings CoreDoNothing
 
 synTyConRhs_maybe = TC.synTyConRhs_maybe
 
+tcRnLookupRdrName = TcRnDriver.tcRnLookupRdrName
+
 #endif