summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_compile
Commit message (Expand)AuthorAgeFilesLines
* 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-156-46/+33
* Implement BoxedRep proposalAndrew Martin2020-12-146-33/+46
* 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-1412-0/+175
* Fix kind inference for data types. Again.Simon Peyton Jones2020-12-084-7/+35
* Remove flattening variablesRichard Eisenberg2020-12-0112-21/+254
* [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-152-0/+12
* Add test case for #17186.Richard Eisenberg2020-11-102-1/+18
* 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
* 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-131-0/+17
* Improve kind generalisation, error messagesSimon Peyton Jones2020-09-2422-97/+79
* Remove GADT self-reference check (#11554, #12081, #12174, fixes #15942)Artyom Kuznetsov2020-09-192-0/+29
* Added explicit fixity to (~).HaskellMouse2020-09-171-0/+9
* Add a test for #18585Krzysztof Gogolewski2020-08-252-0/+49
* Add right-to-left rule for pattern bindingsSimon Peyton Jones2020-08-192-0/+31
* testsuite: Add test for #18118Ben Gamari2020-08-113-0/+11
* Don't mark closed type family equations as occurrencesRyan Scott2020-07-303-0/+11
* Clean up the inferred type variable restrictionRyan Scott2020-07-302-0/+11
* Allow multiple case branches to have a higher rank typeSimon Peyton Jones2020-07-182-0/+15
* Reduce result discount in conSizeSimon Peyton Jones2020-07-131-1/+1
* Improve handling of data type return kindswip/T18300Simon Peyton Jones2020-07-031-1/+1
* Bump ghc-prim version to 0.7.0Ryan Scott2020-07-022-2/+2
* Update testsuiteSylvain Henry2020-06-174-7/+5
* Linear types (#15981)Krzysztof Gogolewski2020-06-176-29/+33
* base: Bump to 4.15.0.0Ben Gamari2020-06-172-4/+4
* Simplify bindLHsTyVarBndrs and bindHsQTyVarswip/simply-bind-tyvarsRyan Scott2020-06-051-1/+1
* Simple subsumptionwip/T17775Simon Peyton Jones2020-06-0546-214/+324
* Rename the singleton tuple GHC.Tuple.Unit to GHC.Tuple.SoloTom Ellis2020-06-012-2/+2
* Add orderingTyCon to wiredInTyCons (#18185)Ryan Scott2020-05-242-0/+32
* Add a regression test for #11506Krzysztof Gogolewski2020-05-212-0/+14
* Explicit SpecificityGert-Jan Bottu2020-05-214-0/+139
* testsuite: Add testcase for #18129Ben Gamari2020-05-132-0/+53
* Add tests for #17873Simon Peyton Jones2020-04-302-0/+16
* Make boxed 1-tuples have known keysRyan Scott2020-04-282-0/+2
* Do eager instantation in termsSimon Peyton Jones2020-04-224-14/+13
* Fix a buglet in redundant-constraint warningsSimon Peyton Jones2020-04-204-0/+36
* Use conLikeUserTyVarBinders to quantify field selector typesRyan Scott2020-04-122-0/+35
View Lorry Controller Status