Bill Page <bill.p...@newsynthesis.org> writes: [...]
| Here is another example similar to yours except the dependency is only | on a value instead of a type. This compiles: (in OpenAxiom): Value dependency should a little bit easier to handle with the current technology in the compiler -- but it does require fixing a number of issues that would need to be fixed anway if we wanted to handle associated types. [...] | However I was unable to find a way to compile a domain using this | category. E.g. yes, there is a scoping issue that needs to be fixed. Thanks for the example. -- Gaby ------------------------------------------------------------------------------ Get a FREE DOWNLOAD! and learn more about uberSVN rich system, user administration capabilities and model configuration. Take the hassle out of deploying and managing Subversion and the tools developers use with it. http://p.sf.net/sfu/wandisco-d2d-2 _______________________________________________ open-axiom-devel mailing list open-axiom-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/open-axiom-devel
