summaryrefslogtreecommitdiff
path: root/compiler/coreSyn
Commit message (Expand)AuthorAgeFilesLines
* Add kind equalities to GHC.Richard Eisenberg2015-12-1112-943/+1021
* Case-of-empty-alts is trivial (Trac #11155)Simon Peyton Jones2015-12-042-10/+30
* Implement more deterministic operations and document themBartosz Nitka2015-12-021-39/+55
* Comments onlySimon Peyton Jones2015-11-251-1/+0
* Support multiple debug output levelsBen Gamari2015-11-232-4/+4
* Make abstractVars deterministic in SetLevelBartosz Nitka2015-11-232-5/+7
* Create a deterministic version of tyVarsOfTypeBartosz Nitka2015-11-213-119/+150
* Fix inconsistent pretty-printing of type familiesMichał Sośnicki2015-11-181-5/+7
* MonadFail proposal, phase 1David Luposchainsky2015-11-171-0/+8
* New magic function for applying realWorld#Ben Gamari2015-11-121-1/+12
* Generate Typeable info at definition sitesBen Gamari2015-10-301-4/+4
* Revert "Generate Typeable info at definition sites"Ben Gamari2015-10-291-4/+4
* Generate Typeable info at definition sitesBen Gamari2015-10-291-4/+4
* Make Monad/Applicative instances MRP-friendlyHerbert Valerio Riedel2015-10-171-2/+2
* Rename package key to unit ID, and installed package ID to component ID.Edward Z. Yang2015-10-141-2/+2
* Rename SpecInfo to RuleInfo (upon SPJ's advice).Edward Z. Yang2015-10-105-14/+14
* Remove dead code: ruleLhsOrphNamesSimon Peyton Jones2015-10-061-16/+1
* A few typos in commentsGabor Greif2015-10-051-1/+1
* Fix treatment of -0.0Ben Gamari2015-10-022-0/+17
* Refactor BranchLists.Richard Eisenberg2015-09-211-1/+1
* ApplicativeDo transformationSimon Marlow2015-09-171-46/+1
* Injective type familiesJan Stolarek2015-09-031-0/+21
* Use IP based CallStack in error and undefinedEric Seidel2015-09-021-8/+20
* Fix 7.10 validateMatthew Pickering2015-08-301-1/+1
* Implement lookupGlobal in TcEnv, and use itSimon Peyton Jones2015-08-261-6/+10
* Comments and white spaceSimon Peyton Jones2015-08-261-0/+1
* Refactor: delete most of the module FastTypesThomas Miedema2015-08-211-32/+36
* Allow proper errors/warnings in core2core passesSimon Peyton Jones2015-08-051-1/+2
* Typos in comments [skip ci]Gabor Greif2015-08-032-3/+3
* Typos in commentsGabor Greif2015-07-311-1/+1
* Define DsUtils.mkCastDs and use itSimon Peyton Jones2015-07-301-8/+11
* Slight refactoring to the fix for #4012Simon Peyton Jones2015-07-231-1/+16
* Comments and white space onlySimon Peyton Jones2015-07-211-3/+5
* Implement -dsuppress-unfoldingsSimon Peyton Jones2015-07-211-18/+14
* CoreLint: Use size-annotated ppr variantBen Gamari2015-07-161-1/+1
* PprCore: Add size annotations for top-level bindingsBen Gamari2015-07-161-21/+44
* CoreUtils: Move size utilities to CoreStatsBen Gamari2015-07-163-117/+129
* CoreUtils: Move seq* functions to CoreSeqBen Gamari2015-07-163-108/+112
* Reformat a leading # in a commentSimon Peyton Jones2015-07-131-1/+1
* Add Linting for RulesSimon Peyton Jones2015-07-131-16/+48
* Do not optimise RULE lhs in substRuleSimon Peyton Jones2015-07-131-8/+23
* Deferred type errors now throw TypeError (#10284)David Kraeutmann2015-07-071-2/+8
* Filter orphan rules based on imports, fixes #10294 and #10420.Edward Z. Yang2015-06-203-6/+113
* Refactor filterAlts into two partsSimon Peyton Jones2015-06-181-82/+165
* Refactor handling of decomposition.Richard Eisenberg2015-06-161-1/+1
* Move seqExpr, seqIdInfo etc to CoreUtilsSimon Peyton Jones2015-06-013-73/+110
* Fix a huge space leak in the mighty SimplifierSimon Peyton Jones2015-05-221-78/+10
* Reduce magic for seqIdSimon Peyton Jones2015-05-221-4/+11
* Refactor tuple constraintsSimon Peyton Jones2015-05-183-6/+7
* Revert multiple commitsAustin Seipp2015-05-143-7/+6
View Lorry Controller Status