summaryrefslogtreecommitdiff
path: root/compiler/typecheck/TcPatSyn.hs
Commit message (Expand)AuthorAgeFilesLines
* Update Trac ticket URLs to point to GitLabRyan Scott2019-03-151-14/+14
* Treat kind/type variables identically, demolish FKTVVladislav Zavialov2019-02-271-51/+0
* Add AnonArgFlag to FunTySimon Peyton Jones2019-02-231-6/+6
* Run typed splices in the zonkerMatthew Pickering2019-01-111-0/+1
* Introduce tcTypeKind, and use itSimon Peyton Jones2018-12-031-2/+2
* Taming the Kind Inference MonsterSimon Peyton Jones2018-11-291-10/+46
* [TTG: Handling Source Locations] Foundation and PatShayan-Najd2018-11-241-27/+35
* Fix unused-import warningsDavid Eichmann2018-11-221-3/+1
* Finish fix for #14880.Tobias Dammers2018-10-281-52/+0
* More explicit foralls (GHC Proposal 0007)Matthew Yacavone2018-10-271-2/+2
* Refactor the treatment of predicate typesSimon Peyton Jones2018-10-241-3/+57
* Fail fast on pattern synonymsSimon Peyton Jones2018-10-041-33/+42
* Coercion Quantificationningning2018-09-151-3/+3
* Remove knot-tying bug in TcHsSyn.zonkTyVarOccSimon Peyton Jones2018-08-311-7/+6
* Replace most occurences of foldl with foldl'.klebinger.andreas@gmx.at2018-08-211-3/+3
* Rename SigTv to TyVarTv (#15480)Joachim Breitner2018-08-161-2/+2
* Fix typosKrzysztof Gogolewski2018-08-051-2/+2
* Fix error recovery for pattern synonymsSimon Peyton Jones2018-06-251-12/+74
* Make better "fake tycons" in error recoverySimon Peyton Jones2018-06-151-5/+3
* Embrace -XTypeInType, add -XStarIsTypeVladislav Zavialov2018-06-141-1/+1
* Implement QuantifiedConstraintsSimon Peyton Jones2018-06-041-3/+4
* vectorise: Put it out of its miseryBen Gamari2018-06-021-3/+0
* Orient TyVar/TyVar equalities with deepest on the leftSimon Peyton Jones2018-05-181-3/+3
* TTG : complete for balance of hsSyn ASTAlan Zimmerman2018-04-271-8/+5
* TTG for HsBinds and Data instances Plan BAlan Zimmerman2018-04-131-6/+9
* Restore Trees That Grow reverted commitsAlan Zimmerman2018-04-091-55/+59
* Track type variable scope more carefully.Richard Eisenberg2018-03-311-1/+1
* Allow as-patterns in unidirectional patttern synonymsSimon Peyton Jones2018-03-211-65/+0
* Turn EvTerm (almost) into CoreExpr (#14691)Joachim Breitner2018-01-261-3/+3
* Typos in commentsGabor Greif2018-01-171-1/+1
* Fix another obscure pattern-synonym crashSimon Peyton Jones2018-01-051-7/+62
* Fix deep, dark corner of pattern synonymsSimon Peyton Jones2018-01-041-0/+50
* Simplify HsPatSynDetailsSimon Peyton Jones2017-12-211-9/+8
* Fix scoping of pattern-synonym existentialsSimon Peyton Jones2017-12-181-0/+95
* Revert "trees that grow" workBen Gamari2017-11-211-83/+77
* TTG3 Combined Step 1 and 3 for Trees That GrowAlan Zimmerman2017-11-141-3/+5
* WIP on combined Step 1 and 3 for Trees That Grow, HsExprAlan Zimmerman2017-11-111-15/+17
* WIP on Doing a combined Step 1 and 3 for Trees That GrowAlan Zimmerman2017-11-081-64/+66
* Minimise provided dictionaries in pattern synonymsSimon Peyton Jones2017-11-081-5/+51
* Revert "WIP on combining Step 1 and 3 of Trees That Grow"Ben Gamari2017-11-071-63/+61
* WIP on combining Step 1 and 3 of Trees That GrowAlan Zimmerman2017-11-071-61/+63
* Temporary fix to Trac #14380Simon Peyton Jones2017-10-241-4/+17
* compiler: introduce custom "GhcPrelude" PreludeHerbert Valerio Riedel2017-09-191-0/+2
* Disallow bang/lazy patterns in the RHSes of implicitly bidirectional patsynsRyan Scott2017-09-021-6/+26
* Do not discard insolubles in implicationsSimon Peyton Jones2017-07-281-2/+2
* Fix binder visiblity for default methodsSimon Peyton Jones2017-07-261-2/+1
* Udate hsSyn AST to use Trees that GrowAlan Zimmerman2017-06-061-40/+46
* Typos in comments [ci skip]Gabor Greif2017-05-261-1/+1
* Pattern synonyms and higher rank typesSimon Peyton Jones2017-05-251-5/+19
* Allow spliced patterns in pattern synonymsBen Gamari2017-05-111-7/+8
View Lorry Controller Status