summaryrefslogtreecommitdiff
path: root/testsuite/tests/determinism
Commit message (Expand)AuthorAgeFilesLines
* Simple subsumptionwip/T17775Simon Peyton Jones2020-06-051-2/+2
* Modules: Utils and Data (#13009)Sylvain Henry2020-04-261-1/+1
* GHC.Core.Opt renamingSylvain Henry2020-04-181-1/+1
* Modules: Types (#13009)Sylvain Henry2020-03-291-1/+1
* Modules: Core operations (#13009)Sylvain Henry2020-03-181-1/+1
* Always display inferred variables using bracesKrzysztof Gogolewski2020-02-121-2/+2
* Whitespace forward compatibility for proposal #229Vladislav Zavialov2019-10-301-3/+3
* Bump ghc-prim's version where neededAlexandre2019-04-011-2/+2
* base: Remove `Monad(fail)` method and reexport `MonadFail(fail)` insteadHerbert Valerio Riedel2019-03-222-3/+9
* Ignore more version numbers in the testsuiteAlec Theriault2019-03-111-1/+2
* testsuite: Use makefile_testBen Gamari2019-01-3020-21/+20
* Revert "Batch merge"Ben Gamari2019-01-3020-20/+21
* Batch mergeBen Gamari2019-01-3020-21/+20
* testsuite: Normalise away spurious differences in out-of-scope instancesBen Gamari2018-12-121-1/+4
* Improve output from -ddump-typesSimon Peyton Jones2018-10-241-4/+0
* Enable -Wcompat=error in the testsuiteVladislav Zavialov2018-10-151-13/+16
* Turn on MonadFail desugaring by defaultHerbert Valerio Riedel2018-08-071-1/+1
* Embrace -XTypeInType, add -XStarIsTypeVladislav Zavialov2018-06-142-3/+5
* ghc-prim: Bump versionBen Gamari2018-05-201-2/+2
* Add 'addWordC#' PrimOpSebastian Graf2018-05-051-2/+2
* Bump base to version 4.12.0.0Ryan Scott2018-04-191-2/+2
* Bump version numbers: base-4.11.1.0, integer-gmp-1.0.2.0Ryan Scott2018-04-131-4/+4
* Minimise provided dictionaries in pattern synonymsSimon Peyton Jones2017-11-081-2/+2
* Bump ghc-prim to 0.5.2.0 and update changelogHerbert Valerio Riedel2017-10-171-2/+2
* Bump base to 4.11.0.0Ben Gamari2017-09-211-2/+2
* ghc-prim: Bump versionBen Gamari2017-07-231-2/+2
* Bump integer-gmp versionBen Gamari2017-07-231-2/+2
* Fix #13807 - foreign import nondeterminismBartosz Nitka2017-06-124-0/+25
* Replace Digraph's Node type synonym with a data typeMatthew Pickering2017-04-041-1/+3
* Fix TcSimplify.decideQuantification for kind variablesSimon Peyton Jones2017-03-101-2/+2
* Add test to ensure that SPEC rules are named deterministicallyBen Gamari2017-03-034-0/+20
* tests: remove extra_files.py (#12223)Reid Barton2017-02-2618-18/+18
* Remove clean_cmd and extra_clean usage from .T filesThomas Miedema2017-01-2218-72/+18
* base: Bump version to 4.10.0.0Ben Gamari2016-12-151-2/+2
* Replace -fshow-source-paths with -fhide-source-pathsSylvain Henry2016-11-2918-36/+36
* Make default output less verbose (source/object paths)Sylvain HENRY2016-11-1118-36/+36
* Reorganize some determinism testsBartosz Nitka2016-06-3015-1/+4
* Add a new determinism testBartosz Nitka2016-06-304-0/+45
* Provide Uniquable version of SCCBartosz Nitka2016-06-231-1/+1
* Testsuite: delete TEST_HC_OPTS_NO_RECOMPThomas Miedema2016-06-2017-68/+34
* Add some determinism testsBartosz Nitka2016-06-0740-0/+586
* Desugar ApplicativeDo and RecDo deterministicallyBartosz Nitka2016-06-064-0/+76
* Make Arrow desugaring deterministicBartosz Nitka2016-05-244-0/+51
* Do not print DmdType in Core outputJoachim Breitner2016-03-292-3/+3
* Testsuite: delete empty files [skip ci]Thomas Miedema2016-02-251-0/+0
* Refactor the typechecker to use ExpTypes.Richard Eisenberg2016-01-271-1/+1
* Split off -Wunused-type-variables from -Wunused-matchesRyanGlScott2016-01-261-3/+3
* Warn about unused type variables in type familiesMichał Sośnicki2015-12-211-3/+3
* Make callToPats deterministic in SpecConstrBartosz Nitka2015-12-044-0/+59
* Make the order of fixities in the iface file deterministicBartosz Nitka2015-12-024-0/+36