Moved to new GHC API (6.11). Also use vhdl package for the VHDL AST
[matthijs/master-project/cλash.git] / Normalize.hs
2009-07-15 Christiaan BaaijMoved to new GHC API (6.11). Also use vhdl package...
2009-07-14 Matthijs KooijmanDon't create selector cases for unused binders.
2009-07-13 Christiaan BaaijMerge branch 'cλash' of git.stderr.nl/matthijs/projects...
2009-07-13 Matthijs KooijmanUse is_local_var for limiting appsimpl and letsimpl.
2009-07-13 Matthijs KooijmanNormalize all used global binders.
2009-07-11 Christiaan BaaijGreat speed-up in type generation
2009-07-09 Christiaan BaaijCorrectly handle negate for unsigned integers
2009-07-03 Christiaan BaaijMerge branch 'cλash' of git.stderr.nl/matthijs/projects...
2009-07-03 Matthijs KooijmanLet inlinefun inline everything non-representable.
2009-07-03 Matthijs KooijmanUnify typeprop and funprop into argprop.
2009-07-03 Matthijs KooijmanExtract only representable arguments.
2009-07-03 Matthijs KooijmanMerge git://github.com/darchon/clash into cλash
2009-07-03 Matthijs KooijmanStop extracting dataconstructor arguments.
2009-07-02 Matthijs KooijmanMerge git://github.com/darchon/clash into cλash
2009-07-01 Matthijs KooijmanAdd TODO regarding removal of is_wild.
2009-06-30 Christiaan BaaijUpdated all error messages to include modulename and...
2009-06-29 Christiaan BaaijMerge branch 'cλash' of git.stderr.nl/matthijs/projects...
2009-06-29 Matthijs KooijmanMerge git://github.com/darchon/clash into cλash
2009-06-29 Matthijs KooijmanAllow arguments to builtins to be applications.
2009-06-26 Christiaan BaaijMerge branch 'cλash' of git.stderr.nl/matthijs/projects...
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...