summaryrefslogtreecommitdiff
path: root/testsuite/tests/dependent/should_compile
Commit message (Expand)AuthorAgeFilesLines
* testsuite: Use normalise_version more consistentlyBen Gamari2022-06-271-3/+3
* Bump ghc-prim and base versionsBen Gamari2022-06-273-3/+3
* Deprecate TypeInType extensionHaskellMouse2022-06-067-7/+10
* Change GHC.Prim to GHC.Exts in docs and testsKrzysztof Gogolewski2022-04-011-1/+1
* Kill derived constraintsRichard Eisenberg2022-02-232-0/+74
* Rework the handling of SkolemInfoMatthew Pickering2022-01-291-1/+1
* Fix typosKrzysztof Gogolewski2021-12-251-1/+1
* Pmc: Don't case split on wildcard matches (#20642)Sebastian Graf2021-11-171-5/+1
* Remove transitive information about modules and packages from interface filesMatthew Pickering2021-05-193-3/+3
* Use GHC2021 as default languageJoachim Breitner2021-03-1015-2/+16
* Implement BoxedRep proposalwip/boxed-repBen Gamari2021-03-071-5/+13
* Reduce inlining in deeply-nested casesSimon Peyton Jones2021-02-092-19/+8
* Never Anyify during kind inferenceRichard Eisenberg2021-01-091-1/+1
* Improve inference with linear typesKrzysztof Gogolewski2020-12-201-1/+1
* Revert "Implement BoxedRep proposal"Ben Gamari2020-12-151-13/+5
* Implement BoxedRep proposalAndrew Martin2020-12-141-5/+13
* [Sized Cmm] properly retain sizes.Moritz Angermann2020-11-263-3/+3
* PmCheck: Print types of uncovered patterns (#18932)Sebastian Graf2020-11-181-1/+1
* Version bump: base-4.16 (#18712)Vladislav Zavialov2020-10-273-5/+7
* Remove GADT self-reference check (#11554, #12081, #12174, fixes #15942)Artyom Kuznetsov2020-09-192-0/+10
* Make the forall-or-nothing rule only apply to invisible foralls (#18660)Ryan Scott2020-09-082-0/+8
* Reduce result discount in conSizeSimon Peyton Jones2020-07-131-1/+1
* Bump ghc-prim version to 0.7.0Ryan Scott2020-07-023-3/+3
* Update testsuiteSylvain Henry2020-06-173-6/+3
* Linear types (#15981)Krzysztof Gogolewski2020-06-171-1/+1
* base: Bump to 4.15.0.0Ben Gamari2020-06-173-6/+6
* Simple subsumptionwip/T17775Simon Peyton Jones2020-06-051-1/+1
* Flatten nested casts in the simple optimizerAlexis King2020-05-031-1/+1
* Modules: type-checker (#13009)Sylvain Henry2020-04-071-1/+1
* simplifier: Kill off ufKeenessFactorBen Gamari2020-04-071-1/+1
* Re-engineer the binder-swap transformationSimon Peyton Jones2020-04-021-2/+2
* Always display inferred variables using bracesKrzysztof Gogolewski2020-02-122-2/+2
* Don't zap to Any; error insteadRichard Eisenberg2020-01-125-56/+0
* base: Bump version to 4.14.0.0Ben Gamari2019-11-143-3/+3
* Check EmptyCase by simply adding a non-void constraintSebastian Graf2019-11-051-1/+4
* PmCheck: Look at precendence to give type signatures to some wildcardsSebastian Graf2019-09-271-1/+1
* Standalone kind signatures (#16794)wip/top-level-kind-signaturesVladislav Zavialov2019-09-252-2/+2
* Fix bogus type of case expressionwip/T17056Simon Peyton Jones2019-09-201-1/+1
* Fix #13571 by adding an extension flag checkRichard Eisenberg2019-09-171-1/+1
* Encode shape information in `PmOracle`Sebastian Graf2019-09-161-1/+2
* Testsuite tweaks and refactoringÖmer Sinan Ağacan2019-07-091-1/+1
* testsuite: Add assertions that way lists are in fact listsBen Gamari2019-06-151-7/+7
* testsuite: Mark T13910 as broken in optasmBen Gamari2019-06-121-1/+1
* Bump ghc-prim's version where neededAlexandre2019-04-013-3/+3
* base: Remove `Monad(fail)` method and reexport `MonadFail(fail)` insteadHerbert Valerio Riedel2019-03-223-3/+3
* Reject nested predicates in impredicativity checkingRyan Scott2019-03-202-2/+2
* Update Trac ticket URLs to point to GitLabRyan Scott2019-03-151-1/+1
* Add regression test for #16347Ryan Scott2019-03-122-1/+9
* Stop inferring over-polymorphic kindsSimon Peyton Jones2019-03-094-2/+17
* Fix #16391 by using occCheckExpand in TcValidityRyan Scott2019-03-072-0/+17
View Lorry Controller Status