258 |
(y, DstIL.EINAPP(rator, args)) |
(y, DstIL.EINAPP(rator, args)) |
259 |
end |
end |
260 |
|
|
|
|
|
261 |
fun expandEinOp (env, y, rator, args) = let |
fun expandEinOp (env, y, rator, args) = let |
262 |
val einargs=Env.renameList(env, args) |
val einargs=Env.renameList(env, args) |
263 |
|
|
264 |
val g=print "\n -----------------------------------------------\n\n New One \n\n" |
val g=print "\n -----------------------------------------------\n\n New One \n\n" |
265 |
val a= print(String.concat["\n","previous ", split.printAA(y,rator,args),"\n now",split.printA (y,rator,einargs),"\n"]) |
val a= print(String.concat["\n previous Args ", split.printAA(y,rator,args),"\n new args \n ",split.printA (y,rator,einargs),"\n"]) |
266 |
|
|
267 |
val ((rator',args'),expcode)= Expand.expandEinOp(rator,args,einargs) |
val ((rator',args'),expcode)= Expand.expandEinOp(rator,args,einargs) |
268 |
|
|
269 |
val (change,newbie)=split.splitein(y,rator',args') |
val (change,newbie)=split.splitein(y,rator',args') |
270 |
|
|
271 |
|
|
272 |
in (case (change,newbie) |
in (case (change,newbie) |
273 |
of (0,[(_,e,a)]) => ( |
of (0,[(_,e,a)]) => ( |
274 |
print(String.concat["\n No Splits \n ",split.printA(y,e,a)]); |
print(String.concat["\n No Splits \n ",split.printA(y,e,a)]); |