summaryrefslogtreecommitdiff
path: root/compiler/deSugar
Commit message (Expand)AuthorAgeFilesLines
* Never generate a `tyvar <~ sigma` constraintAlejandro Serrano2015-08-011-7/+8
* Leave RULEs checking as before impredicativityAlejandro Serrano2015-07-301-8/+0
* Introduce InstanceOfRefl evidence to match descriptionAlejandro Serrano2015-07-291-0/+2
* Fix problem in RULES simplificationAlejandro Serrano2015-07-291-0/+8
* Merge remote-tracking branch 'origin/master' into wip/impredicativityAlejandro Serrano2015-07-273-12/+48
|\
| * Switch from recording IsBootInterface to recording full HscSource.Edward Z. Yang2015-07-221-1/+1
| * Revert "Revert "Support for multiple signature files in scope.""Edward Z. Yang2015-07-201-1/+1
| * Do not treat prim and javascript imports as C imports in TH and QQLuite Stegeman2015-07-201-3/+5
| * Support wild cards in TH splicesThomas Winant2015-07-201-7/+28
| * Handle Char#, Addr# in TH quasiquoter (fixes #10620)RyanGlScott2015-07-171-0/+13
* | Various fixes to RULES type checkingAlejandro Serrano2015-07-241-3/+0
* | Merge remote-tracking branch 'origin/master' into wip/impredicativityAlejandro Serrano2015-07-164-24/+32
|\ \ | |/
| * Deferred type errors now throw TypeError (#10284)David Kraeutmann2015-07-071-1/+1
| * Treat out-of-scope variables as holesSimon Peyton Jones2015-06-262-12/+10
| * Change `Typeable` instance for type-lis to use the Known* classes.Iavor S. Diatchki2015-06-211-9/+16
| * Filter orphan rules based on imports, fixes #10294 and #10420.Edward Z. Yang2015-06-202-2/+4
* | Rename InstanceOf to (<=) and implement it as a newtypeAlejandro Serrano2015-07-101-28/+33
* | Remove isInstantiationFn from IdInfoAlejandro Serrano2015-07-091-5/+2
* | Merge remote-tracking branch 'origin/wip/impredicativity' into wip/impredicat...Alejandro Serrano2015-07-091-6/+3
|\ \
| * | Refactoring from Simon and DimitriosSimon Peyton Jones2015-07-081-6/+3
* | | Keep working on RULES simplificationAlejandro Serrano2015-07-081-10/+11
|/ /
* | Fix problem with RULES desugaringAlejandro Serrano2015-07-031-4/+7
* | Fix bugs in expression optimizationAlejandro Serrano2015-07-031-30/+36
* | Small optimizations to desugaring of InstanceOf constraintsAlejandro Serrano2015-07-011-4/+22
* | Fix wrong canonicalization of InstanceOf constraintsAlejandro Serrano2015-06-251-2/+1
* | Implement third rule of InstanceOf canonAlejandro Serrano2015-06-251-0/+5
* | Fix problems with the let/app invariant and InstanceOf constraints.Alejandro Serrano2015-06-241-5/+5
* | Fix missing conversion to repr. equality in InstanceOfAlejandro Serrano2015-06-231-2/+2
* | Fix small glitch choosing wrong cast in CoreAlejandro Serrano2015-06-191-2/+2
* | Switch the order of arguments in InstanceOfAlejandro Serrano2015-06-191-2/+2
* | Implement desugaring of InstanceOf constraintsAlejandro Serrano2015-06-191-0/+18
|/
* Revert "Support for multiple signature files in scope."Edward Z. Yang2015-06-111-1/+1
* Refactor wild card renamingThomas Winant2015-06-091-1/+6
* Refactor RdrName.Provenance, to fix #7672Simon Peyton Jones2015-06-031-1/+1
* ApiAnnotations : strings in warnings do not return SourceTextAlan Zimmerman2015-06-015-14/+22
* Reduce magic for seqIdSimon Peyton Jones2015-05-221-6/+0
* Refactor tuple constraintsSimon Peyton Jones2015-05-187-869/+15
* Revert multiple commitsAustin Seipp2015-05-147-15/+869
* Refactor tuple constraintsSimon Peyton Jones2015-05-137-869/+15
* Fix safe haskell bug: instances in safe-inferredDavid Terei2015-05-111-2/+2
* Support stage 1 Template Haskell (non-quasi) quotes, fixes #10382.Edward Z. Yang2015-05-111-8/+0
* Revert stage 1 template-haskell. This is a combination of 5 commits.Edward Z. Yang2015-05-091-0/+8
* Support stage 1 Template Haskell (non-quasi) quotes, fixes #10382.Edward Z. Yang2015-05-091-8/+0
* Revert "API Annotations : add Locations in hsSyn were layout occurs"Austin Seipp2015-05-067-85/+78
* API Annotations : add Locations in hsSyn were layout occursAlan Zimmerman2015-05-067-78/+85
* Permit empty closed type familiesAdam Gundry2015-05-041-6/+8
* Refactor TyCon to eliminate TupleTyConSimon Peyton Jones2015-05-011-1/+2
* Fix superclass generation in an instanceSimon Peyton Jones2015-04-221-3/+4
* Fixes (hopefully!) T9858Iavor S. Diatchki2015-04-161-1/+5
* Typos in error messages and in commentsGabor Greif2015-04-101-1/+1
View Lorry Controller Status