git.iko.soy/Idris-dev
on master help sign in
Disable travis for GHC 8.8 (libffi still broken)
9662ab5Niklas Larsson
.travis.yml+9−10
compare with master
unifiedsplit
@@ -1,5 +1,4 @@
1dist: xenial
1dist: xenial
2−sudo: false
3
2
4language: c
3language: c
5
4
@@ -21,15 +20,15 @@ matrix:
21 compiler: ": #GHC 8.2.2"
20 compiler: ": #GHC 8.2.2"
22 addons: {apt: {packages: [cabal-install-2.4,ghc-8.2.2,cppcheck,hscolour], sources: [hvr-ghc]}}
21 addons: {apt: {packages: [cabal-install-2.4,ghc-8.2.2,cppcheck,hscolour], sources: [hvr-ghc]}}
23
22
24− - env: CABALVER="3.0" GHCVER="8.8.1" TESTS="lib_doc doc"
23+# - env: CABALVER="3.0" GHCVER="8.8.1" TESTS="lib_doc doc"
25− compiler: ": #GHC 8.8.1"
24+# compiler: ": #GHC 8.8.1"
26− addons: {apt: {packages: [cabal-install-3.0,ghc-8.8.1,cppcheck,hscolour], sources: [hvr-ghc]}}
25+# addons: {apt: {packages: [cabal-install-3.0,ghc-8.8.1,cppcheck,hscolour], sources: [hvr-ghc]}}
27− - env: CABALVER="3.0" GHCVER="8.8.1" TESTS="test_js"
26+# - env: CABALVER="3.0" GHCVER="8.8.1" TESTS="test_js"
28− compiler: ": #GHC 8.8.1"
27+# compiler: ": #GHC 8.8.1"
29− addons: {apt: {packages: [cabal-install-3.0,ghc-8.8.1,cppcheck,hscolour], sources: [hvr-ghc]}}
28+# addons: {apt: {packages: [cabal-install-3.0,ghc-8.8.1,cppcheck,hscolour], sources: [hvr-ghc]}}
30− - env: CABALVER="3.0" GHCVER="8.8.1" TESTS="test_c"
29+# - env: CABALVER="3.0" GHCVER="8.8.1" TESTS="test_c"
31− compiler: ": #GHC 8.8.1"
30+# compiler: ": #GHC 8.8.1"
32− addons: {apt: {packages: [cabal-install-3.0,ghc-8.8.1,cppcheck,hscolour], sources: [hvr-ghc]}}
31+# addons: {apt: {packages: [cabal-install-3.0,ghc-8.8.1,cppcheck,hscolour], sources: [hvr-ghc]}}
33 fast-finish: true
32 fast-finish: true
34
33
35cache:
34cache:
CHANGELOG.md+3
@@ -1,3 +1,6 @@
1+# New since last release
2++ Updated to work with GHC 8.8 and cabal 3.0
3+
1# New in 1.3.2
4# New in 1.3.2
2+ Documentation added to proof section
5+ Documentation added to proof section
3
6
Makefile+3−3
@@ -30,15 +30,15 @@ stylize:
30 ./stylize.sh
30 ./stylize.sh
31
31
32test_c:
32test_c:
33− $(CABAL) test $(ARGS) --test-options \
33+ $(CABAL) v1-test $(ARGS) --test-options \
34 "$(TEST-ARGS) --rerun-update +RTS -N$(TEST-JOBS) -RTS"
34 "$(TEST-ARGS) --rerun-update +RTS -N$(TEST-JOBS) -RTS"
35
35
36test_js:
36test_js:
37− $(CABAL) test $(ARGS) --test-options \
37+ $(CABAL) v1-test $(ARGS) --test-options \
38 "$(TEST-ARGS) --node --rerun-update +RTS -N$(TEST-JOBS) -RTS"
38 "$(TEST-ARGS) --node --rerun-update +RTS -N$(TEST-JOBS) -RTS"
39
39
40test_update:
40test_update:
41− $(CABAL) test $(ARGS) --test-options \
41+ $(CABAL) v1-test $(ARGS) --test-options \
42 "$(TEST-ARGS) --accept +RTS -N$(TEST-JOBS) -RTS"
42 "$(TEST-ARGS) --accept +RTS -N$(TEST-JOBS) -RTS"
43
43
44test_clean:
44test_clean:
appveyor.yml+3−3
@@ -1,17 +1,17 @@
1version: 1.0.{build}
1version: 1.0.{build}
2init:
2init:
3- ps: >-
3- ps: >-
4− choco install cabal --version=2.4.1.0 --no-progress
4+ choco install cabal --no-progress
5
5
6 mkdir C:\ghc
6 mkdir C:\ghc
7
7
8− Invoke-WebRequest "https://downloads.haskell.org/~ghc/8.4.3/ghc-8.4.3-x86_64-unknown-mingw32.tar.xz" -OutFile C:\ghc\ghc.tar.xz -UserAgent "Curl"
8+ Invoke-WebRequest "https://downloads.haskell.org/~ghc/8.8.2/ghc-8.8.2-x86_64-unknown-mingw32.tar.xz" -OutFile C:\ghc\ghc.tar.xz -UserAgent "Curl"
9
9
10 7z x C:\ghc\ghc.tar.xz -oC:\ghc
10 7z x C:\ghc\ghc.tar.xz -oC:\ghc
11
11
12 7z x C:\ghc\ghc.tar -oC:\ghc
12 7z x C:\ghc\ghc.tar -oC:\ghc
13
13
14− $env:PATH="$env:PATH;c:\ghc\ghc-8.4.3\bin;$HOME\AppData\Roaming\cabal\bin"
14+ $env:PATH="$env:PATH;c:\ghc\ghc-8.8.2\bin;$HOME\AppData\Roaming\cabal\bin"
15
15
16 cabal v1-update
16 cabal v1-update
17
17
idris.cabal+3
@@ -116,6 +116,9 @@ Extra-source-files:
116 test/**/*.c
116 test/**/*.c
117 test/**/*.h
117 test/**/*.h
118 test/**/*.in
118 test/**/*.in
119+ test/**/*.txt
120+ test/**/*.js
121+ test/base001/Makefile
119 test/ffi004/theOtherType
122 test/ffi004/theOtherType
120 test/ffi004/theType
123 test/ffi004/theType
121 test/scripts/timeout
124 test/scripts/timeout
test/dsl002/test → test/dsl002/test.inrenamed

