up

TODO.md

@@ -3,6 +3,8 @@ DefineDatatype & DatatypeDefinition
 - `datatype <name>` -- to define trivial type for now
 - pass parser `tests/`
 
+`Begin` -- should call react
+
 # net
 
 [net] react.test.ts

src/lang/evaluate/evaluate.ts

@@ -6,10 +6,14 @@ import { Value } from "../value"
 import { evaluateBlock } from "./evaluateBlock"
 import { evaluateDefinition } from "./evaluateDefinition"
 
+// `EvaluateOptions` can be used to denote different modes of evaluation.
+
 export interface EvaluateOptions {
   //
 }
 
+// We return `Array<Value>` to handle possible multiple return values.
+
 export function evaluate(
   mod: Mod,
   env: Env,

src/lang/evaluate/evaluateBlockStmt.ts

@@ -12,6 +12,9 @@ import { Value, assertValueKind } from "../value"
 import { EvaluateOptions } from "./evaluate"
 import { evaluateOne } from "./evaluateOne"
 
+// We use `null` to denote that this `BlockStmt`
+// should not be viewed as returned results of this block.
+
 export function evaluateBlockStmt(
   mod: Mod,
   env: Env,

src/lang/execute/execute.ts

@@ -3,6 +3,8 @@ import { EvaluateOptions, evaluateBlock, evaluateParameters } from "../evaluate"
 import { Mod, define } from "../mod"
 import { Stmt } from "../stmt"
 
+// We return `null` to late the type checker catch the uncovered switch cases.
+
 export async function execute(mod: Mod, stmt: Stmt): Promise<null> {
   try {
     const options: EvaluateOptions = {}