Global Script compiler that solely typechecks the input
Global Script client that only does type-checking.
Basically, you run
And you get any error messages from type-checking your program,
then the rest of the program gets thrown away.
This is *alpha quality* software.
It works for me on my machine; it hasn't been tested on anything else.
Use at your own risk.