diff options
| author | Marshall Lochbaum <mwlochbaum@gmail.com> | 2020-09-22 09:45:35 -0400 |
|---|---|---|
| committer | Marshall Lochbaum <mwlochbaum@gmail.com> | 2020-09-22 09:45:35 -0400 |
| commit | 92034d1fae881139c5ce034eab9a86662bef5485 (patch) | |
| tree | 153804dacf45f93b043fb944fc0254631b00de3a /implementation | |
| parent | aad346321153a7ec8c1492e30446e59a5cdc6b53 (diff) | |
dzaima/BQN block types changed from f/m/d to 0/1/2 to match self-hosted
Diffstat (limited to 'implementation')
| -rw-r--r-- | implementation/vm.md | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/implementation/vm.md b/implementation/vm.md index 6812071e..cd1777b9 100644 --- a/implementation/vm.md +++ b/implementation/vm.md @@ -28,8 +28,6 @@ Each block in `blocks` is a list of the following properties: Compilation separates blocks so that they are not nested in bytecode. All compiled code is contained in some block. The self-hosted compiler compiles the entire program into an immediate block, and the program is run by evaluating this block. Blocks are terminated with the RETN instruction. -In dzaima/BQN, the block type is one of `'f'` `'m'` `'d'` rather than 0, 1, or 2. - The starting index refers to the position where execution starts in order to evaluate the block. When the block is evaluated depends on its type and immediateness. An immediate block (0,1) is evaluated as soon as it is pushed; a function (0,0) is evaluated when called on arguments, an immediate modifier (1 or 2, 1) is evaluated when called on operands, and a deferred modifier (1 or 2, 0) creates a derived function when called on operands and is evaluated when this derived function is called on arguments. ### Instructions |