Caching converted tfp integers to speedup translation
[matthijs/master-project/cλash.git] / NormalizeTools.hs
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 KooijmanAdd predicates for testing representability of types.
2009-07-03 Matthijs KooijmanMerge git://github.com/darchon/clash into cλash
2009-07-03 Matthijs KooijmanPut a TypeState in TransformState.
2009-06-30 Christiaan BaaijUpdated all error messages to include modulename and...
2009-06-23 Christiaan BaaijMerge branch 'cλash' of git.stderr.nl/matthijs/projects...
2009-06-23 Matthijs KooijmanMake subeverywhere support NonRec Lets.
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 KooijmanMake subeverywhere support Cast expressions.
2009-06-23 Matthijs KooijmanMake subeverywhere complain for unknown expressions.
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-23 Christiaan BaaijMerge branch 'cλash' of git.stderr.nl/matthijs/projects...
2009-06-23 Matthijs KooijmanPerform subsititutions one after another.
2009-06-22 Christiaan BaaijAdded subtype declarations to TypeMap, removed SubtypeMap.
2009-06-22 Christiaan BaaijMerge branch 'cλash' of git.stderr.nl/matthijs/projects...
2009-06-21 Matthijs KooijmanAdd and use a mkFunction utility function.
2009-06-21 Matthijs KooijmanFix compile error three commits back.
2009-06-21 Matthijs KooijmanAdd functions for creating and referencing type variables.
2009-06-21 Matthijs KooijmanMake substitute work for type variables as well.
2009-06-21 Matthijs KooijmanChange the debug output of applyboth a bit.
2009-06-21 Matthijs KooijmanAdd cloneVar function to clone a Var.
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 inlinebind helper function.
2009-06-18 Matthijs KooijmanAdd a substitute helper function.
2009-06-18 Matthijs KooijmanPrint the type in the transform debug output.
2009-06-18 Matthijs KooijmanAdd infrastructure for running core to core transformat...