issue #98 update docs

readthedocs/ravi-new-parser-codegenerator.rst

@@ -14,22 +14,22 @@ There will be several phases:
    temporaries and locals in separate ranges.
 4. Next phase will be linearize the instructions - during this phase the loops, if statements etc will get translated to equivalent of 
    conditional and unconditional jumps. 
-5. We could at this stage generate byte code and finish. Initially maybe we will stop here.
+5. In the first phase we will stop here, generate byte code and finish. 
 6. The next phase will be translate into basic blocks.
 7. Following that we will construct a CFG, perform dominator analysis and convert to SSA form.
+8. Hopefully as a result of above we can do some simple optimizations and then emit the bytecode at the end.
 
 Some other things
 -----------------
-1. locals that are used as up-values or passed or overwritten by function calls should be marked as having 'escaped'.
+1. Locals that are used as up-values or passed or overwritten by function calls should be marked as having 'escaped'.
    Having this knowledge will enable backend JIT to use the stack for values that cannot escape.
-2. during code generation it will be good to know which registers are type constant - i.e. their types do not change. register allocation
+2. During code generation it will be good to know which registers are type constant - i.e. their types do not change. register allocation
    should be designed / implemented so that we try to avoid over-writing type data where possible. This will allow backend JIT 
    to generate more optimized code.
 
 
 Current Status
 --------------
-We have a parser implementation that can convert Ravi source to an abstract syntax tree (AST).
-Static type checking is not yet implemented.
+We have a parser implementation that can convert Ravi source to an abstract syntax tree (AST). Static type checking is being worked on. Progress is very slow but things are moving every now and then when I get time.
 
-For examples of how to call the parser please see `ravi-tests/ravi_test_ast.lua <https://github.com/dibyendumajumdar/ravi/blob/master/ravi-tests/ravi_test_ast.lua>`_.
+For examples of how to call the parser please see `ravi-tests/ravi_test_ast.lua <https://github.com/dibyendumajumdar/ravi/blob/master/ravi-tests/ravi_test_ast.lua>`_ and `ravi-tests\ravi_test_ast2.lua <https://github.com/dibyendumajumdar/ravi/blob/master/ravi-tests/ravi_test_ast2.lua>`_. If you run these scripts the parse AST will be dumped to stdout.