summaryrefslogtreecommitdiff
path: root/compiler/types/TyCon.hs
Commit message (Expand)AuthorAgeFilesLines
* Standalone kind signatures (#16794)wip/top-level-kind-signaturesVladislav Zavialov2019-09-251-0/+7
* Module hierarchy: Hs (#13009)Sylvain Henry2019-09-201-1/+1
* Refactor bad coercion checking in a few placesÖmer Sinan Ağacan2019-09-111-1/+20
* Break up TyCoRepBen Gamari2019-07-311-1/+2
* Add Note [RuntimeRep and PrimRep] in RepTypeRichard Eisenberg2019-07-291-1/+7
* Create {Int,Word}32RepJohn Ericson2019-07-171-3/+7
* Fix missing unboxed tuple RuntimeReps (#16565)Krzysztof Gogolewski2019-05-291-6/+20
* Make equality constraints in kinds invisibleRyan Scott2019-05-031-6/+14
* removing x87 register support from native code genCarter Schonwald2019-04-101-2/+2
* Update Trac ticket URLs to point to GitLabRyan Scott2019-03-151-3/+3
* Be more careful when naming TyCon bindersSimon Peyton Jones2019-03-051-11/+29
* Add AnonArgFlag to FunTySimon Peyton Jones2019-02-231-40/+61
* Remove tcTyConUserTyVarsSimon Peyton Jones2019-02-221-7/+4
* Make a smart mkAppTyMSimon Peyton Jones2019-02-141-19/+28
* Taming the Kind Inference MonsterSimon Peyton Jones2018-11-291-5/+10
* Fix unused-import warningsDavid Eichmann2018-11-221-2/+2
* Introduce Int16# and Word16#Abhiroop Sarkar2018-11-171-0/+4
* Fix #15845 by defining etaExpandFamInstLHS and using itRyan Scott2018-11-081-3/+3
* Add Int8# and Word8#Michal Terepeta2018-11-021-0/+4
* Fix embarrassing, egregious bug in roles of (->)Richard Eisenberg2018-11-011-1/+1
* Finish fix for #14880.Tobias Dammers2018-10-281-22/+46
* Revert "Add Int8# and Word8#"Ben Gamari2018-10-091-4/+0
* Add Int8# and Word8#Michal Terepeta2018-10-071-0/+4
* Improve generated `GHC.Prim` docsAlec Theriault2018-10-041-0/+1
* Add a recursivity check in nonVoidRyan Scott2018-09-231-4/+15
* Coercion Quantificationningning2018-09-151-57/+67
* Comments onlySimon Peyton Jones2018-08-231-0/+3
* Remove the type-checking knot.Richard Eisenberg2018-08-011-7/+14
* Note [Ordering of implicit variables]Richard Eisenberg2018-07-101-1/+1
* Typofixes in comments and whitespace only [ci skip]Gabor Greif2018-06-261-1/+1
* Typofixes in docs and comments [ci skip]Gabor Greif2018-06-181-1/+1
* Embrace -XTypeInType, add -XStarIsTypeVladislav Zavialov2018-06-141-6/+2
* Rename dataConRepNameUnique to dataConTyRepNameUniqueMatthew Pickering2018-06-071-2/+2
* TcInteract: Ensure that tycons have representations before solving for TypeableBen Gamari2018-05-131-1/+5
* Document SumTyConSimon Jakobi2018-04-071-0/+1
* Track type variable scope more carefully.Richard Eisenberg2018-03-311-20/+32
* Lift constructor tag allocation out of a loopBartosz Nitka2018-01-101-1/+24
* Cache the number of data cons in DataTyCon and SumTyConBartosz Nitka2018-01-041-21/+27
* Fix SigTvs at the kind levelSimon Peyton Jones2017-12-111-49/+7
* Allow packing constructor fieldsMichal Terepeta2017-10-291-14/+21
* Make tagForCon non-linearBartosz Nitka2017-10-271-1/+15
* A bunch of typofixesGabor Greif2017-09-261-1/+1
* compiler: introduce custom "GhcPrelude" PreludeHerbert Valerio Riedel2017-09-191-0/+2
* Refactor to eliminate FamTyConShapeSimon Peyton Jones2017-09-141-3/+11
* Better debug-printing for Outputable TyConBinderSimon Peyton Jones2017-08-291-4/+5
* Fix #14060 by more conservatively annotating TH-reified typesRyan Scott2017-08-141-6/+12
* Allow bundling pattern synonyms with exported data familiesRyan Scott2017-08-011-0/+6
* A bunch of typofixesGabor Greif2017-07-311-1/+1
* Fix #12369 by being more flexible with data instsRichard Eisenberg2017-07-271-3/+7
* Fix binder visiblity for default methodsSimon Peyton Jones2017-07-261-3/+69
View Lorry Controller Status