Simon Peyton-Jones wrote:
| I noticed that the typechecker and desugarer try to do some minor
| optimizations here and there. The handling of overloaded literals
| recently caught my attention (see shortCutIntLit in typecheck/Inst and
| tidyNPat in deSugar/MatchLit).
|
| Are these just there as a
| I noticed that the typechecker and desugarer try to do some minor
| optimizations here and there. The handling of overloaded literals
| recently caught my attention (see shortCutIntLit in typecheck/Inst and
| tidyNPat in deSugar/MatchLit).
|
| Are these just there as a hangover from before the si
I noticed that the typechecker and desugarer try to do some minor
optimizations here and there. The handling of overloaded literals
recently caught my attention (see shortCutIntLit in typecheck/Inst and
tidyNPat in deSugar/MatchLit).
Are these just there as a hangover from before the simplifier w
