Type error for cases with int literals on polymorphic types

[Matt Giuca]

If a switch is made on a type which is polymorphic, but instantiated as Int, Mars will give a bogus type error on a case with an int literal. This doesn't seem to happen for named-constructor patterns, only int literals.

eg:

def case_intlit(x :: Maybe(Int)) :: Int:
    switch x:
        case Just(1):
            return 2
        case Just(q):
            return q

(case_intlit) Type error in pattern 'Just(1)'
        Term: 1
        Type: Int
        Expected: a.

It looks like the type is being compared for a perfect match rather than being unified.

[Matt Giuca (mgiuca)]

Fixed in trunk r941.