summaryrefslogtreecommitdiff
path: root/compiler/coreSyn
Commit message (Expand)AuthorAgeFilesLines
* Remove 'deriving Typeable' statementsRyan Scott2016-05-241-5/+5
* Make Arrow desugaring deterministicBartosz Nitka2016-05-241-0/+33
* Kill varEnvElts in tcPragExprBartosz Nitka2016-05-181-2/+8
* Refactor some ppr functions to use pprUFMBartosz Nitka2016-05-121-1/+3
* Comments about static formsSimon Peyton Jones2016-05-101-7/+21
* Explain linter optimization for StaticPtr checks.Facundo Domínguez2016-05-051-0/+8
* Kill non-deterministic foldUFM in TrieMap and TcAppMapBartosz Nitka2016-05-041-32/+100
* StaticPointers: Allow closed vars in the static form.Facundo Domínguez2016-05-022-6/+65
* Fix debug-only check in CoreLintSimon Peyton Jones2016-04-281-7/+9
* Implement the state hack without modifiyng OneShotInfoJoachim Breitner2016-04-271-1/+1
* Get rid of varSetElemsWellScoped in abstractFloatsBartosz Nitka2016-04-221-1/+8
* Rename FV related functionsBartosz Nitka2016-04-202-76/+76
* Build a correct substitution in dataConInstPatBartosz Nitka2016-04-201-3/+3
* Kill some unnecessary varSetElemsBartosz Nitka2016-04-152-6/+38
* Add a final demand analyzer run right before TidyCoreJoachim Breitner2016-04-141-1/+4
* Fix a comment: triple -> tupleBartosz Nitka2016-04-081-1/+1
* Core pretty printer: Omit wild case bindersJoachim Breitner2016-04-061-10/+33
* Revert accidental change to collectTyAndValBindersSimon Peyton Jones2016-03-311-17/+22
* Don't recompute some free vars in lintCoercionBartosz Nitka2016-03-301-6/+12
* Typos in non-codeGabor Greif2016-03-303-3/+3
* Rename isNopSig to isTopSigJoachim Breitner2016-03-292-2/+3
* Typo in Note nameJoachim Breitner2016-03-291-2/+2
* Use the correct substitution in lintCoercionBartosz Nitka2016-03-291-1/+6
* CorePrep: refactoring to reduce duplicationSimon Peyton Jones2016-03-251-28/+21
* Do not eta-reduce across Ticks in CorePrepSimon Peyton Jones2016-03-251-2/+7
* Tidy up handling of coercion variablesSimon Peyton Jones2016-03-242-5/+9
* ErrUtils: Add timings to compiler phasesBen Gamari2016-03-242-14/+11
* Fix the implementation of lazyIdSimon Peyton Jones2016-03-091-20/+28
* Don't complain about unused Rule bindersSimon Peyton Jones2016-03-011-4/+17
* Get the right in-scope set in specUnfoldingSimon Peyton Jones2016-02-261-0/+4
* Fix and refactor strict pattern bindingsSimon Peyton Jones2016-02-262-43/+83
* Print which warning-flag controls an emitted warningMichael Walker2016-02-251-3/+4
* Address #11471 by putting RuntimeRep in kinds.wip/runtime-repRichard Eisenberg2016-02-243-14/+12
* Improve piResultTys and friendsSimon Peyton Jones2016-02-183-17/+17
* (Another) minor refactoring of substitutionsSimon Peyton Jones2016-02-183-28/+23
* Comments and white spaceSimon Peyton Jones2016-02-151-2/+7
* Revert "sizeExpr: fix a bug in the size calculation"Simon Marlow2016-02-121-15/+3
* sizeExpr: fix a bug in the size calculationSimon Marlow2016-02-111-3/+15
* Comments about ru_autoSimon Peyton Jones2016-02-111-6/+7
* Add asserts to other substitution functionsBartosz Nitka2016-01-302-2/+2
* Use the in_scope set in lint_appBartosz Nitka2016-01-281-7/+10
* Rename "open" subst functionsBartosz Nitka2016-01-271-1/+1
* s/unLifted/unlifted for consistencyÖmer Sinan Ağacan2016-01-275-14/+14
* Fix a typo in the note name in commentsBartosz Nitka2016-01-271-1/+1
* Pass InScopeSet to substTy in lintTyAppBartosz Nitka2016-01-261-1/+8
* White space onlySimon Peyton Jones2016-01-261-2/+2
* Fix exprIsHNF (Trac #11248)Simon Peyton Jones2016-01-251-14/+17
* Oops. Add missing close-commentSimon Peyton Jones2016-01-201-0/+2
* Fix combineIdenticalAltsSimon Peyton Jones2016-01-201-17/+48
* Check InScopeSet in substTy and provide substTyUncheckedBartosz Nitka2016-01-192-3/+3