2.2.1 Pragmas on Method Declarations

• The optimize and no_optimize pragmas enable and disable, respectively, compilation of a method with optimization.
• The debug pragma on a method disables optimizations like static binding and inlining that would prevent the method from being replaced by the evaluator or caught by a breakpoint.
• The inline and no_inline pragmas specify that the annotated method should be inlined or not inlined, respectively, when statically bound. (If no such pragma is present, an automatic inlining heuristic is used.)
• The no_typecheck pragma on a method disables typechecking of the annotated method.

Specifying any of these pragmas at the top-level of a file affects all methods declared in the file.