summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_run
Commit message (Expand)AuthorAgeFilesLines
* 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
* testsuite: Fix location of T13594 testBen Gamari2017-05-111-1/+0
* Fix up tests for #13594Ben Gamari2017-05-112-0/+4
* Clean up coreView/tcView.Ben Gamari2017-03-315-11/+36
* Test #13435 in typecheck/should_run/T13435Richard Eisenberg2017-03-173-0/+16
* Typos in changelog and commentsGabor Greif2017-03-071-1/+1
* tests: remove extra_files.py (#12223)Reid Barton2017-02-261-2/+2
* Type-indexed TypeableBen Gamari2017-02-1810-5/+211
* Remove clean_cmd and extra_clean usage from .T filesThomas Miedema2017-01-221-6/+2
* Add 'type family (m :: Symbol) <> (n :: Symbol)'Oleg Grenrus2017-01-205-3/+35
* Update levity polymorphismRichard Eisenberg2017-01-1912-7/+235
* Typos in comments only [ci skip]Gabor Greif2017-01-181-4/+4
* Kill Type pretty-printerBen Gamari2016-11-131-3/+3
* Make tcrun042 failSimon Peyton Jones2016-09-303-1/+15
* Be less picky about reporing inaccessible codeSimon Peyton Jones2016-09-121-0/+1
* Testsuite: tabs -> spaces [skip ci]Thomas Miedema2016-06-2021-167/+167
* Fix testsuite wibbleSimon Peyton Jones2016-06-151-11/+11
* Revert "Make the Ord Module independent of Unique order"Simon Peyton Jones2016-06-151-11/+11
* Make the Ord Module independent of Unique orderBartosz Nitka2016-06-131-11/+11
View Lorry Controller Status