Ralf Hemmecke wrote:
>
> Aldor compilation fails currently (see below).
>
> We have
>
> FunctionSpace(R : Comparable) : Category == Definition where
>
> but
>
> RootFSSplit(R, F) : Exports == Implementation where
> R : Join(IntegralDomain, RetractableTo Integer)
> F : FunctionSpace(R)
>
> so it should actually be
>
> R : Join(IntegralDomain, RetractableTo Integer, Comparable)
>
> The bug was introduced in
>
> commit cd320579a6aa0aab189ef56535b6503e8460488a
> Author: Waldek Hebisch <[email protected]>
> Date: Thu Nov 27 05:19:01 2014 +0000
>
> Rework extended integration
>
>
> git-svn-id:
> https://fricas.svn.sourceforge.net/svnroot/fricas/trunk@1829
> b0c55286-4f34-0410-a049-a1e7e93b0762
>
>
> Patch attached.
OK, please commit.
--
Waldek Hebisch
[email protected]
--
You received this message because you are subscribed to the Google Groups
"FriCAS - computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/fricas-devel.
For more options, visit https://groups.google.com/d/optout.
