summaryrefslogtreecommitdiff
path: root/compiler/typecheck/TcPatSyn.hs
Commit message (Expand)AuthorAgeFilesLines
* Revert "Revert "trees that grow" work"Alan Zimmerman2017-11-221-77/+83
* 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
* Treat banged bindings as FunBindsBen Gamari2017-05-081-2/+2
* Complete the fix for #13441 (pattern synonyms)Simon Peyton Jones2017-03-281-21/+24
* Fix explicitly-bidirectional pattern synonymsSimon Peyton Jones2017-03-271-11/+21
* Define TcSimplify.simplifyTopImplic and use itSimon Peyton Jones2017-03-101-5/+2
* Typos in manual, tests and commentsGabor Greif2017-02-201-1/+1
* Update levity polymorphismRichard Eisenberg2017-01-191-6/+9
* Add infix flag for class and data declarationsAlan Zimmerman2016-12-121-6/+3
* Add HsSyn prettyprinter testsAlan Zimmerman2016-12-071-3/+6
* Use TyVars in PatSynsSimon Peyton Jones2016-11-251-16/+11
* Take account of kinds in promoteTcTypeSimon Peyton Jones2016-10-241-1/+1
* Don't instantaite when typechecking a pattern synonymSimon Peyton Jones2016-10-241-1/+1
* A collection of type-inference refactorings.Simon Peyton Jones2016-10-211-9/+7
* Typos in commentsGabor Greif2016-10-171-1/+1
* Correct order of existentials in pattern synonymsSimon Peyton Jones2016-10-171-18/+17
* Remove uses of mkMatchGroupNameMatthew Pickering2016-09-111-1/+1
* Keep the bindings local during defaultCallStacksSimon Peyton Jones2016-08-171-1/+3
* Implement unboxed sum primitive typeÖmer Sinan Ağacan2016-07-211-0/+5
* s/Invisible/Inferred/g s/Visible/Required/gRichard Eisenberg2016-06-251-4/+4
* Fix #10963 and #11975 by adding new cmds to GHCi.Richard Eisenberg2016-06-231-1/+2
* Major patch to introduce TyConBinderSimon Peyton Jones2016-06-151-12/+10
* Re-add FunTy (big patch)Simon Peyton Jones2016-06-151-43/+31
* Improve typechecking of let-bindingsSimon Peyton Jones2016-06-131-186/+18
* Merge MatchFixity and HsMatchContextAlan Zimmerman2016-06-061-10/+16
* Don't split the arg types in a PatSyn signatureSimon Peyton Jones2016-05-241-78/+99
* Fix build by removing unused import.Matthew Pickering2016-05-231-1/+1
* Allow unlifted types in pattern synonym result typeMatthew Pickering2016-05-231-1/+3
* Kill varSetElems in tcInferPatSynDeclBartosz Nitka2016-05-161-16/+26
* Refactor RecordPatSynField, FieldLabelSimon Peyton Jones2016-04-281-16/+14
* Comments onlySimon Peyton Jones2016-04-281-0/+2
* Simplify defaultKindVar and friendsSimon Peyton Jones2016-04-221-2/+2
* Tighten up imports, white spaceSimon Peyton Jones2016-04-201-1/+2
* Refactor computing dependent type varsSimon Peyton Jones2016-04-191-13/+9
* Improve printing of pattern synonym typesRik Steenkamp2016-04-021-6/+15
View Lorry Controller Status