Typing.java

/*
 * Vitry, copyright (C) Hans Hoglund 2011
 * 
 * This program is free software: you can redistribute it and/or modify
 * it under the terms of the GNU General Public License as published by
 * the Free Software Foundation, either version 3 of the License, or
 * at your option) any later version.
 * 
 * This program is distributed in the hope that it will be useful,
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 * GNU General Public License for more details.
 * 
 * You should have received a copy of the GNU General Public License
 * along with this program.  If not, see <http://www.gnu.org/licenses/>.
 *
 * See COPYING.txt for details.
 */
package vitry.runtime;

import vitry.runtime.struct.Seq;


/**
 * Implements type inference.
 * 
 * Based on <em>Basic Polymorphic Typechecking</em> by Luca Cardelli
 */
public class Typing
{
    public TypeExpr prune(TypeExpr t)
    {
        // TODO
        return null;
    }
}


interface TypeExpr
{

}


/**
 * A mutable reference to domain and range of a function.
 */
interface TypableFunction
{

    Pattern getDomain();

    Seq<Pattern> getRange();

    void setDomain(Pattern domain);

    void setRange(Seq<Pattern> range);

}


class TypeVar extends BasePattern implements TypeExpr
{
    public boolean eqFor(Pattern o)
    {
        return false;
    }

    public boolean matchFor(Pattern p)
    {
        // TODO if type checking is finished, throw exception
        // TypeVars should be initiated/removed before runtime
        return false;
    }
}