summaryrefslogtreecommitdiff
path: root/testsuite
Commit message (Expand)AuthorAgeFilesLines
* Pretty-printer missing parens for infix class declarationAlan Zimmerman2017-10-023-0/+15
* Fix #13391 by checking for kind-GADTsRichard Eisenberg2017-09-288-7/+33
* mkDataConRep: fix bug in strictness signature (#14290)Simon Marlow2017-09-282-0/+18
* Move check-ppr and check-api-annotations to testsuite/utilsBen Gamari2017-09-278-0/+456
* TypofixesGabor Greif2017-09-273-5/+5
* desugar: Catch levity polymorphism in unboxed sum expressionsBen Gamari2017-09-262-1/+13
* testsuite: Add test for #14272Ben Gamari2017-09-262-0/+9
* A bunch of typofixesGabor Greif2017-09-265-5/+5
* testsuite: Expect T13168 to be broken on WindowsBen Gamari2017-09-251-1/+2
* Bump template-haskell to 2.13.0.0Ryan Scott2017-09-251-2/+2
* Fix solving of implicit parameter constraintsSimon Peyton Jones2017-09-253-0/+37
* Improve type-error reportingSimon Peyton Jones2017-09-2516-66/+70
* Deal with large extra-contraints wildcardsSimon Peyton Jones2017-09-253-0/+141
* Revert "Typeable: Allow App to match arrow types"Herbert Valerio Riedel2017-09-243-18/+0
* Implement TH addCorePlugin.Facundo Domínguez2017-09-215-0/+35
* Reexport Semigroup's <> operator from Prelude (#14191)Herbert Valerio Riedel2017-09-225-9/+9
* testsuite: Bump allocations of T12150Ben Gamari2017-09-211-1/+2
* Also show types that subsume a hole as valid substitutions for that hole.Matthías Páll Gissurarson2017-09-2121-34/+576
* Bump base to 4.11.0.0Ben Gamari2017-09-2175-137/+137
* testsuite: Add unboxed sum to T13929Ben Gamari2017-09-212-1/+6
* testsuite: Add testcase for #14253Ben Gamari2017-09-212-0/+40
* Identify fields by selector when type-checking (fixes #13644)Adam Gundry2017-09-214-1/+14
* Typeable: Allow App to match arrow typesBen Gamari2017-09-213-0/+18
* Restore function powModSecIntegerOlivier Chéron2017-09-191-3/+1
* Fix unused-given-constraint bugSimon Peyton Jones2017-09-192-0/+8
* Generalise constraint on `instance Monoid (Maybe a)` to SemigroupHerbert Valerio Riedel2017-09-191-1/+1
* testsuite: Fix MonadFail test output for new ST instanceBen Gamari2017-09-172-26/+0
* Renamer now preserves location for IEThingWith list itemsAlan Zimmerman2017-09-153-0/+142
* Fix #14228 by marking SumPats as non-irrefutableRyan Scott2017-09-153-0/+27
* Fix missing fields warnings in empty record construction, fix #13870HE, Tao2017-09-153-0/+25
* Fix #13963.Richard Eisenberg2017-09-143-0/+14
* Test #13938, with expect_brokenRichard Eisenberg2017-09-142-0/+81
* Fix #13929 by adding another levity polymorphism checkRichard Eisenberg2017-09-143-0/+45
* Make rejigConRes do kind substitutionsRichard Eisenberg2017-09-142-0/+148
* Fix #13909 by tweaking an error message.Richard Eisenberg2017-09-143-0/+18
* testsuite: Fix dependence on grep behavior in T8129Ben Gamari2017-09-141-1/+1
* Fix #13407 by suppressing invisibles better.Richard Eisenberg2017-09-143-0/+8
* Test #12938 in indexed-types/should_compile/T12938Richard Eisenberg2017-09-142-0/+9
* Regression test for #12742Richard Eisenberg2017-09-142-0/+12
* Test #14038 in dependent/should_compile/T14038Richard Eisenberg2017-09-142-0/+76
* Add test for Trac #14232Simon Peyton Jones2017-09-143-0/+9
* Refactor tcInferAppsSimon Peyton Jones2017-09-141-1/+1
* Tidying could cause ill-kinded typesSimon Peyton Jones2017-09-143-0/+13
* Fix subtle bug in TcTyClsDecls.mkGADTVarsSimon Peyton Jones2017-09-142-0/+42
* Option "-ddump-rn-ast" dumps imports and exports tooAlan Zimmerman2017-09-131-328/+345
* Make IntPtr and WordPtr as instance of Data.Data typeclass, fix #13115HE, Tao2017-09-132-3/+3
* Add regression test for #14209Ryan Scott2017-09-132-0/+6
* Check if -XStaticPointers is enabled when renaming static expressionsRyan Scott2017-09-133-0/+14
* Add a test for #14140David Feuer2017-09-123-0/+41
* Allow CSE'ing of work-wrapped bindings (#14186)Joachim Breitner2017-09-1219-172/+985
View Lorry Controller Status