summaryrefslogtreecommitdiff
path: root/compiler/basicTypes/DataCon.hs
Commit message (Expand)AuthorAgeFilesLines
* Re-implement unsafe coercions in terms of unsafe equality proofsSimon Peyton Jones2020-02-201-38/+5
* Module hierarchy: HsToCore (cf #13009)Sylvain Henry2020-02-141-1/+2
* Module hierarchy: Iface (cf #13009)Sylvain Henry2020-01-061-1/+1
* Remove dataConSigKrzysztof Gogolewski2019-12-161-17/+1
* Break up TcRnTypes, among other modules.Richard Eisenberg2019-10-161-0/+1
* Fix #16411 by making dataConCannotMatch aware of (~~)Ryan Scott2019-03-131-4/+7
* Add AnonArgFlag to FunTySimon Peyton Jones2019-02-231-21/+18
* Use ByteString to represent Cmm string literals (#16198)Sylvain Henry2019-01-311-5/+11
* Comments about data constructor wrappersSimon Peyton Jones2019-01-171-30/+40
* Taming the Kind Inference MonsterSimon Peyton Jones2018-11-291-1/+2
* Coercion Quantificationningning2018-09-151-101/+161
* Remove the type-checking knot.Richard Eisenberg2018-08-011-23/+23
* Move check for dcUserTyVarBinders invariantRichard Eisenberg2018-07-141-16/+3
* Two small refactoringsSimon Peyton Jones2018-06-181-2/+2
* Embrace -XTypeInType, add -XStarIsTypeVladislav Zavialov2018-06-141-21/+1
* Track type variable scope more carefully.Richard Eisenberg2018-03-311-1/+5
* Lift constructor tag allocation out of a loopBartosz Nitka2018-01-101-3/+2
* Incorporate changes from #11721 into Template HaskellRyan Scott2017-10-071-13/+14
* Track the order of user-written tyvars in DataConRyan Scott2017-10-031-51/+186
* Fix #13391 by checking for kind-GADTsRichard Eisenberg2017-09-281-0/+2
* compiler: introduce custom "GhcPrelude" PreludeHerbert Valerio Riedel2017-09-191-0/+2
* Typofixes [ci skip]Gabor Greif2017-08-011-1/+1
* A bunch of typofixesGabor Greif2017-07-311-1/+1
* Typos in commentsRyan Scott2017-06-291-1/+1
* Typos in comments and manual [ci skip]Gabor Greif2017-06-281-1/+1
* Use lengthIs and friends in more placesRyan Scott2017-06-021-2/+2
* Typos [ci skip]Gabor Greif2017-05-121-1/+1
* Move dataConTagZ to DataConSimon Peyton Jones2017-04-281-2/+6
* Do not generate a data-con wrapper for !Int#Simon Peyton Jones2017-03-101-1/+1
* Upgrade UniqSet to a newtypeDavid Feuer2017-03-011-2/+1
* Implement HasField constraint solving and modify OverloadedLabelsAdam Gundry2017-02-141-4/+10
* Fix binary instance for SrcStrictnessalexbiehl2017-01-311-1/+1
* Nix typo and redundant where-clausesRyan Scott2017-01-251-1/+0
* Add HsSyn prettyprinter testsAlan Zimmerman2016-12-071-1/+1
* Refactor occurrence-check logicSimon Peyton Jones2016-10-211-1/+9
* Expanded abbreviations in Haddock documentationBen Gamari2016-08-051-7/+16
* Comments + tiny refactor of isNullarySrcDataConSimon Peyton Jones2016-07-211-4/+14
* Implement unboxed sum primitive typeÖmer Sinan Ağacan2016-07-211-7/+5
* Axe RecFlag on TyCons.Edward Z. Yang2016-06-301-3/+2
* Delete Ord UniqueBartosz Nitka2016-06-301-7/+0
* s/Invisible/Inferred/g s/Visible/Required/gRichard Eisenberg2016-06-251-4/+4
* More typos in comments [skip ci]Gabor Greif2016-06-221-1/+1
* Major patch to introduce TyConBinderSimon Peyton Jones2016-06-151-18/+50
* Re-add FunTy (big patch)Simon Peyton Jones2016-06-151-68/+44
* Remove 'deriving Typeable' statementsRyan Scott2016-05-241-6/+4
* Document some benign nondeterminismBartosz Nitka2016-05-241-3/+2
* Comments onlySimon Peyton Jones2016-03-311-9/+7
* A raft of comments about TyBindersSimon Peyton Jones2016-03-251-59/+55
* Track specified/invisible more carefully.Richard Eisenberg2016-03-211-16/+80
* Address #11471 by putting RuntimeRep in kinds.wip/runtime-repRichard Eisenberg2016-02-241-8/+14
View Lorry Controller Status