summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_run
Commit message (Expand)AuthorAgeFilesLines
* 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
* Sort valid substitutions for typed holes by "relevance"Matthías Páll Gissurarson2018-01-263-9/+9
* Inform hole substitutions of typeclass constraints (fixes #14273).Matthías Páll Gissurarson2018-01-183-0/+3
* Re-apply "Typeable: Allow App to match arrow types"Simon Peyton Jones2017-10-123-0/+18
* Fix solving of implicit parameter constraintsSimon Peyton Jones2017-09-253-0/+37
* Revert "Typeable: Allow App to match arrow types"Herbert Valerio Riedel2017-09-243-18/+0
* Also show types that subsume a hole as valid substitutions for that hole.Matthías Páll Gissurarson2017-09-213-18/+54
* Typeable: Allow App to match arrow typesBen Gamari2017-09-213-0/+18
* Make Semigroup a superclass of Monoid (re #14191)Herbert Valerio Riedel2017-09-071-0/+2
* Remove unneeded reqlibs for mtl and parsec in the GHC testsuiteRyan Scott2017-08-171-1/+1
* Ensure that GHC.Stack.callStack doesn't failBen Gamari2017-07-281-0/+6
* Treat banged bindings as FunBindsBen Gamari2017-06-271-1/+1
* Fix test output after 'Some tidying up of type pretty-printing'Bartosz Nitka2017-05-273-9/+5
View Lorry Controller Status