overloading priority

[Stepan Koltsov]

Hi.

While trying to reproduce https://github.com/jckarter/clay/pull/310 , I've found very interesting issue:

```
import vectors.*;
import printer.*;

main() {
    var v = Vector[Int]();
    push(v, 1);
    clear(v);
    println(v == Vector[Int]());
}
```

This code prints false. For reason I don't understand, 'equals?' from records is called instead of equals? from core.operators. How to fix that?

--
Stepan Koltsov

[Joe Groff]

Overloads are matched in reverse load order, so if core.records is
loaded after core.operators, its overloads will have priority.

-Joe

[Stepan Koltsov]

So proper solution would be adding core.sequences, moving Sequence-related functions to core.sequences and importing core.sequences after core.records?

--
Stepan Koltsov

[Joe Groff]

On Mon, Aug 6, 2012 at 1:40 PM, Stepan Koltsov <stepan....@gmail.com> wrote:
>
> So proper solution would be adding core.sequences, moving Sequence-related
> functions to core.sequences and importing core.sequences after core.records?
>

That sounds like it should work.

-Joe

[Stepan Koltsov]

I'll do it.

--
Stepan Koltsov

[Stepan Koltsov]

OK, I give up. I don't understand how it works enough to fix the issue. Somebody else please fix it.

Test case for the issue:

```
record MySequenceForPrecedence (
    i: Int,
);
   
record MyIteratorForPrecedence();

overload iterator(seq: MySequenceForPrecedence) = MyIteratorForPrecedence();

overload nextValue(iter: MyIteratorForPrecedence) = nothing(Int);

testSequenceEqualsHigherThatRecordPrecedence(test) {
    // if 'equal?' from records has higher precedence, this test fails
    expectEqual(test, "==", MySequenceForPrecedence(1), MySequenceForPrecedence(2));
}
```

--
Stepa

[Joe Groff]

I've pushed a patch that makes your test case pass. Let me know if you
find any more problems.

-Joe