Am 06.02.2013 13:56, schrieb Timon Gehr:
On 02/06/2013 08:57 AM, Jacob Carlborg wrote:
On 2013-02-05 12:12, Timon Gehr wrote:
Eg:
if ast == <[2*x]>, then the result will be <[x+x]>
if ast == <[y+2]>, then the result will be <[2+y]>
How does the matching syntax work, like regular expression?
Just like pattern matching usually works. '?a' identifiers are matched
to subterms. (This is necessary because 'a' will match a symbol.)
i think regex (which are by design not nested-able) aren't enough for
AST handling - because there is much nesting in ASTs
