summaryrefslogtreecommitdiff
path: root/compiler/basicTypes
Commit message (Expand)AuthorAgeFilesLines
* A raft of comments about TyBindersSimon Peyton Jones2016-03-252-69/+70
* Tidy up handling of coercion variablesSimon Peyton Jones2016-03-243-30/+31
* Add `PatSynSigSkol` and modify `PatSynCtxt`Rik Steenkamp2016-03-241-0/+15
* Track specified/invisible more carefully.Richard Eisenberg2016-03-214-36/+105
* Remove unnecessary Ord instance for ConLikeBartosz Nitka2016-03-212-7/+3
* Fix #11512 by getting visibility right for methodsRichard Eisenberg2016-03-171-5/+14
* Move getOccFS to NameBen Gamari2016-03-111-1/+3
* Fix the implementation of lazyIdSimon Peyton Jones2016-03-091-17/+40
* Address #11471 by putting RuntimeRep in kinds.wip/runtime-repRichard Eisenberg2016-02-243-24/+31
* Allow combining characters in identifiers (#7650)Thomas Miedema2016-02-231-2/+3
* Modifier letter in middle of identifier is okThomas Miedema2016-02-191-11/+3
* (Another) minor refactoring of substitutionsSimon Peyton Jones2016-02-181-2/+2
* Comments only (#11513)Richard Eisenberg2016-02-171-0/+2
* Derive Eq and Ord instance for SrcLoc and RealSrcLocGabriel Gonzalez2016-02-171-28/+2
* Existentials should be specified.Richard Eisenberg2016-02-171-1/+1
* Fix typosRik Steenkamp2016-02-165-11/+11
* Another batch of typo fixes in non-codeGabor Greif2016-02-111-1/+1
* Replace mkTvSubstPrs (a `zip` b) with zipTvSubst a bBartosz Nitka2016-02-101-1/+1
* Comments only, on the invariants of GlobalRdrEnvSimon Peyton Jones2016-02-081-0/+7
* Avoid mangled/derived names in GHCi autocomplete (fixes #11328)Adam Gundry2016-02-011-2/+2
* Simplify ghc-boot database representation with new type class.Edward Z. Yang2016-02-011-1/+6
* Suppress substitution assertions to fix testsBartosz Nitka2016-02-011-1/+1
* Add asserts to other substitution functionsBartosz Nitka2016-01-301-1/+1
* Rename "open" subst functionsBartosz Nitka2016-01-272-3/+3
* s/unLifted/unlifted for consistencyÖmer Sinan Ağacan2016-01-271-2/+2
* Less verbose output for the in-scope setSimon Peyton Jones2016-01-261-1/+4
* MkId: Update OpenKind referenceBen Gamari2016-01-211-1/+2
* Rework derivation of type representations for wired-in thingsBen Gamari2016-01-202-19/+10
* Check InScopeSet in substTy and provide substTyUncheckedBartosz Nitka2016-01-192-1/+5
* Replace calls to `ptext . sLit` with `text`Jan Stolarek2016-01-1811-100/+95
* Implement scoped type variables in pattern synonymsSimon Peyton Jones2016-01-181-2/+2
* Refactoring on IdInfo and system derived namesSimon Peyton Jones2016-01-183-26/+16
* Work SourceText in for all integer literalsAlan Zimmerman2016-01-162-23/+29
* Fix #11015 with a nice note.Edward Z. Yang2016-01-141-0/+70
* Add a pointer to the relevant paper for InScopeSetBartosz Nitka2016-01-081-0/+2
* Typos in docs and commentsGabor Greif2016-01-072-2/+2
* Make demand analysis understand catchSimon Peyton Jones2016-01-071-367/+503
* Add strictness for runRW#Simon Peyton Jones2016-01-011-1/+8
* Remove some redundant definitions/constraintsHerbert Valerio Riedel2015-12-311-1/+0
* Drop pre-AMP compatibility CPP conditionalsHerbert Valerio Riedel2015-12-313-14/+0
* Visible type applicationRichard Eisenberg2015-12-243-24/+24
* Refactor named wildcards (again)Simon Peyton Jones2015-12-221-29/+3
* Fix typechecking for pattern synonym signaturesSimon Peyton Jones2015-12-221-1/+1
* Warn about unused type variables in type familiesMichał Sośnicki2015-12-211-12/+42
* SrcLoc: Eliminate constructors of RealSrcSpanBen Gamari2015-12-181-55/+40
* Remote GHCi, -fexternal-interpreterSimon Marlow2015-12-172-12/+7
* Expose enabled language extensions to THBen Gamari2015-12-151-3/+4
* Add kind equalities to GHC.Richard Eisenberg2015-12-1120-403/+456
* More typos in comments/docsGabor Greif2015-12-091-1/+1
* An assortment of typosGabor Greif2015-12-081-1/+1
View Lorry Controller Status