I tried this patch, it works.
(BTW, there are other minor issues when building FriCAS in mingw.
We can do this release without fixing them, I'll try to fix them
in next release.)
On 1/30/19 10:17 PM, Waldek Hebisch wrote:
> We discussed here that out of the box FriCAS build fails no
> newest MinG
On Wed, Jan 30, 2019 at 5:58 AM oldk1331 wrote:
>
> On 1/30/19 5:13 PM, Ralf Hemmecke wrote:
> ...
> > In fact, it keeps confusing me.
> >
> > In Aldor, if write something like
> >
> > foo: % == [1, empty()]
> > bar(): % == [1, empty()]
> >
> > then in the use of bar() I would expect a new all
We discussed here that out of the box FriCAS build fails no
newest MinGW due to 'mkdir'. Attached is patch that tries to
fix this.
If I get confirmation (say to Friday) that the patch helps I
will include it in the new release. Othewise I will release
without it.
--
On 1/30/19 5:13 PM, Ralf Hemmecke wrote:
> On 1/30/19 2:36 AM, oldk1331 wrote:
>> Yes, this is a bug introduced during my cleanup of Factored domain.
>
> Thanks for fixing it so quickly.
>
>> Now to think about it, if we really want to avoid extra allocation,
>> a better approach is to use local va
On 1/30/19 2:36 AM, oldk1331 wrote:
> Yes, this is a bug introduced during my cleanup of Factored domain.
Thanks for fixing it so quickly.
> Now to think about it, if we really want to avoid extra allocation,
> a better approach is to use local variable:
>
> __one := [1, empty()]
> 1 ==
