609f712 · Idris-dev · git.iko.soy

appveyor.yml+4−4

compare with master

unifiedsplit

@@ -5,15 +5,15 @@ init:

5

6 mkdir C:\ghc

7

8− Invoke-WebRequest "http://downloads.haskell.org/~ghc/8.2.1/ghc-8.2.1-x86_64-unknown-mingw32.tar.xz" -OutFile C:\ghc\ghc.tar.xz -UserAgent "Curl"

8+ Invoke-WebRequest "http://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"

9

10 7z x C:\ghc\ghc.tar.xz -oC:\ghc

11

12 7z x C:\ghc\ghc.tar -oC:\ghc

13

14− $env:PATH="$env:PATH;c:\ghc\ghc-8.2.1\bin;$HOME\AppData\Roaming\cabal\bin"

14+ $env:PATH="$env:PATH;c:\ghc\ghc-8.4.3\bin;$HOME\AppData\Roaming\cabal\bin"

15

16− cabal update

16+ cabal v1-update

17

18 $env:current_posix=c:\msys64\usr\bin\cygpath -u $(pwd)

19

@@ -22,6 +22,6 @@ environment:

22 MSYS2_PATH_TYPE: inherit

23build_script:

24- ps: >-

25− c:\msys64\usr\bin\bash -l -c "cd $env:current_posix && cabal install -fffi --enable-tests 2>&1"

25+ c:\msys64\usr\bin\bash -l -c "cd $env:current_posix && cabal v1-install -fffi --enable-tests 2>&1"

26test_script:

27- ps: c:\msys64\usr\bin\bash -l -c "cd $env:current_posix && make test_c 2>&1"

test/pkg008/expected+1−3

@@ -1,10 +1,8 @@

1Entering directory `./src'

2−Type checking ./NumOps.idr

3−Type checking ./Test.idr

4Leaving directory `./src'

2Leaving directory `./src'

5−Entering directory `./src'

6Test Passed

3Test Passed

7Test Passed

4Test Passed

5+Entering directory `./src'

8Leaving directory `./src'

6Leaving directory `./src'

9Entering directory `./src'

7Entering directory `./src'

10Removed: NumOps.ibc

8Removed: NumOps.ibc

test/pkg008/maths.ipkg+1

@@ -2,6 +2,7 @@ package maths

2

3sourcedir = src

4

5+opts = "--quiet"

5modules = NumOps

6modules = NumOps

6 , Test

7 , Test

7

8