summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_run
Commit message (Expand)AuthorAgeFilesLines
* Fix typosKrzysztof Gogolewski2021-12-251-1/+1
* Re-export GHC.Types from GHC.Extssheaf2021-12-071-2/+1
* Add a warning for GADT match + NoMonoLocalBinds (#20485)Krzysztof Gogolewski2021-11-231-1/+1
* Increase type sharingBen Gamari2021-11-171-1/+1
* Reword: representation instead of levitysheaf2021-06-101-2/+2
* Redesign withDict (formerly magicDict)Ryan Scott2021-04-294-4/+101
* Fix magicDict in ghci (and in the presence of other ticks)Matthew Pickering2021-04-103-0/+31
* Use GHC2021 as default languageJoachim Breitner2021-03-101-0/+1
* Fixes to dealing with the export of mainSimon Peyton Jones2021-03-0919-3/+38
* Implement BoxedRep proposalwip/boxed-repBen Gamari2021-03-0711-13/+49
* Add cmpNat, cmpSymbol, and cmpCharDaniel Winograd-Cort2021-03-032-5/+1
* Remove some redundant validity checks.Richard Eisenberg2021-01-272-2/+2
* Revert "Implement BoxedRep proposal"Ben Gamari2020-12-1511-43/+13
* Implement BoxedRep proposalAndrew Martin2020-12-1411-13/+43
* Unification of Nat and NaturalsHaskellMouse2020-10-133-6/+6
* Improve kind generalisation, error messagesSimon Peyton Jones2020-09-244-7/+5
* Implement Quick Look impredicativitySimon Peyton Jones2020-09-243-2/+17
* Care with implicit-parameter superclassesSimon Peyton Jones2020-09-153-0/+18
* Linear types (#15981)Krzysztof Gogolewski2020-06-172-3/+3
* Simple subsumptionwip/T17775Simon Peyton Jones2020-06-0510-17/+24
* Modules: type-checker (#13009)Sylvain Henry2020-04-071-1/+1
* Use export list of Main module in function TcRnDriver.hs:check_main (Fix #16453)Roland Senn2020-03-2512-0/+27
* testsuite: Fix -Wcompat-unqualified-imports issuesBen Gamari2020-02-081-1/+1
* Fix more typosBrian Wignall2019-12-021-1/+1
* Fix scoping of implicit parametersSimon Peyton Jones2019-09-133-0/+26
* Expunge #ifdef and #ifndef from the codebaseJohn Ericson2019-07-142-2/+2
* Implement the -XUnliftedNewtypes extension.Andrew Martin2019-06-1411-0/+189
* testsuite: Fix omit_ways usageBen Gamari2019-06-121-1/+1
* testsuite: Omit tcrun022 in hpc wayBen Gamari2019-06-121-1/+1
* base: Remove `Monad(fail)` method and reexport `MonadFail(fail)` insteadHerbert Valerio Riedel2019-03-221-1/+3
* Update Trac ticket URLs to point to GitLabRyan Scott2019-03-151-1/+1
* GHCi does not need a main functionroland2018-11-114-0/+8
* testsuite: EtaExpandLevPoly now passes in profiled waysBen Gamari2018-10-281-4/+1
* Enable -Wcompat=error in the testsuiteVladislav Zavialov2018-10-154-3/+8
* Typeable: Only render saturated tuple types with tuple syntaxBen Gamari2018-10-153-0/+13
* Fix #15423 by using pprAStmtContextRyan Scott2018-07-201-1/+1
* Do not imply NoStarIsType by TypeOperators/TypeInTypeVladislav Zavialov2018-07-161-3/+3
* Accept new stdout for tcrun045Ryan Scott2018-07-051-6/+2
* Embrace -XTypeInType, add -XStarIsTypeVladislav Zavialov2018-06-147-10/+13
* Fix #15236 by removing parentheses from funTyConNameRyan Scott2018-06-071-1/+1
* testsuite: Skip T13838 in ghci wayBen Gamari2018-06-071-1/+3
* Turn "inaccessible code" error into a warningTobias Dammers2018-06-022-2/+2
* Improved Valid Hole FitsMatthías Páll Gissurarson2018-05-303-15/+12
* Put the `ev_binds` of main function inside `runMainIO`HE, Tao2018-05-303-0/+13
* Fix another batch of `./validate --slow` failuresAlp Mestanogullari2018-05-131-1/+8
* testsuite: Fix `./validate --slow`Alp Mestanogullari2018-04-191-3/+3
* Move T14925.stdout to its correct location, remove expect_brokenÖmer Sinan Ağacan2018-04-112-1/+2
* Track type variable scope more carefully.Richard Eisenberg2018-03-313-9/+3
* Fix #12919 by making the flattener homegeneous.Richard Eisenberg2018-03-261-2/+1
* testsuite: Add test for #14925Ben Gamari2018-03-252-0/+7
View Lorry Controller Status