Bill Page <[email protected]> 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 -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To post to this group, send email to [email protected]. To unsubscribe from this group, send email to [email protected]. For more options, visit this group at http://groups.google.com/group/fricas-devel?hl=en.
