Exemple #1
0
func (ni NodeInt) NodeUnify(t typ.Type, env typ.Env) error {
	return t.Unify(typ.Int)
}
Exemple #2
0
func (ns NodeString) NodeUnify(t typ.Type, env typ.Env) error {
	return t.Unify(typ.String)
}
Exemple #3
0
func (nb NodeBool) NodeUnify(t typ.Type, env typ.Env) error {
	return t.Unify(typ.Bool)
}
Exemple #4
0
func (ns NodeSymbol) NodeUnify(t typ.Type, env typ.Env) error {
	return t.Unify(typ.Symbol)
}