Skip to content

Commit 90ab9fb

Browse files
wz1000wz1000
committed
Add support for the multi unit argument syntax introduced in GHC 9.4: https://downloads.haskell.org/ghc/9.4.4/docs/users_guide/using.html#multiple-home-units
We now support arguments of the form ``` -unit @unitA -unit @unitb ``` where the response files `unitA` and `unitB` contain the actual list of arguments for that unit: ``` -this-unit-id a-0.1.0.0 -i -isrc A1 A2 ``` Also refactor the session loader and simplify it. Also adds error messages on GHC 9.4 if the units are not closed (#3422).
1 parent ddc67b2 commit 90ab9fb

File tree

14 files changed

+324
-118
lines changed

14 files changed

+324
-118
lines changed

Diff for: ‎ghcide/ghcide.cabal

+1
Original file line numberDiff line numberDiff line change
@@ -165,6 +165,7 @@ library
165165
Development.IDE.Core.UseStale
166166
Development.IDE.GHC.Compat
167167
Development.IDE.GHC.Compat.Core
168+
Development.IDE.GHC.Compat.CmdLine
168169
Development.IDE.GHC.Compat.Env
169170
Development.IDE.GHC.Compat.Iface
170171
Development.IDE.GHC.Compat.Logger

Diff for: ‎ghcide/session-loader/Development/IDE/Session.hs

+173-115
Large diffs are not rendered by default.

Diff for: ‎ghcide/src/Development/IDE/GHC/Compat/CmdLine.hs

+48
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,48 @@
1+
{-# LANGUAGE CPP #-}
2+
{-# LANGUAGE RankNTypes #-}
3+
4+
-- | Compat module Interface file relevant code.
5+
module Development.IDE.GHC.Compat.CmdLine (
6+
processCmdLineP
7+
, CmdLineP (..)
8+
, getCmdLineState
9+
, putCmdLineState
10+
, Flag(..)
11+
, OptKind(..)
12+
, EwM
13+
, defFlag
14+
, liftEwM
15+
) where
16+
17+
#if MIN_VERSION_ghc(9,3,0)
18+
import GHC.Driver.Session (processCmdLineP, CmdLineP (..), getCmdLineState, putCmdLineState)
19+
import GHC.Driver.CmdLine
20+
#else
21+
22+
#if MIN_VERSION_ghc(9,0,0)
23+
import GHC.Driver.CmdLine
24+
#else
25+
import CmdLineParser
26+
#endif
27+
28+
import Control.Monad.IO.Class
29+
import Control.Monad.Trans.State
30+
import GHC (Located, mkGeneralLocated)
31+
import GHC.ResponseFile
32+
import Control.Exception
33+
#endif
34+
35+
#if !MIN_VERSION_ghc(9,3,0)
36+
-- | A helper to parse a set of flags from a list of command-line arguments, handling
37+
-- response files.
38+
processCmdLineP
39+
:: forall s m. MonadIO m
40+
=> [Flag (CmdLineP s)] -- ^ valid flags to match against
41+
-> s -- ^ current state
42+
-> [Located String] -- ^ arguments to parse
43+
-> m (([Located String], [Err], [Warn]), s)
44+
-- ^ (leftovers, errors, warnings)
45+
processCmdLineP activeFlags s0 args =
46+
pure $ runCmdLine (processArgs activeFlags args) s0
47+
48+
#endif

Diff for: ‎ghcide/src/Development/IDE/GHC/Compat/Env.hs

+6
Original file line numberDiff line numberDiff line change
@@ -51,6 +51,7 @@ module Development.IDE.GHC.Compat.Env (
5151
Backend,
5252
setBackend,
5353
Development.IDE.GHC.Compat.Env.platformDefaultBackend,
54+
workingDirectory
5455
) where
5556

5657
import GHC (setInteractiveDynFlags)
@@ -105,6 +106,11 @@ hsc_EPS :: HscEnv -> UnitEnv
105106
hsc_EPS = hsc_unit_env
106107
#endif
107108

109+
#if !MIN_VERSION_ghc(9,3,0)
110+
workingDirectory :: a -> Maybe b
111+
workingDirectory _ = Nothing
112+
#endif
113+
108114
#if !MIN_VERSION_ghc(9,2,0)
109115
type UnitEnv = ()
110116
newtype Logger = Logger { log_action :: LogAction }

Diff for: ‎ghcide/src/Development/IDE/GHC/Compat/Units.hs

+4-2
Original file line numberDiff line numberDiff line change
@@ -5,9 +5,7 @@
55
module Development.IDE.GHC.Compat.Units (
66
-- * UnitState
77
UnitState,
8-
#if MIN_VERSION_ghc(9,3,0)
98
initUnits,
10-
#endif
119
oldInitUnits,
1210
unitState,
1311
getUnitName,
@@ -179,8 +177,12 @@ initUnits unitDflags env = do
179177
, ue_eps = ue_eps (hsc_unit_env env)
180178
}
181179
pure $ hscSetFlags dflags1 $ hscSetUnitEnv unit_env env
180+
#else
181+
initUnits :: [DynFlags] -> HscEnv -> IO HscEnv
182+
initUnits _df env = pure env -- Can't do anything here, oldInitUnits should already be called
182183
#endif
183184

185+
184186
-- | oldInitUnits only needs to modify DynFlags for GHC <9.2
185187
-- For GHC >= 9.2, we need to set the hsc_unit_env also, that is
186188
-- done later by initUnits

Diff for: ‎ghcide/test/data/multi-unit/a-1.0.0-inplace

+18
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,18 @@
1+
-this-package-name
2+
a
3+
-working-dir
4+
a
5+
-fbuilding-cabal-package
6+
-O0
7+
-i.
8+
-this-unit-id
9+
a-1.0.0-inplace
10+
-hide-all-packages
11+
-Wmissing-home-modules
12+
-no-user-package-db
13+
-package
14+
base
15+
-package
16+
text
17+
-XHaskell98
18+
A

Diff for: ‎ghcide/test/data/multi-unit/a/A.hs

+3
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,3 @@
1+
module A(foo) where
2+
import Data.Text
3+
foo = ()

Diff for: ‎ghcide/test/data/multi-unit/b-1.0.0-inplace

+19
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,19 @@
1+
-this-package-name
2+
b
3+
-working-dir
4+
b
5+
-fbuilding-cabal-package
6+
-O0
7+
-i
8+
-i.
9+
-this-unit-id
10+
b-1.0.0-inplace
11+
-hide-all-packages
12+
-Wmissing-home-modules
13+
-no-user-package-db
14+
-package-id
15+
a-1.0.0-inplace
16+
-package
17+
base
18+
-XHaskell98
19+
B

Diff for: ‎ghcide/test/data/multi-unit/b/B.hs

+3
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,3 @@
1+
module B(module B) where
2+
import A
3+
qux = foo

Diff for: ‎ghcide/test/data/multi-unit/c-1.0.0-inplace

+19
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,19 @@
1+
-this-package-name
2+
c
3+
-working-dir
4+
c
5+
-fbuilding-cabal-package
6+
-O0
7+
-i
8+
-i.
9+
-this-unit-id
10+
c-1.0.0-inplace
11+
-hide-all-packages
12+
-Wmissing-home-modules
13+
-no-user-package-db
14+
-package-id
15+
a-1.0.0-inplace
16+
-package
17+
base
18+
-XHaskell98
19+
C

Diff for: ‎ghcide/test/data/multi-unit/c/C.hs

+3
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,3 @@
1+
module C(module C) where
2+
import A
3+
cux = foo

Diff for: ‎ghcide/test/data/multi-unit/cabal.project

+2
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,2 @@
1+
packages: a b c
2+
multi-repl: True

Diff for: ‎ghcide/test/data/multi-unit/hie.yaml

+6
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,6 @@
1+
cradle:
2+
direct:
3+
arguments: ["-unit" ,"@a-1.0.0-inplace"
4+
,"-unit" ,"@b-1.0.0-inplace"
5+
,"-unit" ,"@c-1.0.0-inplace"
6+
]

Diff for: ‎ghcide/test/exe/Main.hs

+19-1
Original file line numberDiff line numberDiff line change
@@ -2491,7 +2491,7 @@ cradleTests = testGroup "cradle"
24912491
[testGroup "dependencies" [sessionDepsArePickedUp]
24922492
,testGroup "ignore-fatal" [ignoreFatalWarning]
24932493
,testGroup "loading" [loadCradleOnlyonce, retryFailedCradle]
2494-
,testGroup "multi" [simpleMultiTest, simpleMultiTest2, simpleMultiTest3, simpleMultiDefTest]
2494+
,testGroup "multi" [simpleMultiTest, simpleMultiTest2, simpleMultiTest3, simpleMultiDefTest, simpleMultiUnitTest]
24952495
,testGroup "sub-directory" [simpleSubDirectoryTest]
24962496
]
24972497

@@ -2622,6 +2622,24 @@ simpleMultiTest = testCase "simple-multi-test" $ withLongTimeout $ runWithExtraF
26222622
checkDefs locs (pure [fooL])
26232623
expectNoMoreDiagnostics 0.5
26242624

2625+
-- Test support for loading multiple components as -unit flags as
2626+
-- implemented in GHC 9.4
2627+
simpleMultiUnitTest :: TestTree
2628+
simpleMultiUnitTest = testCase "simple-multi-unit-test" $ withLongTimeout $ runWithExtraFiles "multi-unit" $ \dir -> do
2629+
let aPath = dir </> "a/A.hs"
2630+
bPath = dir </> "b/B.hs"
2631+
cPath = dir </> "c/C.hs"
2632+
bdoc <- openDoc bPath "haskell"
2633+
WaitForIdeRuleResult {} <- waitForAction "TypeCheck" bdoc
2634+
TextDocumentIdentifier auri <- openDoc aPath "haskell"
2635+
skipManyTill anyMessage $ isReferenceReady aPath
2636+
cdoc <- openDoc cPath "haskell"
2637+
WaitForIdeRuleResult {} <- waitForAction "TypeCheck" cdoc
2638+
locs <- getDefinitions cdoc (Position 2 7)
2639+
let fooL = mkL auri 2 0 2 3
2640+
checkDefs locs (pure [fooL])
2641+
expectNoMoreDiagnostics 0.5
2642+
26252643
-- Like simpleMultiTest but open the files in the other order
26262644
simpleMultiTest2 :: TestTree
26272645
simpleMultiTest2 = testCase "simple-multi-test2" $ runWithExtraFiles "multi" $ \dir -> do

0 commit comments

Comments
 (0)