summaryrefslogtreecommitdiff
path: root/compiler/typecheck/TcPatSyn.hs
Commit message (Expand)AuthorAgeFilesLines
* 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
* Refactor error generation for pattern synonymsSimon Peyton Jones2016-03-311-7/+9
* Add `PatSynSigSkol` and modify `PatSynCtxt`Rik Steenkamp2016-03-241-3/+2
* Zonk before calling splitDepVarsOfType.Richard Eisenberg2016-03-211-4/+9
* Track specified/invisible more carefully.Richard Eisenberg2016-03-211-56/+84
* Refactoring around TcPatSyn.tcPatToExprSimon Peyton Jones2016-03-091-71/+102
* Fix kind generalisation for pattern synonymsSimon Peyton Jones2016-02-261-13/+22
* Improve pattern synonym error messages (add `PatSynOrigin`)Rik Steenkamp2016-02-251-3/+3
* Reconstruct record expression in bidir pattern synonymMatthew Pickering2016-02-251-5/+20
* Address #11471 by putting RuntimeRep in kinds.wip/runtime-repRichard Eisenberg2016-02-241-9/+9
* Fix typosRik Steenkamp2016-02-161-6/+6
* TcPatSyn: Fix spelling of "pattern" in error messageBen Gamari2016-02-091-1/+1
* Use a correct substitution in tcCheckPatSynDeclBartosz Nitka2016-02-021-1/+7
* Refactor the typechecker to use ExpTypes.Richard Eisenberg2016-01-271-12/+14
* s/unLifted/unlifted for consistencyÖmer Sinan Ağacan2016-01-271-1/+1
View Lorry Controller Status