compute stmt should not call formatValue

Author: xieyuheng

TODO.md

@@ -1,4 +1,3 @@
-compute stmt should not call `formatValue`
 `formatValue` should not call `readback` -- to be used in debug -- use `let` to print closure
 debug `applyWithDelay` by log with `formatValue`
 

src/lang/load/handleEffect.ts

@@ -2,8 +2,9 @@ import dedent from "dedent"
 import { emptyEnv } from "../env/index.ts"
 import { equal } from "../equal/index.ts"
 import { evaluate } from "../evaluate/index.ts"
-import { formatExp, formatValue } from "../format/index.ts"
+import { formatExp } from "../format/index.ts"
 import type { Mod } from "../mod/index.ts"
+import { readback } from "../readback/index.ts"
 import { same } from "../same/index.ts"
 import type { Stmt } from "../stmt/index.ts"
 
@@ -78,7 +79,8 @@ export async function handleEffect(mod: Mod, stmt: Stmt): Promise<void> {
 
   if (stmt.kind === "Compute") {
     const value = evaluate(mod, emptyEnv(), stmt.exp)
-    console.log(formatValue(value))
+    const exp = readback(value)
+    console.log(formatExp(exp))
     return
   }
 }