Re: [open-axiom-devel] What can be done with types as first-class objects?

[Gabriel D. R. <gd...@cs...>]

Bill Page <bil...@ne...> 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