X-Git-Url: https://ruin.nu/git/?p=proglang.git;a=blobdiff_plain;f=documentation;fp=documentation;h=196220aa96faa3596dea5c7a9fd1ebf33d76b275;hp=9127c08827fa09ed2efd4644569d43d8c73e3bfc;hb=89a4c9c8d8cb07f4fb749316fa20534708073b62;hpb=25fa5a79243a50bcf0dd8670c5435f152b732488

diff --git a/documentation b/documentation
index 9127c08..196220a 100644
--- a/documentation
+++ b/documentation
@@ -72,7 +72,7 @@ Evaluate the arguments in order, find function definition, remove the old variab
 
 [SReturn]
 
-<return e,c> <= <e,c> => <v,c'>, c'[ret->v], STOP
+<return e,c> => c'[ret->v] <= <e,c> => <v,c'>
 
 Evaluate the expression, add the value as return value to the state and stop the execution of the state
 
@@ -87,3 +87,15 @@ Adds the function i with parameters ds and body ss to the context
 <fs ss, c> => c'' <= c[fs] => c', <ss,c'> => c''
 
 Add all the function to the context and execute the statements in this context
+
+[SEQ]
+
+<s1;s2,c> => c' <= <s1,c> => c', c'(ret)
+
+If the context returned by s1 contains a return-value, return this context without executing the next statement.
+
+[SWhile]
+
+<while e s,c> => c''' => <e,c> => <true,c'> push(c') => c'' <s,c''> => c''', c'''(ret)
+
+If the context returned by the body contains a return-value, return this context and don't try to run the loop again.