Int(i) -> Int( s)
where i

Int(<is-int; ?i>) -> Int(<int-to-string> s)

Int(i@int) -> Int(<int-to-string> s)

However, int is probably not a good syntax.

Submitted on 29 April 2004 at 13:55

On 5 October 2004 at 12:59 Jira commented:

STR-74, martin:
First step might be sugar. If the core language supports it, then this common kind of check might be optimized.


On 16 April 2008 at 10:54 Jira commented:

STR-74, pierron:
The following syntax is currently working in Stratego:
Int(i@) -> Int( s)

instead of
Int(i@int) -> Int( s)

the only side effect is that the current term is changing.


On 9 January 2013 at 16:55 Eelco Visser removed tag 0.22

On 9 January 2013 at 16:55 Eelco Visser tagged interesting

Log in to post comments