public override object Visit(AST.Definition node, object obj)
        {
            if (!(node.TypeExpr is TypeVariable))
            {
                return(base.Visit(node, obj));
            }

            this.setVarDynamism(node);

            return(base.Visit(node, obj));
        }
Example #2
0
        public override object Visit(AST.Definition node, object obj)
        {
            if (node.IdentifierExp.IndexOfSSA != 0)
            {
                return(null);
            }

            if (node.TypeExpr is TypeVariable)
            {
                SourceHelper.DeclareExplicit(node, false);
            }

            return(null);
        }