summaryrefslogtreecommitdiff
path: root/compiler/basicTypes
Commit message (Expand)AuthorAgeFilesLines
* Modules: Types (#13009)Sylvain Henry2020-03-2929-16753/+0
* DynFlags refactoring IIISylvain Henry2020-03-251-58/+54
* Remove -fkill-absence and -fkill-one-shot flagsSebastian Graf2020-03-251-32/+1
* Modules: Core operations (#13009)Sylvain Henry2020-03-185-17/+17
* Modules: Core (#13009)Sylvain Henry2020-03-1618-2470/+38
* Monotonic locations (#17632)Vladislav Zavialov2020-02-293-29/+129
* Modules: Core (#13009)Sylvain Henry2020-02-266-24/+24
* Treat coercions as arguments for floating and inliningAlexis King2020-02-261-1/+1
* Remove Ord SrcLoc, Ord SrcSpanVladislav Zavialov2020-02-242-37/+39
* Modules: Driver (#13009)Sylvain Henry2020-02-217-9/+9
* 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
View Lorry Controller Status