Cleanup

Author: mischnic

Makefile

@@ -9,7 +9,7 @@ all: tests
 clean: 
 	rm -f test/*.wasm
 
-make test: tests
+test: tests
 	./test.sh
 
 tests: $(TESTS)

cs-stack.fs

@@ -1,75 +1,3 @@
-\ (
-\     loop -> begin
-\     block -> noop
-
-
-\     br x if x is loop ->
-\         [ x cs-pick ] again
-\     br x if x is block -> if
-
-\     end loop ->
-\         [ x cs-roll cs-drop ]
-\         x = ...
-\     end block ->
-\         [ x cs-roll ] ahead
-\         x = ...
-
-
-\ fn is implicit block
-
-\ TODO what about if/else/endif?
-\     if idx = block idx + br_if idx ?
-
-\ array for type
-\     push(block/loop/if/if-with-else)
-\     pop()
-\     peek()
-\     get(index) -> type
-\ stack for storing metadata about controlflow stack
-\     pushLoopBegin(index)
-\     pushBlockBranch(index)
-\     popOffsetsBlockBranches(index) -> -1 ...list-of-required-cs-roll-params...
-\         go through data, find positions of block branches of that index
-\         remove them from the stack
-\         (use for block branch)
-\     popOffsetLoopDest() -> cs-pick-param
-\         go through data, find topmost of begin
-\         remove them from the stack
-\         (use for dropping at loop end, and loop branch)
-
-
-
-\ how the "current" index is updated during traversal:
-\   block/loop -> +1
-\   if -> +2
-\   else -> -1
-\   end(if) -> -2
-\   end(block/loop/if-with-else) -> -1
-
-
-\ instructions modifying stack:
-\     loop ( -- dest )
-\     br in block ( -- orig )
-\     end of loop ( dest -- )
-\     end of block ( orig1 .. orign -- )
-    
-
-
-\ loop A ( begin ; dest )
-\     br A ( 0 cs-pick again ; dest )
-\     block B ( ; dest )
-\         br A ( 0 cs-pick again ; dest )
-\         br B ( if ; dest orig )
-\         br A ( 1 cs-pick again ; dest orig )
-\         br B ( if ; dest orig orig)
-\     end ( 0 cs-roll then 0 cs-roll  then ; dest)
-\ end ( 0 cs-roll cs-drop ; )
-
-\ )
-
-
-
-
 \ stack = [ size capacity ...data ]
 : stack.new ( -- stack )
     16 cells allocate throw