git.iko.soy/Idris-dev
on master help sign in
Updated CHANGELOG and tests.
commit088360f8b1ab85a34b9a945d5536bedac15e20ef authorJan de Muijnck-Hughes <jan.deMuijnck-Hughes@glasgow.ac.uk> dateFri 24 Mar 2017, 09:00 (10 years ago) parent71b49d3
5 files changed+17−1
compare with master
unifiedsplit
CHANGELOG.md+7 src/Idris/Main.hs+1−1 src/Idris/Output.hs+5 test/pkg008/expected+2 test/pkg008/run+2
CHANGELOG.md+7
@@ -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+
18# New in 0.99.1:
29
310## Language updates
src/Idris/Main.hs+1−1
@@ -146,7 +146,7 @@ idrisMain opts =
146146
147147 when (not $ null diff_pkgs) $ do
148148 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
150150 runIO $ exitWith (ExitFailure 1))
151151 (\e -> return ())
152152
src/Idris/Output.hs+5
@@ -174,6 +174,11 @@ iputStrLn s = do i <- getIState
174174 RawOutput h -> runIO $ hPutStrLn h s
175175 IdeMode n h -> runIO . hPutStrLn h $ convSExp "write-string" s n
176176
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
177182
178183idemodePutSExp :: SExpable a => String -> a -> Idris ()
179184idemodePutSExp cmd info = do i <- getIState
test/pkg008/expected+2
@@ -11,3 +11,5 @@ Removed: NumOps.ibc
1111Removed: Test.ibc
1212Removed: 00maths-idx.ibc
1313Leaving 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"
77# to remove it to make output consistent.
88
99${IDRIS:-idris} $@ --clean maths.ipkg
10+
11+${IDRIS:-idris} $@ -p maths