View Switcher tool download

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

See the page examples to download the examples for this version.

New interface: generaliseArgIdentIn (useful in the example of scenario of evolution).
1 bug fix in the interfaces + 1 bug fix in HaRe.

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)

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.

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.

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	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.