Inheritance diagram for com.cliffc.aa.HM.HM1.Lambda:

Collaboration diagram for com.cliffc.aa.HM.HM1.Lambda:

Public Member Functions
String	toString ()

Package Functions
	Lambda (String arg0, Syntax body)

HMType	hm (HashMap< String, HMType > env, HashSet< HMVar > nongen)

Package Attributes
final String	_arg0

final Syntax	_body

Detailed Description

Definition at line 80 of file HM1.java.

Constructor & Destructor Documentation

◆ Lambda()

com.cliffc.aa.HM.HM1.Lambda.Lambda	(	String	arg0,
		Syntax	body
	)

package

Definition at line 83 of file HM1.java.

83 { _arg0=arg0; _body=body; }

References com.cliffc.aa.HM.HM1.Lambda._arg0, and com.cliffc.aa.HM.HM1.Lambda._body.

Member Function Documentation

◆ hm()

HMType com.cliffc.aa.HM.HM1.Lambda.hm	(	HashMap< String, HMType >	env,
		HashSet< HMVar >	nongen
	)

package

Reimplemented from com.cliffc.aa.HM.HM1.Syntax.

Definition at line 85 of file HM1.java.

                                                                            {
       HMVar tnew = new HMVar();
       // Push _arg0->tnew into env & nongen, popping them off after doing body
       env.put(_arg0,tnew);
       nongen.add(tnew);
       HMType trez = _body.hm(env,nongen);
       nongen.remove(tnew);
       env.remove(_arg0);
       return Oper.fun(tnew,trez);
     }