Can't fix "cannot be translated into a form accepted by the constraint solver" error on sort application of gfarray

Google Group
1

Here is a version that works:

https://github.com/githwxi/ATS-Postiats-test/blob/master/core/MISC/test07.datsOn Wednesday, August 19, 2015 at 10:24:18 AM UTC-4, Kiwamu Okabe wrote:

Hi all,

I’m trying to write sort application of gfarray for my exercise.

https://github.com/jats-ug/practice-ats/blob/9eaa62ec71bff26396a22d205e63d1a425f56f47/gfarray_mergesort/main.dats

But the “gfarray_mergesort” function has following error:

/home/kiwamu/src/practice-ats/gfarray_mergesort/main.dats:
2081(line=75, offs=25) – 2090(line=75, offs=34): warning(3): the
constraint [S2Eeqeq(S2Evar(xs2$7477$7478$7479(13377)); S2Evar(xs1$7465$7467$7469(13367)))] cannot be translated into a form
accepted by the constraint solver.
/home/kiwamu/src/practice-ats/gfarray_mergesort/main.dats:
2081(line=75, offs=25) – 2090(line=75, offs=34): error(3): unsolved
constraint: C3NSTRprop(C3TKmain();
S2Eeqeq(S2Evar(xs2$7477$7478$7479(13377));
S2Evar(xs1$7465$7467$7469(13367))))

I think the code does not xs2 = xs1…
How to fix it?

Thank’s,

Kiwamu Okabe at METASEPI DESIGN