Closed phpnode closed 8 years ago
Can now use // typecheck: ignore file to ignore an entire file, or //typecheck ignore statement to ignore an entire statement (and all its children)
// typecheck: ignore file
//typecheck ignore statement
Fixes #54
Can now use
// typecheck: ignore file
to ignore an entire file, or//typecheck ignore statement
to ignore an entire statement (and all its children)Fixes #54