some runtime functions

Author: CAG2Mark

hkmc2/shared/src/test/mlscript/HkScratch.mls

@@ -9,4 +9,120 @@
 :todo
 
 
+:effectHandlers
+:sjs
+fun f(x) = f(x) - 1
+//│ Elab: ( ‹› fun member:f‹689›(Param(‹›,x‹691›,None), ) = builtin:-‹16›#0(member:f‹689›#666(x‹691›#666), 1); )
+//│ JS (unsanitized):
+//│ let f;
+//│ f = function f(x) {
+//│   let tmp, Cont$func$f$1;
+//│   Cont$func$f$1 = function Cont$func$f$(pc1) {
+//│     return new Cont$func$f$.class(pc1);
+//│   };
+//│   Cont$func$f$1.class = class Cont$func$f$ extends runtime.FunctionContFrame.class {
+//│     constructor(pc) {
+//│       let tmp1;
+//│       tmp1 = super(null);
+//│       this.pc = pc;
+//│     }
+//│     resume(value$) {
+//│       if (this.pc === 0) {
+//│         tmp = value$;
+//│       }
+//│       contLoop: while (true) {
+//│         if (this.pc === 1) {
+//│           tmp = f(x);
+//│           if (tmp instanceof runtime.EffectSig.class) {
+//│             this.pc = 0;
+//│             tmp.contTrace.last.next = this;
+//│             tmp.contTrace.last = this;
+//│             return tmp
+//│           }
+//│           this.pc = 0;
+//│           continue contLoop;
+//│         } else if (this.pc === 0) {
+//│           return tmp - 1
+//│         }
+//│         break;
+//│       }
+//│     }
+//│     toString() { return "Cont$func$f$(" + globalThis.Predef.render(this.pc) + ")"; }
+//│   };
+//│   tmp = f(x);
+//│   if (tmp instanceof runtime.EffectSig.class) {
+//│     tmp.contTrace.last.next = new Cont$func$f$1.class(0);
+//│     tmp.contTrace.last = tmp.contTrace.last.next;
+//│     return tmp
+//│   }
+//│   return tmp - 1
+//│ };
 
+:effectHandlers
+:sjs
+handle h = Object with
+  fun test(x)(r) = x
+h.test(2)
+//│ Elab: ( handle h‹748› = Ref(member:Object‹61›)() List(HandlerTermDefinition(r‹755›,TermDefinition(Some(class:Handler$h$‹749›),Fun,member:test‹752›,List(ParamList(‹›,List(Param(‹›,x‹754›,None)),None)),None,None,Some(Ref(x‹754›)),‹result of member:test‹752››‹756›,‹›,List()))) in App(Sel(Ref(h‹748›),Ident(test)),Tup(List(Fld(‹›,Lit(IntLit(2)),None)))) )
+//│ JS (unsanitized):
+//│ let tmp, handleBlock$;
+//│ handleBlock$ = function handleBlock$() {
+//│   let h, res, Cont$handleBlock$h$1, Handler$h$1;
+//│   Handler$h$1 = class Handler$h$ extends globalThis.Object {
+//│     constructor() {
+//│       let tmp1;
+//│       tmp1 = super();
+//│     }
+//│     test(x) {
+//│       return runtime.mkEffect(this, (r) => {
+//│         return x
+//│       })
+//│     }
+//│     toString() { return "Handler$h$"; }
+//│   };
+//│   h = new Handler$h$1();
+//│   Cont$handleBlock$h$1 = function Cont$handleBlock$h$(pc1) {
+//│     return new Cont$handleBlock$h$.class(pc1);
+//│   };
+//│   Cont$handleBlock$h$1.class = class Cont$handleBlock$h$ extends runtime.FunctionContFrame.class {
+//│     constructor(pc) {
+//│       let tmp1;
+//│       tmp1 = super(null);
+//│       this.pc = pc;
+//│     }
+//│     resume(value$) {
+//│       if (this.pc === 0) {
+//│         res = value$;
+//│       }
+//│       contLoop: while (true) {
+//│         if (this.pc === 1) {
+//│           res = runtime.safeCall(h.test(2));
+//│           if (res instanceof runtime.EffectSig.class) {
+//│             this.pc = 0;
+//│             res.contTrace.last.next = this;
+//│             res.contTrace.last = this;
+//│             return res
+//│           }
+//│           this.pc = 0;
+//│           continue contLoop;
+//│         } else if (this.pc === 0) {
+//│           return res
+//│         }
+//│         break;
+//│       }
+//│     }
+//│     toString() { return "Cont$handleBlock$h$(" + globalThis.Predef.render(this.pc) + ")"; }
+//│   };
+//│   res = runtime.safeCall(h.test(2));
+//│   if (res instanceof runtime.EffectSig.class) {
+//│     res.contTrace.last.next = Cont$handleBlock$h$1(0);
+//│     return runtime.handleBlockImpl(res, h)
+//│   }
+//│   return res
+//│ };
+//│ tmp = handleBlock$();
+//│ if (tmp instanceof runtime.EffectSig.class) {
+//│   tmp = runtime.topLevelEffect(tmp, false);
+//│ }
+//│ tmp
+//│ = 2