Possible bug in interpreter?

[flix]

Possible bug in interpreter?

[mhyee]

I couldn't reproduce the bug.

I added the following lines to Parity.flix and ran the program:

    rel IsZero(local: Int, value: Bool)
    IsZero(1, true).
    IsZero(2, false).
    IsZero(3, isMaybeZero(Parity.Bot)).
    IsZero(4, isMaybeZero(Parity.Odd)).
    IsZero(5, isMaybeZero(Parity.Even)).
    IsZero(6, isMaybeZero(Parity.Top)).
    print IsZero.

Result matches expectations:

/ParityAnalysis::IsZero
+-------+-------+
| local | value |
+-------+-------+
| 1     | true  |
| 2     | false |
| 3     | false |
| 4     | false |
| 5     | true  |
| 6     | true  |
+-------+-------+

[magnus-madsen]

As it turns out Flix returned the correct answer, and I just mistakenly misread the program.