/**
* A pattern binding C x T1 ... Tn : U
* which is sugar for
* x : C T1 ... Tn : U.
* In turn, C T1 T2 ... Tn : U
* is sugar for
* val T1 : C T2 ... Tn : U.
* By default, the return type is ().
* For example:
*
* proc x (int) : int
is sugar for x : proc (int) : int
proc x(int) (int) : int
is sugar for x val (int) : proc (int) : int
proc if (bool) (proc ()) (proc ())
* is sugar for if : val (bool) : val (proc () : ()) : proc (proc () : ()) : ()
* @author Alan Jeffrey
* @version v1.0 1998/06/09
*/
public class PremonJJTPatBindFunCurried
extends PremonJJTPat
{
public PremonJJTPatBindFunCurried (int id) {
super (id);
}
public void print (Printer p) {
p.print (childCat (0));
p.printSpace ();
p.print (childId (1));
int i = 1;
while (i < children.length-2) {
p.printSpace ();
p.printB (childType (++i));
}
p.print (childType (children.length-1));
}
private PremonType desugarFrom (int i) {
if (i == children.length-2) {
return new PremonTypeFun
(
childCat (0).desugar (),
childType (i).desugar (),
childType (i+1).desugar ()
);
} else {
return new PremonTypeFun
(
PremonCat.val,
childType (i).desugar (),
desugarFrom (i+1)
);
}
}
public PremonPat desugar () {
return new PremonPatBind
(childId (1).desugarVar (desugarFrom (2)));
}
}