diff --git a/examples/async/file-js.kk b/examples/async/file-js.kk index 35b502b..e818574 100644 --- a/examples/async/file-js.kk +++ b/examples/async/file-js.kk @@ -9,6 +9,7 @@ extern ext/read-file(path: string): io-noexn any fun js/read-file(path: string): string Jspromise(read-file(path)).wrap.unsafe-as-string +// In VSCode Cmd/Ctrl+Shift+P Then select Koka: Compilation target, and switch to nodejs, prior to running this fun main() val res = try js/read-file("examples/async/file-js.kk").println diff --git a/examples/async/timer.kk b/examples/async/timer.kk index 2fe996f..662bf1c 100644 --- a/examples/async/timer.kk +++ b/examples/async/timer.kk @@ -2,6 +2,7 @@ import std/async import std/time/duration import std/time/timestamp +// In VSCode Cmd/Ctrl+Shift+P Then select Koka: Compilation target, and switch to nodejs, prior to running this fun main() val res = try val x = ref(0) diff --git a/std/fixpoint/fixpoint-memo.kk b/std/fixpoint/fixpoint-memo.kk index 049b4d1..642e66a 100644 --- a/std/fixpoint/fixpoint-memo.kk +++ b/std/fixpoint/fixpoint-memo.kk @@ -15,7 +15,7 @@ fun cache(f: () -> |e> b, ?order2: (s, s) -> pure order2, .?c fun update(s, c) match deps.lookup(s) Just(resumes) -> - trace("Updating " ++ resumes.length.show ++ " deps for " ++ s.show ++ " with " ++ c.c/show) + // trace("Updating " ++ resumes.length.show ++ " deps for " ++ s.show ++ " with " ++ c.c/show) resumes.list/foreach(fn(res) {res(c); ()}) Nothing -> () val do = @@ -23,7 +23,7 @@ fun cache(f: () -> |e> b, ?order2: (s, s) -> pure order2, .?c fun add-state(s) m := m.set(s, bottom) fun add-result(s, c) - trace("Adding result for " ++ s.s/show ++ " " ++ c.c/show) + // trace("Adding result for " ++ s.s/show ++ " " ++ c.c/show) match m.lookup(s) Just(r') -> val (changed, r'') = join(r', c) @@ -37,7 +37,7 @@ fun cache(f: () -> |e> b, ?order2: (s, s) -> pure order2, .?c fun is-cached(s) m.contains(s) ctl depend(s) - trace("Adding dep for " ++ s.s/show) + // trace("Adding dep for " ++ s.s/show) match deps.lookup(s) Just(resumes) -> val ress = Cons(fn(r) resume(r), resumes)