I got bored building the release candidate, so for fun i added
a new feature. This didn't turn out exactly as I expected.
The feature allows alternatives in requires clauses.
For example you can write:
fun f:int->int="f($1)"
requires a_h or b_h and c_h, d_h;
The comma is a low precedence 'and', so this means:
we need a_h OR b_h and c_h
AND we need d_h
like:
(a_h or (b_h and c_h)) and d_h
Note there is a BUG. At present, alternation short cuts:
it choses the first extant tag, whether or not the tag's
own dependencies are satisfiable.
This is not so easy to fix. Although one could use recursive
descent, this only provides local satisfiability.
--
John Skaller <skaller at users dot sf dot net>
Felix, successor to C++: http://felix.sf.net
Using Tomcat but need to do more? Need to support web services, security?
Get stuff done quickly with pre-integrated technology to make your job easier
Download IBM WebSphere Application Server v.1.0.1 based on Apache Geronimo
http://sel.as-us.falkag.net/sel?cmd=lnk&kid=120709&bid=263057&dat=121642
_______________________________________________
Felix-language mailing list
Felix-language@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/felix-language
