Is the following construction even legal:
e:Error = {}
The ARM only lists the following valid constructions:
e:Error = { matching }
e:Error = { [matching] subst }
e:Error = { cond => matching }
e:Error = { cond => [matching] subst }
So, at least one filter element is required. COPPER also requires a
filter element.
A missing filter element could be interpreted as: <inner.*>
So:
e:Error = {}
Would be equal to:
e:Error = { <inner.*> }
What is the desired construction? At least one filter element or
syntactic sugar for <inner.*>?
ps, I'm not happy with the "e:Error = { matching }"
construction. Currently the matching (without any braches) expands to
signature matching. But I think it's a bit confusing.
-------------------------------------------------------------------------
This SF.net email is sponsored by: Microsoft
Defy all challenges. Microsoft(R) Visual Studio 2005.
http://clk.atdmt.com/MRT/go/vse0120000070mrt/direct/01/
_______________________________________________
Composestar-developers mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/composestar-developers
