Adapt changes to makeSimpleDetails type

ucsd-progsys · Nov 1, 2023 · 53cd09e · 53cd09e
1 parent 69ced77
commit 53cd09e
Showing 1 changed file with 3 additions and 4 deletions.
diff --git a/liquidhaskell-boot/src-ghc/Liquid/GHC/API/Extra.hs b/liquidhaskell-boot/src-ghc/Liquid/GHC/API/Extra.hs
@@ -217,10 +217,9 @@ modInfoLookupNameIO hscEnv minf name =
     Just tyThing -> return (Just tyThing)
     Nothing      -> lookupType hscEnv name
 
-moduleInfoTc :: HscEnv -> ModSummary -> TcGblEnv -> IO ModuleInfoLH
-moduleInfoTc hscEnv ms tcGblEnv = do
-  let hsc_env_tmp = hscEnv { hsc_dflags = ms_hspp_opts ms }
-  details <- md_types <$> liftIO (makeSimpleDetails hsc_env_tmp tcGblEnv)
+moduleInfoTc :: HscEnv -> TcGblEnv -> IO ModuleInfoLH
+moduleInfoTc hscEnv tcGblEnv = do
+  details <- md_types <$> liftIO (makeSimpleDetails (hsc_logger hscEnv) tcGblEnv)
   pure ModuleInfoLH { minflh_type_env = details }
 
 -- | Tells if a case alternative calls to patError