The content is the same.

test/dsl002/test014.idr+1−1
@@ -64,6 +64,6 @@ readH fn = res (do let x = open fn Reading
64 else rputStrLn "Error")
64 else rputStrLn "Error")
65
65
66main : IO ()
66main : IO ()
67−main = run (readH "test")
67+main = run (readH "test.in")
68
68
69
69
test/effects001/test021.idr+1−1
@@ -31,7 +31,7 @@ readFileCount = readAcc []
31
31
32testFile : TestFileIO () ()
32testFile : TestFileIO () ()
33testFile = do
33testFile = do
34− Success <- open "testFile" Read
34+ Success <- open "testFile.in" Read
35 | (FError err) => do
35 | (FError err) => do
36 putStrLn "Error!"
36 putStrLn "Error!"
37 pure ()
37 pure ()
test/effects001/testFile → test/effects001/testFile.inrenamed

The content is the same.

test/ffi011/ffi011 → test/ffi011/ffi011.jsrenamed

The content is the same.

test/ffi011/run.sh+1−1
@@ -1,4 +1,4 @@
1#!/usr/bin/env bash
1#!/usr/bin/env bash
2${IDRIS:-idris} $@ ffi011.idr --interface -o lib.js
2${IDRIS:-idris} $@ ffi011.idr --interface -o lib.js
3−node ./ffi011
3+node ./ffi011.js
4rm -f *.ibc lib.js
4rm -f *.ibc lib.js
test/ffi012/ffi012 → test/ffi012/ffi012.jsrenamed

The content is the same.

