I think no. What would you expect this to mean? What is the notation 'x:Ring' in this context? What is the scope of 'x'?
On Fri, Aug 19, 2011 at 10:16 AM, Yrogirg <[email protected]> wrote: > And can a function return something like (x : Ring) as a result with > dependent types? For example > > f : Type == List (x : Ring) > > -- -- 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.
