summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_compile
Commit message (Expand)AuthorAgeFilesLines
* Tc: Allow Typeable in quantified constraintsJakob Brünker2021-06-272-0/+18
* Enable TcPlugin tests on Windowssheaf2021-06-231-4/+4
* Typos, minor comment fixesKrzysztof Gogolewski2021-06-223-5/+5
* Deprecate -Wmissing-monadfail-instances (#17875)Krzysztof Gogolewski2021-06-191-1/+1
* Fix #19682 by breaking cycles in DerivedsRichard Eisenberg2021-06-056-2/+90
* Make some simple primops levity-polymorphicsheaf2021-06-042-0/+22
* Added new regresion test for #18036 from ticket #19865.Baldur Blöndal2021-05-192-0/+34
* Remove transitive information about modules and packages from interface filesMatthew Pickering2021-05-192-2/+2
* Allow visible type application for levity-poly data consSimon Peyton Jones2021-05-074-0/+40
* Bring tcTyConScopedTyVars into scope in tcClassDecl2Ryan Scott2021-04-302-0/+12
* Expand synonyms in mkCastTy when necessaryRyan Scott2021-04-292-0/+21
* More accurate SrcSpan when reporting redundant constraintsSimon Peyton Jones2021-04-122-5/+5
* Test #19665 as expect_broken, with commentaryRichard Eisenberg2021-04-102-0/+21
* Tweak kick-out condition K2b to deal with LHSsRichard Eisenberg2021-04-102-0/+25
* Correct warning for deprecated and unrecognised flagsAlfredo Di Napoli2021-04-054-6/+6
* Add missing axiom exports for CharToNat/NatToCharVladislav Zavialov2021-04-012-2/+8
* Data.List specialization to []Oleg Grenrus2021-04-011-2/+2
* Add regression tests for #17772 and #18308Ryan Scott2021-03-313-0/+41
* EPA : Rename ApiAnn to EPAnnAlan Zimmerman2021-03-311-17/+17
* GHC Exactprint main commitAlan Zimmerman2021-03-204-22/+22
* Built-in type families: CharToNat, NatToChar (#19535)Vladislav Zavialov2021-03-172-0/+46
* Use GHC2021 as default languageJoachim Breitner2021-03-1042-11/+47
* Implement BoxedRep proposalwip/boxed-repBen Gamari2021-03-076-33/+46
* Add cmpNat, cmpSymbol, and cmpCharDaniel Winograd-Cort2021-03-031-5/+2
* Unify result type earlier to improve error messagesSimon Peyton Jones2021-03-014-16/+18
* Fix typechecking time bug for large rationals (#15646)Andreas Klebinger2021-02-272-0/+12
* Improve handling of overloaded labels, literals, lists etcwip/T19154Simon Peyton Jones2021-02-192-10/+6
* Remove deprecated -XGenerics and -XMonoPatBindsKrzysztof Gogolewski2021-02-132-4/+1
* Fix a long standing bug in constraint solvingSimon Peyton Jones2021-02-092-0/+43
* Remove some redundant validity checks.Richard Eisenberg2021-01-2712-12/+25
* Add instances for GHC.Tuple.SoloBen Gamari2021-01-273-3/+6
* Make matchableGivens more reliably correct.Richard Eisenberg2021-01-232-0/+10
* Never Anyify during kind inferenceRichard Eisenberg2021-01-094-0/+17
* 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-3110-0/+123
* Test cases for #15772 and #17139.Richard Eisenberg2020-12-252-0/+30
* Use mutable update to defer out-of-scope errorsRichard Eisenberg2020-12-255-16/+28
* Require ScopedTypeVariables+TypeApplications to use type applications in patt...Ryan Scott2020-12-2410-0/+10
* 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
View Lorry Controller Status