summaryrefslogtreecommitdiff
path: root/compiler/coreSyn
Commit message (Expand)AuthorAgeFilesLines
* CoreLint: Slightly improve case type annotation error msgsÖmer Sinan Ağacan2016-06-171-1/+3
* Major patch to introduce TyConBinderSimon Peyton Jones2016-06-151-1/+1
* Re-add FunTy (big patch)Simon Peyton Jones2016-06-155-34/+40
* Small refactor to mkRuntimErrorIdSimon Peyton Jones2016-06-101-29/+24
* Remove Ord AltConBartosz Nitka2016-06-091-1/+1
* Fix #12076 by inlining trivial expressions in CorePrep.Edward Z. Yang2016-06-083-17/+138
* Report term sizes with -v3 even when -ddump is enabledÖmer Sinan Ağacan2016-06-081-6/+7
* Localize orphan-related nondeterminismBartosz Nitka2016-06-021-4/+7
* 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