match does not work with unary negation (from gforge #21764)
Imported issue: Initially reported by @chevilla in https://gforge.inria.fr/tracker/?group_id=1015&aid=21764
The following code leads to a syntax error. In contrast, if the line ""- a : { ... }"" is removed, it works.
my_export = proc(f) {
var a, b, res;
match f with
- a : { res = ""(-("" @ a @ ""))""; }
a : { res = ""ok""; };
return res;
};
my_export(exp(x));