atom: Constructor symbol varset is not converted to local space

[Matt Giuca]

In the atom branch, the typedict module needs the type of constructor symbols, but it doesn't port the varset over to local space. That means this program crashes:

def cons(y :: a, xs :: List(a)) :: List(a):
    return Cons(y, xs)

def foo(one :: a, two :: b) :: List(b):
    return cons(two, Nil)

The call to cons passes a variable two of type b, and a variable Nil of type List(a). The problem is that they are in different namespaces: the List(a) from Nil is supposed to be converted to a List(b) in the local function. Instead, this raises a unification error ("augment_globalref: Type '(a, List(a)) -> List(a)' did not unify with '(b, List(a)) -> List(b)'.")

[Matt Giuca (mgiuca)]

Fixed in atom branch, r1273.