summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck
Commit message (Expand)AuthorAgeFilesLines
* Remove some redundant validity checks.Richard Eisenberg2021-01-2723-23/+62
* Add instances for GHC.Tuple.SoloBen Gamari2021-01-2710-13/+16
* Make matchableGivens more reliably correct.Richard Eisenberg2021-01-232-0/+10
* Fix tests relying on same-line diagnostic orderingAlfredo Di Napoli2021-01-223-11/+13
* Fix error recovery in solveEqualitiesSimon Peyton Jones2021-01-223-0/+34
* Missing fields: enhance error messages (#18869)Sylvain Henry2021-01-171-4/+4
* Show missing field types (#18869)Sylvain Henry2021-01-175-16/+74
* Never Anyify during kind inferenceRichard Eisenberg2021-01-0915-0/+130
* Add regression test for #18467wip/T18467Simon Peyton Jones2021-01-023-0/+31
* Establish invariant (GivenInv)Simon Peyton Jones2021-01-023-1/+31
* INLINE pragma for patterns (#12178)Cale Gibbard2020-12-3113-0/+135
* Test cases for #15772 and #17139.Richard Eisenberg2020-12-256-0/+125
* Use mutable update to defer out-of-scope errorsRichard Eisenberg2020-12-256-24/+36
* Require ScopedTypeVariables+TypeApplications to use type applications in patt...Ryan Scott2020-12-2429-21/+50
* Kill floatEqualities completelySimon Peyton Jones2020-12-202-13/+37
* Improve inference with linear typesKrzysztof Gogolewski2020-12-201-4/+6
* Fix #19044 by tweaking unification in inst lookupRichard Eisenberg2020-12-183-0/+36
* Unfortunate dirty hack to overcome #18998.Richard Eisenberg2020-12-173-0/+44
* Revert "Implement BoxedRep proposal"Ben Gamari2020-12-1535-144/+72
* Implement BoxedRep proposalAndrew Martin2020-12-1435-72/+144
* Optimise nullary type constructor usagewip/tyconapp-optsBen Gamari2020-12-141-2/+2
* Revert "Optimise nullary type constructor usage"Ben Gamari2020-12-141-2/+2
* Optimise nullary type constructor usageBen Gamari2020-12-141-2/+2
* Implement type applications in patternsCale Gibbard2020-12-1433-0/+411
* Fix kind inference for data types. Again.Simon Peyton Jones2020-12-0810-17/+107
* Remove flattening variablesRichard Eisenberg2020-12-0122-62/+340
* [Sized Cmm] properly retain sizes.Moritz Angermann2020-11-261-1/+1
* Add regression test for #10504Ryan Scott2020-11-214-0/+15
* Use tcSplitForAllInvisTyVars (not tcSplitForAllTyVars) in more placesRyan Scott2020-11-155-0/+23
* Add test case for #17186.Richard Eisenberg2020-11-102-1/+18
* Replace HsImplicitBndrs with HsOuterTyVarBndrsRyan Scott2020-11-065-17/+22
* Add a regression test for #18920Ryan Scott2020-11-052-0/+38
* Add testcase for #816Andrzej Rybczak2020-10-312-0/+15
* Make typechecker equality consider visibility in ForAllTysRyan Scott2020-10-312-0/+65
* Check for large tuples more thoroughlywip/T18723Ryan Scott2020-10-297-0/+203
* Fix two constraint solving problemsSimon Peyton Jones2020-10-272-18/+8
* Version bump: base-4.16 (#18712)Vladislav Zavialov2020-10-272-3/+3
* Implement -Woperator-whitespace (#18834)Vladislav Zavialov2020-10-191-1/+1
* Skip type family defaults with hs-boot and hsig filesJohn Ericson2020-10-176-0/+40
* Add -Wnoncanonical-{monad,monoid}-instances to standardWarningsFumiaki Kinoshita2020-10-145-11/+6
* Make DataKinds the sole arbiter of kind-level literals (and friends)Ryan Scott2020-10-142-0/+13
* Unification of Nat and NaturalsHaskellMouse2020-10-137-9/+27
* Fix typos in commentsKrzysztof Gogolewski2020-10-021-1/+1
* Regression test for #10709.Richard Eisenberg2020-09-305-0/+110
* New linear types syntax: a %p -> b (#18459)Vladislav Zavialov2020-09-291-1/+1
* Improve kind generalisation, error messagesSimon Peyton Jones2020-09-2467-230/+324
* Implement Quick Look impredicativitySimon Peyton Jones2020-09-249-21/+30
* Disallow constraints in KindSigCtxtRyan Scott2020-09-213-0/+19
* Remove GADT self-reference check (#11554, #12081, #12174, fixes #15942)Artyom Kuznetsov2020-09-192-0/+29
* Added explicit fixity to (~).HaskellMouse2020-09-173-0/+22
View Lorry Controller Status