088360f · Idris-dev · git.iko.soy

CHANGELOG.md+7

compare with master

unifiedsplit

@@ -1,3 +1,10 @@

1+# New in 0.99.2

2+

3+## Tool Updates

4+

5++ Idris now checks the list of packages specified at the command line

6+ against those installed. If there is a mismatch Idris will complain.

7+

1# New in 0.99.1:

8# New in 0.99.1:

2

9

3## Language updates

10## Language updates

src/Idris/Main.hs+1−1

@@ -146,7 +146,7 @@ idrisMain opts =

146

147 when (not $ null diff_pkgs) $ do

148 iputStrLn "The following packages were specified but cannot be found:"

149− iputStrLn $ unlines $ map (\x -> unwords ["-", x]) diff_pkgs

149+ iputStr $ unlines $ map (\x -> unwords ["-", x]) diff_pkgs

150 runIO $ exitWith (ExitFailure 1))

151 (\e -> return ())

152

src/Idris/Output.hs+5

@@ -174,6 +174,11 @@ iputStrLn s = do i <- getIState

174 RawOutput h -> runIO $ hPutStrLn h s

175 IdeMode n h -> runIO . hPutStrLn h $ convSExp "write-string" s n

176

177+iputStr :: String -> Idris ()

178+iputStr s = do i <- getIState

179+ case idris_outputmode i of

180+ RawOutput h -> runIO $ hPutStr h s

181+ IdeMode n h -> runIO . hPutStr h $ convSExp "write-string" s n

177

182

178idemodePutSExp :: SExpable a => String -> a -> Idris ()

183idemodePutSExp :: SExpable a => String -> a -> Idris ()

179idemodePutSExp cmd info = do i <- getIState

184idemodePutSExp cmd info = do i <- getIState

test/pkg008/expected+2

@@ -11,3 +11,5 @@ Removed: NumOps.ibc

11Removed: Test.ibc

12Removed: 00maths-idx.ibc

13Leaving directory `./src'

14+The following packages were specified but cannot be found:

15+- maths

test/pkg008/run+2

@@ -7,3 +7,5 @@ ${IDRIS:-idris} $@ --testpkg maths.ipkg | grep -v -e "idris"

7# to remove it to make output consistent.

8

9${IDRIS:-idris} $@ --clean maths.ipkg

10+

11+${IDRIS:-idris} $@ -p maths