summaryrefslogtreecommitdiff
path: root/compiler/types/OptCoercion.hs
Commit message (Expand)AuthorAgeFilesLines
* Break up TyCoRepBen Gamari2019-07-311-0/+1
* Fix assertion failures reported in #16533Krzysztof Gogolewski2019-04-141-2/+2
* Update Trac ticket URLs to point to GitLabRyan Scott2019-03-151-2/+2
* Add AnonArgFlag to FunTySimon Peyton Jones2019-02-231-4/+0
* Make a smart mkAppTyMSimon Peyton Jones2019-02-141-1/+1
* Fix #15725 with an extra SymRyan Scott2018-10-151-11/+22
* Coercion Quantificationningning2018-09-151-21/+172
* Fix #15453: bug in ForAllCo case in opt_trans_ruleNingning Xie2018-07-291-1/+6
* Refactor coercion ruleningning2018-07-091-53/+48
* Two small refactoringsSimon Peyton Jones2018-06-181-1/+1
* OptCoercion: Ensure we use new UnivCo provenance to construct optimised cos.Ben Gamari2018-06-141-3/+3
* Don't use unsafeGlobalDynFlags in optCoercionBen Gamari2018-06-071-4/+8
* Caching coercion roles in NthCo and coercionKindsRole refactoringTobias Dammers2018-04-201-63/+40
* Apply Note [EtaAppCo] in OptCoercion to another caseRichard Eisenberg2018-03-311-3/+2
* Fix #12919 by making the flattener homegeneous.Richard Eisenberg2018-03-261-10/+100
* Fix OptCoercionSimon Peyton Jones2018-01-031-1/+3
* Refactor coercion holesSimon Peyton Jones2017-12-211-3/+4
* compiler: introduce custom "GhcPrelude" PreludeHerbert Valerio Riedel2017-09-191-0/+2
* Drop GHC 7.10 compatibilityRyan Scott2017-08-011-2/+0
* Use lengthIs and friends in more placesRyan Scott2017-06-021-3/+3
* Use mkSymCo in OptCoercion.wrapSymSimon Peyton Jones2017-05-091-1/+1
* OptCoercion: Ensure that TyConApps match in arityBen Gamari2017-05-081-0/+15
* Teach optCoecion about FunCoSimon Peyton Jones2017-05-041-0/+5
* Allow unbound Refl binders in a RULESimon Peyton Jones2017-03-291-6/+26
* Generalize kind of the (->) tyconBen Gamari2017-02-181-0/+9
* Ditch static flagsSylvain Henry2017-02-021-2/+2
* Fix the implementation of the "push rules"Simon Peyton Jones2017-01-061-1/+1
* Reduce default for -fmax-pmcheck-iterations from 1e7 to 2e6Herbert Valerio Riedel2016-04-101-2/+6
* Fix #11754 by adding an additional check.Richard Eisenberg2016-03-261-3/+4
* (Another) minor refactoring of substitutionsSimon Peyton Jones2016-02-181-1/+1
* Define tyConRolesRepresentational and use itSimon Peyton Jones2016-02-081-2/+2
* Overhaul the Overhauled Pattern Match CheckerGeorge Karachalias2016-02-041-3/+1
* Add asserts to other substitution functionsBartosz Nitka2016-01-301-1/+1
* Rename "open" subst functionsBartosz Nitka2016-01-271-2/+2
* substTy to substTyUnchecked to fix Travis buildBartosz Nitka2016-01-201-4/+4
* Replace calls to `ptext . sLit` with `text`Jan Stolarek2016-01-181-2/+1
* Remove -Wtoo-many-guards from default flags (fixes #11316)George Karachalias2016-01-051-5/+1
* Adding flags: -ffull-guard-reasoning and too-many-guardsGeorge Karachalias2015-12-271-4/+8
* Fix #11232.Richard Eisenberg2015-12-171-17/+20
* Add kind equalities to GHC.Richard Eisenberg2015-12-111-195/+373
* Injective type familiesJan Stolarek2015-09-031-2/+2
* Refactor handling of decomposition.Richard Eisenberg2015-06-161-1/+1
* Replace .lhs with .hs in compiler commentsYuri de Wit2015-02-091-1/+1
* Add a provenance field to universal coercions.Iavor S. Diatchki2014-12-171-10/+10
* unlit compiler/types/ modulesHerbert Valerio Riedel2014-12-011-0/+741
View Lorry Controller Status