summaryrefslogtreecommitdiff
path: root/compiler/basicTypes/PatSyn.hs
Commit message (Expand)AuthorAgeFilesLines
* Modules: Core (#13009)Sylvain Henry2020-03-161-484/+0
* compiler: Qualify imports of Data.ListBen Gamari2020-02-081-1/+1
* Ensure that coreView/tcView are able to inlineBen Gamari2019-11-131-0/+1
* Encode shape information in `PmOracle`Sebastian Graf2019-09-161-0/+14
* Properly trim IdInfos of DFunIds and PatSyns in TidyPgmÖmer Sinan Ağacan2019-06-191-3/+3
* Update Trac ticket URLs to point to GitLabRyan Scott2019-03-151-1/+1
* Add AnonArgFlag to FunTySimon Peyton Jones2019-02-231-2/+2
* Coercion Quantificationningning2018-09-151-5/+5
* Typo in commentsGabor Greif2018-05-231-1/+1
* Fix scoping of pattern-synonym existentialsSimon Peyton Jones2017-12-181-1/+1
* compiler: introduce custom "GhcPrelude" PreludeHerbert Valerio Riedel2017-09-191-0/+2
* A bunch of typofixesGabor Greif2017-07-311-1/+1
* Fix instantiation of pattern synonymsSimon Peyton Jones2017-07-281-8/+46
* Use lengthIs and friends in more placesRyan Scott2017-06-021-2/+2
* Disambiguate two Notes with identical namesRyan Scott2016-12-211-2/+2
* Expanded abbreviations in Haddock documentationBen Gamari2016-08-051-1/+2
* Major patch to introduce TyConBinderSimon Peyton Jones2016-06-151-4/+4
* Re-add FunTy (big patch)Simon Peyton Jones2016-06-151-23/+19
* Remove Ord PatSynBartosz Nitka2016-06-091-7/+0
* Remove 'deriving Typeable' statementsRyan Scott2016-05-241-3/+1
* SpellingGabor Greif2016-05-241-1/+1
* Reduce use of instances in hs-boot filesSimon Peyton Jones2016-04-201-2/+3
* Improve printing of pattern synonym typesRik Steenkamp2016-04-021-12/+15
* A raft of comments about TyBindersSimon Peyton Jones2016-03-251-10/+15
* Add `PatSynSigSkol` and modify `PatSynCtxt`Rik Steenkamp2016-03-241-0/+15
* Track specified/invisible more carefully.Richard Eisenberg2016-03-211-6/+19
* Address #11471 by putting RuntimeRep in kinds.wip/runtime-repRichard Eisenberg2016-02-241-2/+2
* Fix typosRik Steenkamp2016-02-161-4/+4
* Replace calls to `ptext . sLit` with `text`Jan Stolarek2016-01-181-3/+2
* Implement scoped type variables in pattern synonymsSimon Peyton Jones2016-01-181-2/+2
* Visible type applicationRichard Eisenberg2015-12-241-3/+3
* Fix typechecking for pattern synonym signaturesSimon Peyton Jones2015-12-221-1/+1
* Add kind equalities to GHC.Richard Eisenberg2015-12-111-5/+7
* Record pattern synonymsMatthew Pickering2015-10-291-12/+39
* Pattern synonyms: swap provided/requiredSimon Peyton Jones2015-10-281-3/+42
* Remove dead function patSynTyDetailsSimon Peyton Jones2015-10-161-9/+1
* Use a new $b prefix for pattern synonym builder names, instead of re-using $W...Dr. ERDI Gergo2014-12-201-6/+6
* compiler: de-lhs basicTypes/Austin Seipp2014-12-031-0/+345
View Lorry Controller Status