Anonymous
public text v1 · immutableval hoistings = Pfun (-,[],-,Cprod [Cexn,Cprod []], Eproj (-,Vvar -,0, Eproj (-,Vvar -,1,Eprim (-,Print,[Vstring "Uncaught exception.\n"],Ehalt))), Pfun (-,[],-,Cprod [Ctag (Cprod []),Cprod []], Eproj (-,Vvar -,0, Eproj (-,Vvar -,1, Elet (-, Vpack (Cprod [],Vtuple [Vvar -,Vtuple []], Cexists (-,Ktype,Cprod [Cnot (Cprod [Cprod [],Cvar -]),Cvar -])), Eunpack (-,-,Vvar -, Eproj (-,Vvar -,0, Eproj (-,Vvar -,1,Eapp (Vvar -,Vtuple [Vtuple [],Vvar -]))))))), Pfun (-,[],-,Cprod [Cprod [],Cprod []], Eproj (-,Vvar -,0, Eproj (-,Vvar -,1, Eunpack (-,-, Vpack (Cprod [],Vtuple [Vvar -,Vtuple []], Cexists (-,Ktype, Cprod [Cnot (Cprod [Cprod [Cprod []],Cvar -]),Cvar -])), Eproj (-,Vvar -,0, Eproj (-,Vvar -,1, Eapp (Vvar -,Vtuple [Vtuple [Vvar -],Vvar -])))))), Pfun (-,[],-,Cprod [Cprod [Cprod []],Cprod []], Eproj (-,Vvar -,0,Eproj (-,Vvar -,1,Ehalt)), Pbody (Elet (-, Vpack (Cprod [],Vtuple [Vvar -,Vtuple []], Cexists (-,Ktype,Cprod [Cnot (Cprod [Cexn,Cvar -]),Cvar -])), Elet (-, Vpack (Cprod [],Vtuple [Vvar -,Vtuple []], Cexists (-,Ktype, Cprod [Cnot (Cprod [Ctag (Cprod []),Cvar -]),Cvar -])), Enewtag (-,Cprod [], Eunpack (-,-,Vvar -, Eproj (-,Vvar -,0, Eproj (-,Vvar -,1, Eapp (Vvar -,Vtuple [Vvar -,Vvar -])))))))))))) : ILHoist.program