Command disabled: index

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.

internet/view_switcher/download.txt · Last modified: 2011/08/23 13:19 by cohen-j