summaryrefslogtreecommitdiff
path: root/testsuite/tests/determinism
Commit message (Expand)AuthorAgeFilesLines
* 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
* Make the determinism tests more robustBartosz Nitka2015-12-012-2/+2
* Make abstractVars deterministic in SetLevelBartosz Nitka2015-11-234-0/+71
* Put kind variables before type variables when specializingBartosz Nitka2015-11-113-0/+315
* Make type-class dictionary let binds deterministicBartosz Nitka2015-10-304-0/+41
* Sort field labels before fingerprint hashingBartosz Nitka2015-10-275-0/+29
* Make stronglyConnCompFromEdgedVertices deterministicBartosz Nitka2015-10-224-0/+33