summaryrefslogtreecommitdiff
path: root/compiler/typecheck/TcPatSyn.hs
Commit message (Expand)AuthorAgeFilesLines
* Modules: type-checker (#13009)Sylvain Henry2020-04-071-1150/+0
* Minor cleanupKrzysztof Gogolewski2020-03-291-1/+1
* Modules: Types (#13009)Sylvain Henry2020-03-291-13/+13
* Modules: Core (#13009)Sylvain Henry2020-03-161-8/+8
* Use TTG for HsSplicedT constructorKrzysztof Gogolewski2020-02-201-2/+1
* Module hierarchy: HsToCore (cf #13009)Sylvain Henry2020-02-141-1/+1
* Introduce IsPass; refactor wrappers.Richard Eisenberg2020-02-081-8/+7
* Disable two warnings for files that trigger themTom Ellis2020-01-271-0/+2
* PmCheck: Formulate as translation between Clause TreesSebastian Graf2020-01-251-0/+2
* Fix more typos, via an improved Levenshtein-style correctorBrian Wignall2020-01-121-4/+4
* Don't zap to Any; error insteadRichard Eisenberg2020-01-121-2/+2
* Fix typos, via a Levenshtein-style correctorBrian Wignall2020-01-041-1/+1
* Remove HasSrcSpan (#17494)Vladislav Zavialov2019-11-301-28/+27
* Fix typos, using Wikipedia list of common typosBrian Wignall2019-11-281-2/+2
* Break up TcRnTypes, among other modules.Richard Eisenberg2019-10-161-3/+4
* Module hierarchy: Hs (#13009)Sylvain Henry2019-09-201-1/+1
* Break up TyCoRepBen Gamari2019-07-311-1/+1
* Use an empty data type in TTG extension constructors (#15247)Ryan Scott2019-07-091-22/+22
* 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
View Lorry Controller Status