test Rename To-External-Definition

aaa(s) = map(s)
refactor rename-refactoring(“filter”)
fails

amb(
[ [Refactor(“rename-refactoring”, Argument(“"filter"”), Fails())]
, [Refactor(“rename-refactoring”, Argument(“"filter"”), wildcard()), Fails()]
]
)

Submitted by Maartje on 3 August 2011 at 15:40

On 3 August 2011 at 15:40 Maartje tagged testing

On 4 August 2011 at 11:54 Maartje commented:

Ambiguity is solved now by choosing the wildcard + fail condition , but I would like to express the other branch

Refactor(“rename-refactoring”, Argument(“"filter"”), Fails())

What about this syntax to support both fails? [“to fails” instead of “fails” for the result of the refactoring/builder]

test Rename To-External-Definition

aaa(s) = map(s)
refactor rename-refactoring(“filter”) to fails
fails


On 4 August 2011 at 12:42 Maartje closed this issue.

On 4 August 2011 at 12:42 Maartje commented:

fixed. Refactor(“rename-refactoring”, Argument(“"filter"”), Fails()) is now preferred.


On 9 September 2011 at 09:46 Lennart Kats tagged @maartje

On 9 September 2011 at 09:46 Lennart Kats tagged 1.0

Log in to post comments