7.7.0.10
Corpse Reviver
SCV-CR allows you to optimize Typed Racket programs with contract verification. It does so by extracting the contracts generated by Typed Racket, passing them to SCV for verification, and bypassing contracts that are proven safe statically.
1 Command Line
Pass your files to raco scv-cr
and it will create optimized bytecode.
It can be used as replacement
for calling raco make.
The raco scv-cr command accepts the following command-line flags:
Short |
| Long |
| Description |
-n |
| --no-skip |
| Don’t skip the analysis of modules prefixed with _. This is the convention for indicating that a module should be opaque. |
-w |
| --write-contracts |
| Write explicitly contracted versions of all the given source files to the filesystem. |
2 Reference
| (require corpse-reviver) | package: corpse-reviver |
procedure
(compile-files/scv-cr files) → any
files : (listof path-string?)
Compiles and optimizes the given files
with SCV-CR.