summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* Use reduceTyFamApp_maybe in TcInteract.matchFamwip/rae-new-coercibleRichard Eisenberg2014-12-123-33/+10
* Allow multiple type family instances to match in reduceTyFamApp_maybeRichard Eisenberg2014-12-124-2/+19
* Zonk Coercions embedded in TcCoercions; they *might* have TcTyVars!Richard Eisenberg2014-12-121-3/+28
* Remove IsCoercionRichard Eisenberg2014-12-125-60/+40
* Fix warningRichard Eisenberg2014-12-121-0/+2
* Change kick_out_eq to match statement of proof.Richard Eisenberg2014-12-121-20/+23
* BugfixingRichard Eisenberg2014-12-123-3/+12
* Don't look under newtypes when unifying representationally.Richard Eisenberg2014-12-103-7/+13
* Flat constraint --> Simple constraintRichard Eisenberg2014-12-1012-152/+152
* Sequelae from previous merge.Richard Eisenberg2014-12-106-152/+121
* Merge remote-tracking branch 'origin/master' into wip/rae-new-coercibleRichard Eisenberg2014-12-10129-1310/+3365
|\
| * Comments only: move flattening notes to TcFlattenSimon Peyton Jones2014-12-103-297/+207
| * Tests for Trac #9872Simon Peyton Jones2014-12-105-0/+392
| * Testsuite wibbles from constraint-solver improvementsSimon Peyton Jones2014-12-1011-136/+129
| * Implement a fast path for new constraints looking like (a~b), namely unifyWantedSimon Peyton Jones2014-12-103-321/+436
| * When flattening, try reducing type-family applications eagerlySimon Peyton Jones2014-12-103-18/+50
| * Fix type-variable details naming (fixes misleading debug output)Simon Peyton Jones2014-12-101-2/+2
| * Get rid of TcMType.newWantedEvVar(s)Simon Peyton Jones2014-12-102-9/+2
| * Reorganise the work list, so that flattening goals are treated in the right o...Simon Peyton Jones2014-12-1014-308/+396
| * Add Ord instances to THRichard Eisenberg2014-12-102-35/+35
| * compiler: fix trac issue #9817Marios Titas2014-12-105-7/+16
| * Only run subsections_via_symbols test when LLVM is available.Edward Z. Yang2014-12-101-0/+4
| * Add proper expected output for T5435_dyn_asm on DarwinEdward Z. Yang2014-12-091-0/+2
| * Link pre-ARMv6 spinlocks into all RTS variantsJoachim Breitner2014-12-092-6/+8
| * Document splitAt deviation from the ReportDavid Feuer2014-12-091-0/+11
| * fix misleading error message regarding function arityYuras Shumovich2014-12-094-9/+44
| * Implement -XStaticValuesFacundo Domínguez2014-12-0971-20/+1164
| * Proposal for Backpack file format [skip ci]Edward Z. Yang2014-12-092-17/+111
| * Update `process` submodule to pull in Safe Haskell fixesDavid Terei2014-12-082-1/+0
| * catch some recent typosGabor Greif2014-12-0811-14/+14
| * Add doctest examples for Data.MaybeMichael Orlitzky2014-12-081-0/+189
| * Fix #9871 by clarifying documentation.Richard Eisenberg2014-12-081-10/+23
| * RAE's response to SPJ's question in flattening-notesRichard Eisenberg2014-12-081-0/+5
| * Revise flattening-notesSimon Peyton Jones2014-12-081-31/+68
| * Revise the inert-set invariants againSimon Peyton Jones2014-12-088-24/+52
| * Comments and variable names only, in type checking of (e1 $ e2)Simon Peyton Jones2014-12-081-14/+14
| * Improve the treatment of AppTy equalitiesSimon Peyton Jones2014-12-082-58/+72
| * Optimise partitionFunEqs for the 'false' caseSimon Peyton Jones2014-12-081-8/+14
| * Comments onlySimon Peyton Jones2014-12-081-4/+3
| * Remove `inline` from integer_gmp_mpn_import1()Herbert Valerio Riedel2014-12-081-1/+1
* | Remove redundant import. Argh.Richard Eisenberg2014-12-091-1/+0
* | Typo.Richard Eisenberg2014-12-081-1/+1
* | Update Note [eqCanRewrite]; don't search in an EqualCtListRichard Eisenberg2014-12-083-14/+15
* | Drop Derived `canRewrite` Derived, as per discussions with SPJ & DVRichard Eisenberg2014-12-082-15/+0
* | Fix lint errors (only)Richard Eisenberg2014-12-0811-48/+87
* | Pass test for #8984 by treating representational equality differently.Richard Eisenberg2014-12-082-6/+9
* | Compile; fix a testsuite failure.Richard Eisenberg2014-12-073-10/+7
* | Merge remote-tracking branch 'origin/master' into wip/rae-new-coercibleRichard Eisenberg2014-12-0737-183/+635
|\ \ | |/
| * Add -I$1/$2/build/autogen to $1_$2_DIST_CC_OPTSHerbert Valerio Riedel2014-12-071-0/+1
| * Added comments to flattening-notesRichard Eisenberg2014-12-071-0/+31
View Lorry Controller Status