summaryrefslogtreecommitdiff
path: root/compiler/basicTypes
Commit message (Expand)AuthorAgeFilesLines
* 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
* Don't eta-expand unsaturated primopsBen Gamari2019-06-252-16/+14
* Move 'Platform' to ghc-bootJohn Ericson2019-06-191-1/+1
* Properly trim IdInfos of DFunIds and PatSyns in TidyPgmÖmer Sinan Ağacan2019-06-191-3/+3
* Make sure mkSplitUniqSupply stores the precomputed mask only.Andreas Klebinger2019-06-181-1/+2
* Implement the -XUnliftedNewtypes extension.Andrew Martin2019-06-142-15/+48
* Use DeriveFunctor throughout the codebase (#15654)Krzysztof Gogolewski2019-06-121-4/+3
* Comments only: document newtypes' DataConWrapIdRichard Eisenberg2019-06-101-0/+20
* TmOracle: Replace negative term equalities by refutable PmAltConsSebastian Graf2019-06-071-0/+4
* Add PlainPanic for throwing exceptions without depending on pprintMichael Sloan2019-05-241-1/+1
* Use datatype for unboxed returns when loading ghc into ghciMichael Sloan2019-05-221-21/+41
* Compute demand signatures assuming idAritySebastian Graf2019-04-304-42/+126
* codegen: use newtype for Alignment in BasicTypesArtem Pyanykh2019-04-091-3/+35
* Update Wiki URLs to point to GitLabTakenobu Tani2019-03-254-5/+5
* Update Trac ticket URLs to point to GitLabRyan Scott2019-03-159-38/+38
View Lorry Controller Status