Code Editor : typecheckloop.go