Let exprToVar give a useful error message.
[matthijs/master-project/cλash.git] / Normalize.hs
2009-06-26 Matthijs KooijmanAdd function-typed argument extraction transform.
2009-06-26 Matthijs KooijmanRemove TODO that was already solved.
2009-06-23 Christiaan BaaijMerge branch 'cλash' of git.stderr.nl/matthijs/projects...
2009-06-23 Matthijs KooijmanMake appsimpl also simplify dataconstructors.
2009-06-23 Christiaan BaaijMerge branch 'cλash' of git.stderr.nl/matthijs/projects...
2009-06-23 Matthijs KooijmanMerge git://github.com/darchon/clash into cλash
2009-06-23 Matthijs KooijmanAdd Cast propagation transform.
2009-06-23 Matthijs KooijmanRemove a double line introduced a few commits back.
2009-06-23 Christiaan BaaijMerge branch 'cλash' of git.stderr.nl/matthijs/projects...
2009-06-23 Matthijs KooijmanDo not apply eta expansion to application arguments.
2009-06-22 Christiaan BaaijAdded subtype declarations to TypeMap, removed SubtypeMap.
2009-06-22 Matthijs KooijmanNever try to normalize global binders.
2009-06-22 Christiaan BaaijMerge branch 'cλash' of git.stderr.nl/matthijs/projects...
2009-06-21 Matthijs KooijmanActually use the introduced let from a few commits...
2009-06-21 Matthijs KooijmanError out when normalizing polymorphic functions.
2009-06-21 Matthijs KooijmanAdd an empty let before starting normalization.
2009-06-21 Matthijs KooijmanAdd and use a mkFunction utility function.
2009-06-21 Matthijs KooijmanMake beta reduction of Case expressions work for type...
2009-06-21 Matthijs KooijmanAdd function propagation transform.
2009-06-21 Matthijs KooijmanImprove debug output timing.
2009-06-21 Matthijs KooijmanDon't propagate types with free tyvars.
2009-06-21 Matthijs KooijmanLet inlinefun also apply polymorphic values.
2009-06-21 Matthijs KooijmanRemove two old debug traces.
2009-06-21 Matthijs KooijmanAdd type propagation transform.
2009-06-19 Matthijs KooijmanRecursively normalize binds.
2009-06-19 Christiaan BaaijMerge branch 'cλash' of git.stderr.nl/matthijs/projects...
2009-06-18 Matthijs KooijmanAdd a (fairly complete) set of transforms.
2009-06-18 Matthijs KooijmanAdd infrastructure for running core to core transformat...