summaryrefslogtreecommitdiff
path: root/testsuite/tests
Commit message (Expand)AuthorAgeFilesLines
* 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
* Add testcase for #14186Joachim Breitner2017-09-124-18/+70
* Bump T783 expected allocationsBen Gamari2017-09-081-1/+2
* Deal with unbreakable blocks in Applicative DoDavid Feuer2017-09-074-0/+18
* Make Semigroup a superclass of Monoid (re #14191)Herbert Valerio Riedel2017-09-0724-60/+51
* Fix typos in diagnostics, testsuite and commentsGabor Greif2017-09-078-9/+9
* Clean up opt and llcMoritz Angermann2017-09-061-2/+4
* Implicitly bind kind variables in type family instance RHSes when it's sensibleRyan Scott2017-09-0510-65/+326
* base: Update acosh to handle -1::ComplexAlex Bradley2017-09-053-0/+11
* SetLevels: Substitute in ticks in lvlMFEBen Gamari2017-09-051-1/+1
* Fix egregious duplication of vars in RnTypesRyan Scott2017-09-054-0/+12
* testsuite: Add test for #14129Ben Gamari2017-09-052-0/+4
* Move NonEmpty definition into GHC.BaseHerbert Valerio Riedel2017-09-0417-26/+26
* Fix #14167 by using isGadtSyntaxTyCon in more placesRyan Scott2017-09-027-34/+31
* Disallow bang/lazy patterns in the RHSes of implicitly bidirectional patsynsRyan Scott2017-09-024-1/+16
* Add testcase for #14178Ben Gamari2017-09-013-0/+36
* Really fix Trac #14158Simon Peyton Jones2017-08-312-0/+8
* Refactor type family instance abstract syntax declarationsRyan Scott2017-08-292-99/+99
* testsuite: Add test for #14128Ben Gamari2017-08-297-0/+30
View Lorry Controller Status