record.java

来自「tiger编译器的Java实现」· Java 代码 · 共 16 行

package Types;

public class RECORD extends Type {
   public Symbol.Symbol fieldName;
   public Type fieldType;
   public RECORD tail;
   public RECORD(Symbol.Symbol n, Type t, RECORD x) {
       fieldName=n; fieldType=t; tail=x;
   }
   public boolean coerceTo(Type t) {
	return this==t.actual();
   }
}