Local variables aren't

[mbenke]

In the following code local variable start seems to be mixed up with lobal function start:

forall t . class t:Sub {
    function sub(l: t, r: t) -> t;
}

instance word:Sub {
    function sub(l: word, r: word) -> word {
        let rw : word;
        assembly {
            rw := sub(l,r);
        }
        return rw;
    }
}

function start() -> () {}

function g() -> word {
    let start : word = 0;
    return Sub.sub(9, start);
}

Types: word and t_start31 do not unify
 - in:Sub.sub(9, start)
 - in:function g () -> word {
   let start : word = 0 ;
   return Sub.sub(9, start);
}

[rodrigogribeiro]

Fixed by #255.