Update the profiling driver

ucsd-progsys · Nov 18, 2023 · 502dcc3 · 502dcc3
1 parent 76abe33
commit 502dcc3
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/scripts/profiling-driver/ProfilingDriver.hs b/scripts/profiling-driver/ProfilingDriver.hs
@@ -34,6 +34,6 @@ main = do
       logger <- liftIO G.initLogger
       (df2, leftovers, _warns) <- G.parseDynamicFlags logger df1 (map G.noLoc cmdOpts)
       setSessionDynFlags df2
-      ts <- mapM (flip G.guessTarget Nothing) $ map unLoc leftovers
+      ts <- mapM (\x-> G.guessTarget x Nothing Nothing) $ map unLoc leftovers
       setTargets ts
       void $ G.load LoadAllTargets
diff --git a/scripts/profiling-driver/profiling-driver.cabal b/scripts/profiling-driver/profiling-driver.cabal
@@ -14,7 +14,7 @@ maintainer:         Facundo Domínguez <[email protected]>
 category:           Language
 homepage:           https://github.com/ucsd-progsys/liquidhaskell
 build-type:         Simple
-tested-with:        GHC == 9.2.5
+tested-with:        GHC == 9.4.7
 
 source-repository head
   type:     git