added while and fixed code replacement in dotcompiler, and minor syntax checking fix
Git push failed, while the remote repository was updaited