Jacket
#import "Check";
A build plugin that catches mistakes common in code ported from C: fixed arrays used as pointers, and small integers added without a cast.
Turn it on from the command line with +Check, or add get_plugin's result to a workspace yourself. Pass -no_check_bindings to skip the binding checks.
plugin := get_plugin();
assert(plugin.message != null);This one is only checked to compile, not run.
#elsewhere procedure against the library that provides it.Returns the checking plugin. Every call returns the same object, with only its message procedure set; set workspace before forwarding messages to it.
plugin := get_plugin();
assert(plugin == get_plugin());This one is only checked to compile, not run.