test/pkg010/expected.out+22−24
@@ -4,28 +4,26 @@ Uncaught error: user error (wrongopts.ipkg:4:1:
4 | ^
4 | ^
5Invalid option `-total'
5Invalid option `-total'
6
6
7−Usage: ([--nobanner] | [-q|--quiet] | [--ide-mode] | [--ide-mode-socket] |
7+Usage: [--nobanner | (-q|--quiet) | --ide-mode | --ide-mode-socket |
8− [--client ARG] | [--log LEVEL] | [--logging-categories CATS] |
8+ --client ARG | --log LEVEL | --logging-categories CATS |
9− [--nobasepkgs] | [--noprelude] | [--nobuiltins] | [--check] |
9+ --nobasepkgs | --noprelude | --nobuiltins | --check |
10− [-o|--output FILE] | [--interface] | [--typeintype] | [--total] |
10+ (-o|--output FILE) | --interface | --typeintype | --total |
11− [--partial] | [--warnpartial] | [--warnreach] | [--warnipkg] |
11+ --partial | --warnpartial | --warnreach | --warnipkg | --nocoverage |
12− [--nocoverage] | [--errorcontext] | [--info] | [--listlogcats] |
12+ --errorcontext | --info | --listlogcats | --link | --listlibs |
13− [--link] | [--listlibs] | [--libdir] | [--docdir] | [--include] | [--V2]
13+ --libdir | --docdir | --include | --V2 | --V1 | (-V|--V0|--verbose) |
14− | [--V1] | [-V|--V0|--verbose] | [--ibcsubdir FILE] |
15− [-i|--idrispath ARG] | [--sourcepath ARG] | [--warn] |
14+ --ibcsubdir FILE | (-i|--idrispath ARG) | --sourcepath ARG | --warn |
16− [-p|--package ARG] | [--port PORT] | [--build IPKG] | [--install IPKG] |
15+ (-p|--package ARG) | --port PORT | --build IPKG | --install IPKG |
17− [--repl IPKG] | [--clean IPKG] | [--mkdoc IPKG] | [--installdoc IPKG] |
16+ --repl IPKG | --clean IPKG | --mkdoc IPKG | --installdoc IPKG |
18− [--checkpkg IPKG] | [--testpkg IPKG] | [--indent-with INDENT] |
17+ --checkpkg IPKG | --testpkg IPKG | --indent-with INDENT |
19− [--indent-clause INDENT] | [--bytecode ARG] | [-S|--codegenonly] |
18+ --indent-clause INDENT | --bytecode ARG | (-S|--codegenonly) |
20− [-c|--compileonly] | [--dumpdefuns ARG] | [--dumpcases ARG] |
19+ (-c|--compileonly) | --dumpdefuns ARG | --dumpcases ARG |
21− [--codegen TARGET] | [--portable-codegen TARGET] | [--cg-opt ARG] |
20+ --codegen TARGET | --portable-codegen TARGET | --cg-opt ARG |
22− [-e|--eval EXPR] | [--execute] | [--exec EXPR] | [-X|--extension EXT] |
21+ (-e|--eval EXPR) | --execute | --exec EXPR | (-X|--extension EXT) |
23− [--O3] | [--O2] | [--O1] | [--O0] | [--partial-eval] |
22+ --O3 | --O2 | --O1 | --O0 | --partial-eval | --no-partial-eval |
24− [--no-partial-eval] |
25− [--optimise-nat-like-types|--optimize-nat-like-types] |
23+ (--optimise-nat-like-types|--optimize-nat-like-types) |
26− [--no-optimise-nat-like-types|--no-optimize-nat-like-types] |
24+ (--no-optimise-nat-like-types|--no-optimize-nat-like-types) |
27− [-O|--level ARG] | [--target TRIPLE] | [--cpu CPU] | [--color|--colour]
25+ (-O|--level ARG) | --target TRIPLE | --cpu CPU | (--color|--colour) |
28− | [--nocolor|--nocolour] | [--consolewidth WIDTH] | [--highlight] |
26+ (--nocolor|--nocolour) | --consolewidth WIDTH | --highlight |
29− [--no-tactic-deprecation-warnings] |
27+ --no-tactic-deprecation-warnings |
30− [--allow-capitalized-pattern-variables]) [FILES] [-v|--version]
28+ --allow-capitalized-pattern-variables] [FILES] [-v|--version]
31)
29)
test/st001/test001.idr+1−1
@@ -40,7 +40,7 @@ readFileCount fh cnt =
40
40
41testFile : (ConsoleIO m, File m) => ST m () []
41testFile : (ConsoleIO m, File m) => ST m () []
42testFile = with ST do
42testFile = with ST do
43− Right fileHandle <- open "testFile" Read
43+ Right fileHandle <- open "testFile.in" Read
44 | Left ferr => do putStrLn (show ferr)
44 | Left ferr => do putStrLn (show ferr)
45 pure ()
45 pure ()
46 count <- new 0
46 count <- new 0
test/st001/testFile → test/st001/testFile.inrenamed

The content is the same.

test/st002/test002.idr+1−1
@@ -40,7 +40,7 @@ readFileCount fh cnt =
40
40
41testFile : (ConsoleIO m, File m) => ST m () []
41testFile : (ConsoleIO m, File m) => ST m () []
42testFile = with ST do
42testFile = with ST do
43− Right fileHandle <- open "testFile" Read
43+ Right fileHandle <- open "testFile.in" Read
44 | Left ferr => do putStrLn (show ferr)
44 | Left ferr => do putStrLn (show ferr)
45 pure ()
45 pure ()
46 count <- new 0
46 count <- new 0
test/st002/testFile → test/st002/testFile.inrenamed

The content is the same.

test/st003/test003.idr+1−1
@@ -7,7 +7,7 @@ import Control.ST.ImplicitCall
7
7
8testFile : (ConsoleIO m, File m) => ST m () []
8testFile : (ConsoleIO m, File m) => ST m () []
9testFile = with ST do
9testFile = with ST do
10− Right str <- readFile "testFile"
10+ Right str <- readFile "testFile.in"
11 | Left ferr => do putStrLn (show ferr)
11 | Left ferr => do putStrLn (show ferr)
12 pure ()
12 pure ()
13 putStrLn str
13 putStrLn str
test/st003/testFile → test/st003/testFile.inrenamed

The content is the same.