summaryrefslogtreecommitdiff
path: root/compiler/coreSyn
Commit message (Expand)AuthorAgeFilesLines
* 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
* Remove redundant constraints in the compiler itself, found by -fwarn-redundan...Simon Peyton Jones2015-01-061-2/+2
* Eliminate so-called "silent superclass parameters"Simon Peyton Jones2014-12-231-1/+1
* dwarf: sync getIdFromTrivialExpr with exprIsTrivial (test break028 and others)Sergei Trofimovich2014-12-231-0/+1
* Add a provenance field to universal coercions.Iavor S. Diatchki2014-12-172-3/+6
* Typo in noteGabor Greif2014-12-171-1/+1
* Improve TidyPgm.hasCafRefs to account for Integer literals (Trac #8525)Simon Peyton Jones2014-12-172-10/+17
* Use the new LintFlags to suppress Lint warnings for INLINE loop breakersSimon Peyton Jones2014-12-171-10/+26
* Source notes (Cmm support)Peter Wortmann2014-12-161-1/+0
* Source notes (CorePrep and Stg support)Peter Wortmann2014-12-161-14/+81
* Annotation lintingPeter Wortmann2014-12-163-5/+215
* Source notes (Core support)Peter Wortmann2014-12-168-132/+528
* Make Core Lint check for locally-bound GlobalIdsSimon Peyton Jones2014-12-152-56/+305
* Comments on TrieMap and unifier.Edward Z. Yang2014-12-041-0/+7
View Lorry Controller Status