210de4e · ghcide · git.iko.soy

Don't error on goto definition for another package (#1687)

commit210de4e46c5e90310354c6a1d95644cd5c5968db authorNeil Mitchell <ndmitchell@gmail.com> dateSat 15 Jun 2019, 16:11 (7 years ago) parentf7cff7c

2 files changed+6−1

unifiedsplit

src/Development/IDE/Types/Options.hs+5

@@ -7,6 +7,7 @@

77module Development.IDE.Types.Options

88 ( IdeOptions(..)

99 , IdePkgLocationOptions(..)

10+ , defaultIdePkgLocationOptions

1011 ) where

1112

1213import Development.Shake

@@ -38,3 +39,7 @@ data IdePkgLocationOptions = IdePkgLocationOptions

3839 -- used to lookup settings like importDirs. For DAML, we place them in the package DB.

3940 -- For cabal this could point somewhere in ~/.cabal/packages.

4041 }

42+

43+defaultIdePkgLocationOptions :: IdePkgLocationOptions

44+defaultIdePkgLocationOptions = IdePkgLocationOptions f f

45+ where f _ _ = return Nothing

test/Demo.hs+1−1

@@ -59,7 +59,7 @@ main = do

5959 ,optWriteIface = False

6060 ,optGhcSession = liftIO $ newSession' cradle

6161 ,optExtensions = ["hs"]

62− ,optPkgLocationOpts = error "optPkgLocationOpts not implemented yet"

62+ ,optPkgLocationOpts = defaultIdePkgLocationOptions

6363 ,optThreads = 0

6464 ,optShakeProfiling = Nothing -- Just "output.html"

6565 }