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

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

Public Member Functions
String	toString ()

Package Functions
	Let (String arg0, Syntax def, Syntax body)

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

Package Attributes
final String	_arg0

final Syntax	_body

final Syntax	_def

Detailed Description

Definition at line 119 of file HM1.java.

Constructor & Destructor Documentation

◆ Let()

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

package

Definition at line 122 of file HM1.java.

122 { _arg0=arg0; _def=def; _body=body; }

References com.cliffc.aa.HM.HM1.Let._arg0, com.cliffc.aa.HM.HM1.Let._body, and com.cliffc.aa.HM.HM1.Let._def.

Member Function Documentation

◆ hm()

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

package

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

Definition at line 124 of file HM1.java.

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