summaryrefslogtreecommitdiff
path: root/compiler/basicTypes
Commit message (Expand)AuthorAgeFilesLines
* Parser API annotations: RealSrcLocVladislav Zavialov2020-02-211-6/+13
* Disentangle DynFlags and SDocSylvain Henry2020-02-204-28/+18
* Re-implement unsafe coercions in terms of unsafe equality proofsSimon Peyton Jones2020-02-204-92/+18
* Module hierarchy: HsToCore (cf #13009)Sylvain Henry2020-02-145-9/+10
* Separate CPR analysis from the Demand analyserwip/sep-cprSebastian Graf2020-02-125-185/+280
* Module hierarchy: ByteCode and Runtime (cf #13009)Sylvain Henry2020-02-121-1/+1
* Do not create nested quantified constraintsRichard Eisenberg2020-02-111-2/+2
* compiler: Qualify imports of Data.ListBen Gamari2020-02-083-3/+3
* VarSet: Introduce nonDetFoldVarSetBen Gamari2020-02-061-0/+4
* A few optimizations in STG and Cmm parts:Andreas Klebinger2020-01-311-3/+9
* Refactor package related codeSylvain Henry2020-01-311-9/+9
* Disable two warnings for files that trigger themTom Ellis2020-01-276-0/+9
* Module hierarchy: Cmm (cf #13009)Sylvain Henry2020-01-251-1/+1
* PmCheck: Formulate as translation between Clause TreesSebastian Graf2020-01-251-1/+1
* Fix more typos, via an improved Levenshtein-style correctorBrian Wignall2020-01-127-19/+19
* Don't zap to Any; error insteadRichard Eisenberg2020-01-122-3/+13
* Print Core type applications with no whitespace after @ (#17643)Ryan Scott2020-01-081-1/+1
* Module hierarchy: Renamer (cf #13009)Sylvain Henry2020-01-083-9/+9
* Module hierarchy: Iface (cf #13009)Sylvain Henry2020-01-0610-19/+20
* Fix typos, via a Levenshtein-style correctorBrian Wignall2020-01-042-2/+2
* Module hierarchy (#13009): StgSylvain Henry2019-12-311-1/+1
* lookupBindGroupOcc: recommend names in the same namespace (#17593)Ryan Scott2019-12-201-5/+7
* Do more validity checks for quantified constraintsRichard Eisenberg2019-12-161-1/+4
* Use "OrCoVar" functions lessKrzysztof Gogolewski2019-12-162-17/+11
* Remove dataConSigKrzysztof Gogolewski2019-12-161-17/+1
* Ignore unary constraint tuples during typechecking (#17511)Ryan Scott2019-12-101-0/+7
* Split up coercionKindSimon Peyton Jones2019-12-061-2/+1
* Pretty-printing of the * kindVladislav Zavialov2019-12-051-3/+33
* Simplify uniqAwayBen Gamari2019-12-032-49/+74
* Fix more typosBrian Wignall2019-12-021-1/+1
* Simpler Semigroup instance for InsideLam and InterestingCtxtSebastian Graf2019-11-301-6/+4
* Remove HasSrcSpan (#17494)Vladislav Zavialov2019-11-302-107/+18
* Fix typos, using Wikipedia list of common typosBrian Wignall2019-11-283-3/+3
* Reduce boolean blindness in OccInfo(OneOcc) #17482Philipp Krüger2019-11-282-32/+58
* Fix typosBrian Wignall2019-11-232-3/+3
* Give seq a more precise type and remove magicBen Gamari2019-11-191-16/+23
* Optimize MonadUnique instances based on IO (#16843)nineonine2019-11-191-1/+6
* Ensure that coreView/tcView are able to inlineBen Gamari2019-11-131-0/+1
* Describe optimisation of demand analysis of noinlineBen Gamari2019-11-011-0/+8
* Break up TcRnTypes, among other modules.Richard Eisenberg2019-10-164-19/+255
* Standalone kind signatures (#16794)wip/top-level-kind-signaturesVladislav Zavialov2019-09-251-1/+3
* Fix bogus type of case expressionwip/T17056Simon Peyton Jones2019-09-201-6/+6
* Module hierarchy: Hs (#13009)Sylvain Henry2019-09-201-1/+1
* Encode shape information in `PmOracle`Sebastian Graf2019-09-162-2/+25
* Document types of LitNumbers, minor refactoring in Literal.hsÖmer Sinan Ağacan2019-08-151-10/+28
* Introduce a type for "platform word size", use it instead of IntÖmer Sinan Ağacan2019-08-061-6/+4
* Break up TyCoRepBen Gamari2019-07-311-1/+2
* Make DefUses = OrdList DefUseRyan Scott2019-07-251-5/+6
* Add a note in the simplifier about in-scope set as a substitutionArnaud Spiwack2019-07-151-4/+7
* Remove unused UniqSupply functionsÖmer Sinan Ağacan2019-06-251-42/+1
View Lorry Controller Status