summaryrefslogtreecommitdiff
path: root/compiler/iface/BuildTyCl.hs
Commit message (Expand)AuthorAgeFilesLines
* Coercion Quantificationningning2018-09-151-1/+1
* Remove the type-checking knot.Richard Eisenberg2018-08-011-6/+8
* Lift constructor tag allocation out of a loopBartosz Nitka2018-01-101-3/+10
* Cache the number of data cons in DataTyCon and SumTyConBartosz Nitka2018-01-041-14/+1
* Track the order of user-written tyvars in DataConRyan Scott2017-10-031-10/+15
* compiler: introduce custom "GhcPrelude" PreludeHerbert Valerio Riedel2017-09-191-0/+2
* Fix binder visiblity for default methodsSimon Peyton Jones2017-07-261-67/+3
* Properly represent abstract classes in Class and IfaceDeclEdward Z. Yang2017-03-021-12/+27
* Add HsSyn prettyprinter testsAlan Zimmerman2016-12-071-1/+1
* Typos in commentsGabor Greif2016-11-291-1/+1
* Refine ASSERT in buildPatSyn for the nullary case.Matthew Pickering2016-10-261-2/+11
* New story for abstract data types in hsig files.Edward Z. Yang2016-10-201-5/+0
* Check generic-default method for ambiguitySimon Peyton Jones2016-07-051-9/+38
* Axe RecFlag on TyCons.Edward Z. Yang2016-06-301-3/+2
* s/Invisible/Inferred/g s/Visible/Required/gRichard Eisenberg2016-06-251-10/+10
* Major patch to introduce TyConBinderSimon Peyton Jones2016-06-151-32/+33
* Re-add FunTy (big patch)Simon Peyton Jones2016-06-151-31/+29
* A raft of comments about TyBindersSimon Peyton Jones2016-03-251-8/+65
* Track specified/invisible more carefully.Richard Eisenberg2016-03-211-18/+30
* Address #11471 by putting RuntimeRep in kinds.wip/runtime-repRichard Eisenberg2016-02-241-4/+5
* Improve piResultTys and friendsSimon Peyton Jones2016-02-181-1/+1
* Rename "open" subst functionsBartosz Nitka2016-01-271-3/+3
* Construct in_scope set in mkTopTCvSubstBartosz Nitka2016-01-261-1/+1
* Kill off zipTopTCvSubst in favour of zipOpenTCvSubstSimon Peyton Jones2016-01-261-3/+3
* Rework derivation of type representations for wired-in thingsBen Gamari2016-01-201-2/+2
* Check InScopeSet in substTy and provide substTyUncheckedBartosz Nitka2016-01-191-1/+1
* Add missing type representationsBen Gamari2016-01-131-2/+1
* Refactoring onlySimon Peyton Jones2015-12-241-5/+4
* Fix ASSERT in buildPatSyn, and T10897 testSimon Peyton Jones2015-12-231-6/+10
* Add kind equalities to GHC.Richard Eisenberg2015-12-111-57/+35
* Refactor default methods (Trac #11105)Simon Peyton Jones2015-11-251-8/+6
* Generate Typeable info at definition sitesBen Gamari2015-10-301-14/+28
* Revert "Generate Typeable info at definition sites"Ben Gamari2015-10-291-28/+14
* Generate Typeable info at definition sitesBen Gamari2015-10-291-14/+28
* Record pattern synonymsMatthew Pickering2015-10-291-2/+5
* Implement DuplicateRecordFieldsAdam Gundry2015-10-161-1/+1
* Injective type familiesJan Stolarek2015-09-031-9/+13
* Move newImplicitBinder to from IfaceEnv to BuildTyClBen Gamari2015-08-271-0/+18
* Replace HsBang type with HsSrcBang and HsImplBangAdam Sandberg Eriksson2015-08-101-13/+19
* Implementation of StrictData language extensionAdam Sandberg Eriksson2015-07-271-1/+1
* Refactor tuple constraintsSimon Peyton Jones2015-05-181-0/+4
* Revert multiple commitsAustin Seipp2015-05-141-4/+0
* Refactor tuple constraintsSimon Peyton Jones2015-05-131-0/+4
* More comments on HsBangSimon Peyton Jones2015-01-111-1/+1
* Improve HsBangSimon Peyton Jones2015-01-081-1/+1
* Major patch to add -fwarn-redundant-constraintsSimon Peyton Jones2015-01-061-1/+1
* compiler: de-lhs iface/Austin Seipp2014-12-031-0/+333
View Lorry Controller Status