summaryrefslogtreecommitdiff
path: root/compiler/coreSyn
Commit message (Expand)AuthorAgeFilesLines
* 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
* Refactor tuple constraintsSimon Peyton Jones2015-05-133-6/+7
* Refactor TyCon to eliminate TupleTyConSimon Peyton Jones2015-05-011-4/+5
* Fix #10285 by refusing to use NthCo on a newtype.Richard Eisenberg2015-04-241-10/+12
* Add a blank lineSimon Peyton Jones2015-04-221-0/+1
* Typos in error messages and in commentsGabor Greif2015-04-101-5/+5
* Drop old integer-gmp-0.5 from GHC source treeHerbert Valerio Riedel2015-03-311-2/+0
* More comments (related to Trac #10180)Simon Peyton Jones2015-03-243-41/+65
* Empty alternative lint check: Explain why there are two checksJoachim Breitner2015-03-241-0/+9
* exprIsBottom: Make use of isEmptyTy (#10186)Joachim Breitner2015-03-242-1/+5
* isEmptyTy: Improve commentJoachim Breitner2015-03-231-1/+3
* Add Note [No alternatives lint check]Joachim Breitner2015-03-232-1/+17
* New lint check: Check idArity invariants (#10181)Joachim Breitner2015-03-231-0/+20
* New Lint check: no alternatives implies bottoming expressionJoachim Breitner2015-03-232-1/+25
* exprIsBottom should look through type lambdasJoachim Breitner2015-03-231-0/+1
* New lint check: exprIsHNF = True and alts = [] is bogusJoachim Breitner2015-03-221-0/+3
* Comments onlySimon Peyton Jones2015-03-181-2/+2
* Typos in commentsGabor Greif2015-03-182-2/+2
* Move declaration of Rulebase from Rules to CoreSynSimon Peyton Jones2015-03-171-1/+7
* Improve core linter so it catches unsafeCoerce problems (T9122)Alexander Vershilov2015-03-071-16/+82
* Tidy up and improve comments about one-shot infoSimon Peyton Jones2015-03-041-2/+1
* Cite the TrieMap idea [skip-ci]Edward Z. Yang2015-03-021-0/+6
* fix typos in coreSynJavran Cheng2015-03-023-3/+3
* Replace .lhs with .hs in compiler commentsYuri de Wit2015-02-095-15/+15
* Fix a profiling bugSimon Marlow2015-02-041-2/+10
* Split stripTicks into expression editing and tick collectionPeter Wortmann2015-01-192-24/+33
* Newtype CoreMap and TypeMap so their keys are user-friendly.Edward Z. Yang2015-01-091-84/+117
* Inline all of the .*[TCE] methods, and then rename .*[TCE]X to vacated name.Edward Z. Yang2015-01-091-180/+183
* Miscellaneous improvements to TrieMap, from D608 code review.Edward Z. Yang2015-01-091-48/+74
* Apply GenMap to CoreMap and CoercionMap.Edward Z. Yang2015-01-081-79/+183
* Add 'DeBruijn' constructor, which generalizes "key modulo alpha-renaming."Edward Z. Yang2015-01-081-109/+104
* Generalize TrieMap compression to GenMap.Edward Z. Yang2015-01-071-49/+154
* Compress TypeMap TrieMap leaves with singleton constructor.Edward Z. Yang2015-01-071-1/+58
View Lorry Controller Status