Martin Rubey <[EMAIL PROTECTED]> writes:
> Dear Gaby, Waldek,
>
> I tried today to port from open-axiom the feature that allows an ordinary
> function to return a type, but failed. I.e.:
>
> ---
> )abbrev package EXPORT
Ralf Hemmecke <[EMAIL PROTECTED]> writes:
> > bottomUp t ==
> >-- bottomUp takes an attributed tree, and returns the modeSet for it.
> >-- As a side-effect it also evaluates the tree.
> > @@ -258,6 +263,11 @@
> > argModeSetList:= [bottomUp x for x in argl]
> >
> > ms :
> bottomUp t ==
>-- bottomUp takes an attributed tree, and returns the modeSet for it.
>-- As a side-effect it also evaluates the tree.
> @@ -258,6 +263,11 @@
> argModeSetList:= [bottomUp x for x in argl]
>
> ms := bottomUpForm(t,op,opName,argl,argModeSetList)
> +--
Dear Gaby, Waldek,
I tried today to port from open-axiom the feature that allows an ordinary
function to return a type, but failed. I.e.:
---
)abbrev package EXPORT ExportType
ExportType(x: Ring): with
baseRing: () -
