Nested pattern with two fields raises interpreter error

[Matt Giuca]

The following code raises an interpreter error on call to nestpattern(Box(1,2)):
"Field reference to something not an ADT"

type Box(a):
    Box(a)

type Pair(a, b):
    Pair(a, b)

def nestpattern(x :: Box(Pair(a, b))) :: Int:
    switch x:
        case Box(Pair(a, b)):
            return 0

The generated assembly code is:
        $T:0 = x.Box(0)
        $T:0 = $T:0.Pair(0)
        $T:0:1 = $T:0.Pair(1) # Error occurs on this line

Clearly the assembly code is invalid -- $T:0 is re-assigned even though it is still in use.

[Matt Giuca (mgiuca)]

Added test case compiler/nestpattern.

[Matt Giuca (mgiuca)]

Fixed in trunk r1013.