Merge remote-tracking branch 'origin/master' into type-nats
Conflicts: tests/typecheck/should_compile/all.T
No related branches found
No related tags found
Showing
- .gitignore 86 additions, 0 deletions.gitignore
- config/ghc 5 additions, 5 deletionsconfig/ghc
- driver/runtests.py 31 additions, 19 deletionsdriver/runtests.py
- driver/testglobals.py 9 additions, 11 deletionsdriver/testglobals.py
- driver/testlib.py 285 additions, 363 deletionsdriver/testlib.py
- mk/boilerplate.mk 14 additions, 2 deletionsmk/boilerplate.mk
- mk/test.mk 10 additions, 0 deletionsmk/test.mk
- tests/Makefile 2 additions, 1 deletiontests/Makefile
- tests/annotations/should_compile/all.T 1 addition, 1 deletiontests/annotations/should_compile/all.T
- tests/annotations/should_fail/annfail01.stderr 2 additions, 2 deletionstests/annotations/should_fail/annfail01.stderr
- tests/annotations/should_fail/annfail02.stderr 2 additions, 2 deletionstests/annotations/should_fail/annfail02.stderr
- tests/annotations/should_fail/annfail03.stderr 3 additions, 2 deletionstests/annotations/should_fail/annfail03.stderr
- tests/annotations/should_fail/annfail04.stderr 3 additions, 2 deletionstests/annotations/should_fail/annfail04.stderr
- tests/annotations/should_fail/annfail06.hs 1 addition, 1 deletiontests/annotations/should_fail/annfail06.hs
- tests/annotations/should_fail/annfail06.stderr 3 additions, 2 deletionstests/annotations/should_fail/annfail06.stderr
- tests/annotations/should_fail/annfail07.stderr 2 additions, 2 deletionstests/annotations/should_fail/annfail07.stderr
- tests/annotations/should_fail/annfail08.stderr 1 addition, 1 deletiontests/annotations/should_fail/annfail08.stderr
- tests/annotations/should_fail/annfail09.stderr 2 additions, 2 deletionstests/annotations/should_fail/annfail09.stderr
- tests/annotations/should_fail/annfail10.stderr 9 additions, 9 deletionstests/annotations/should_fail/annfail10.stderr
- tests/annotations/should_fail/annfail11.stderr 2 additions, 2 deletionstests/annotations/should_fail/annfail11.stderr
Loading
Please register or sign in to comment