summaryrefslogtreecommitdiff
path: root/testsuite
Commit message (Expand)AuthorAgeFilesLines
...
* RtClosureInspect: Fix inspecting Char# on 64-bit big-endianJames Clarke2017-10-161-2/+1
* Levity polymorphic Backpack.Edward Z. Yang2017-10-164-2/+51
* Enable testing 'Natural' type in TEST=arith011Herbert Valerio Riedel2017-10-163-4/+1341
* Implement new `compareByteArrays#` primopHerbert Valerio Riedel2017-10-163-0/+180
* Fix panic for `ByteArray#` arguments in CApiFFI foreign importsHerbert Valerio Riedel2017-10-163-0/+27
* Re-apply "Typeable: Allow App to match arrow types"Simon Peyton Jones2017-10-123-0/+18
* Do not bind coercion variables in SpecConstr rulesSimon Peyton Jones2017-10-122-0/+28
* Add missing T14325.stderrSimon Peyton Jones2017-10-121-0/+9
* Do not quantify over deriving clausesSimon Peyton Jones2017-10-122-0/+11
* Add a missing zonk in TcDerivInfer.simplifyDerivSimon Peyton Jones2017-10-112-0/+18
* Avoid creating dependent types in FloatOutSimon Peyton Jones2017-10-112-0/+111
* Pretty-printing of derived multi-parameter classes omits parenthesesAlan Zimmerman2017-10-118-0/+177
* Fix #10816 by renaming FixitySigs more consistentlyRyan Scott2017-10-112-0/+12
* Remove wc_insol from WantedConstraintsSimon Peyton Jones2017-10-119-29/+34
* Fix over-eager error suppression in TcErrorsSimon Peyton Jones2017-10-112-0/+12
* Fix #14320 by looking through HsParTy in more placesRyan Scott2017-10-072-0/+16
* Incorporate changes from #11721 into Template HaskellRyan Scott2017-10-073-2/+30
* Testsuite update following d8d87faJoachim Breitner2017-10-063-3/+0
* Add regression test for #14326Ryan Scott2017-10-052-0/+22
* Remove m_type from Match (#14313)Joachim Breitner2017-10-043-11/+0
* Include libraries which fill holes as deps when linking.Edward Z. Yang2017-10-0311-0/+90
* Implement Div, Mod, and Log for type-level nats.Iavor Diatchki2017-10-032-0/+22
* Track the order of user-written tyvars in DataConRyan Scott2017-10-038-3/+56
* Add regression test for #9725Ryan Scott2017-10-032-0/+52
* Suppress error cascade in record fieldsSimon Peyton Jones2017-10-035-8/+13
* Fix nasty bug in w/w for absence analysisSimon Peyton Jones2017-10-034-0/+48
* Fix bug in the short-cut solverSimon Peyton Jones2017-10-032-0/+69
* 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