Home
Members
Publications
Projects/Collab.
Software
Events
Open Positions
Contact
News
 |
 |
 |
Table of Contents
Go to : Tool Homepage - User Guide - Examples
View Switcher tool download
Version 0.3
Main changes since v0.2b:
- New chains of operations to make frequent transformations.
- Additional chains of operations to apply a same refactoring operation to several targets (as introduced in v0.2).
- Additional interfaces for HaRe operations.
- Some operations take less arguments (the removed arguments are now inferred)
| Version | Date | Whole source package | HaRe bug fixes only |
|---|---|---|---|
| Version 0.3c | 23 Aug. 2011 | transfo_all_0.3c.tgz | patches_0.3c.tgz |
| Version 0.3b | 20 Apr. 2011 | transfo_all_0.3b.tgz | patches_0.3b.tgz |
| Version 0.3a | 15 Apr. 2011 | transfo_all_0.3a.tgz | patches_0.3rc1.tgz |
Examples
See the page examples to download the examples for this version.
Changes
v0.3b -> v0.3c
- Partial coverage of Do expressions.
- 1 bug fix in HaRe.
v0.3a -> v0.3b
- New interface: generaliseArgIdentIn (useful in the example of scenario of evolution).
- 1 bug fix in the interfaces + 1 bug fix in HaRe.
v02.b -> v0.3a
- New chains of operations to make frequent transformations:
- forgetTopLevel, forgetTopLevelPrefixed,forgetIn, forgetTopLevelIdentWithOccurenceIn, forgetAllTopLevelIdentWithOccurenceIn;
- repeatSimplifyCasePatternIn.
- Additional chains of operations to apply a same refactoring operation to several targets (as introduced in v0.2):
- renameAllIdentsIn2,
- allUnfoldIn, unfoldAll,
- generaliseAllIdentTopLevel,
- moveAllDefsOnSuffix,
- generativeFoldAllIdentsAppIn.
- Additional interfaces for HaRe operations: demoteTopLevel, demoteIn.
- new bug fixes in the tool and in HaRe (in lifting defs, demoting defs, moving defs, case simplifications).
- Some operations take less arguments (the removed arguments are now inferred): newDefAllEqBodiesIn.
- newDefIndentApp has 2 new interfaces (newDefIndentApp with one less argument compared to the one in version 0.2b and newDefIndentAppN for the old interface).
- New refactoring operation:
- addImplicitImport (not validated yet)
Version 0.2
Main changes since v0.1c :
- Operations have been renamed in order to reflect better their semantics.
- Chains of operations have been added in order to make the transformation scripts shorter and of higher-level.
| Version | Date | Whole source package | HaRe patches only |
|---|---|---|---|
| Version 0.2b | 21 Mar 2011 | transfo_all_0.2b.tgz | (see version 0.1) |
| Version 0.2a | 17 Mar 2011 | transfo_all_0.6-0.2a.tgz |
Don't forget to download separately the Haskell Refactorer source code, for instance from http://www.cs.kent.ac.uk/projects/refactor-fp/hare.html.
Examples
| Version | Title | Source Code | Changes |
|---|---|---|---|
| 0.2b | Expression Problem | expression_problem_0.2b.tgz | Redundant iterators are removed. |
| 0.2a | Expression Problem | expression_problem_0.6-0.2a.tgz | New, shorter script using 0.2 chains of operations. |
| 0.2a | Lambda Cube | lambdacube_0.6-0.2a.tgz | Same script as in 0.1 with all operations renamed. |
| 0.2a | Kwic | kwic_0.6-0.2a.tgz | Same script as in 0.1 with all operations renamed. |
Changes
v02.a -> v0.2b
- New refactoring operation : replaceIdentIn.
- Operation simplifyCase (Replace in the IDE).
v0.1c -> v0.2a
- Most operations have been renamed in order to reflect better their semantics. Moreover, the old operation “generalise” has been split into two separate operations, following the two usages related to the argument RecType/OtherType.
- Interfaces to HaRe operations added :
- liftOneLevelIn and
- generaliseIdentAppIn.
- Operations for chaining several calls to an elementary operation :
- newDefAllEqBodiesIn,
- generaliseAllRecAppToPatternVariablesInAllLocalDefsIn,
- generaliseIdentInAllLocalDefsIn,
- generaliseAllPatternVariablesInAllLocalDefsIn,
- liftAllLocalDefsToTopLevelIn,
- moveAllDefsToConstructorModulesFollowingPatternMatching,
- renameAllIdentsIn.
Version 0.1
| Version | Date | Whole source package | HaRe patches only | Examples |
|---|---|---|---|---|
| Version 0.1a for HaRe 0.6 | 24 Jan 2011 | transfo_all_0.6-0.1.tar.gz | patches_0.6-0.1.tar.gz | expression_problem.tar.gz |
| Version 0.1b for HaRe 0.6 | 28 Jan 2011 | transfo_all_0.6-0.1b.tar.gz | patches_0.6-0.1b.tar.gz | expression_problem_0.6-0.1b.tar.gz-(updated) kwic_0.6-0.1b.tar.gz-(new) lambdacube_0.6-0.1b.tgz-(new) |
| Version 0.1c for HaRe 0.6 | 10 Feb 2011 | transfo_all_0.6-0.1c.tgz | patches_0.6-0.1c.tgz | expression_problem_0.6-0.1c.tgz-(updated) kwic_0.6-0.1c.tgz-(updated) lambdacube_0.6-0.1b.tgz |
Don't forget to download separately the Haskell Refactorer source code, for instance from http://www.cs.kent.ac.uk/projects/refactor-fp/hare.html.