using System;

namespace NewLanguage
{
    public class TypeSpecNode : NodeBase
    {
        public SymbolNode Type;
        public ExprListNode Constraint;

        public TypeSpecNode(SymbolNode t) 
        {
            Type = t;
        }
        public TypeSpecNode(SymbolNode t, ExprListNode expr) 
        {
            Type = t;
            Constraint = expr;
        }

        public override string ToString() 
        {
            return String.Format("<typespec {0}, expr {1}>", Type, 
                                 Constraint == null ? "(none)" : Constraint.ToString() );
        }
    }
}