Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add Shallow, Optional configs #25

Open
bennn opened this issue Dec 14, 2022 · 0 comments
Open

Add Shallow, Optional configs #25

bennn opened this issue Dec 14, 2022 · 0 comments

Comments

@bennn
Copy link
Member

bennn commented Dec 14, 2022

Move typed to deep too?

diff --git a/scribblings/gtp-checkup.scrbl b/scribblings/gtp-checkup.scrbl
index 332beb4..baab69e 100644
--- a/scribblings/gtp-checkup.scrbl
+++ b/scribblings/gtp-checkup.scrbl
@@ -48,7 +48,10 @@ Run @exec{racket main.rkt --help} for more information.
       @elem{(@emph{March 2023})
             Updated benchmark code to match GTP Benchmarks v9.0.
             Disabled Typed Racket optimizations for code and contracts
-            in the worst-case (TWC) configuration.}]}
+            in the worst-case (TWC) configuration.
+            Moved the @tt{typed} and @tt{typed-worst-case} configurations
+            to @tt{deep} and @tt{deep-worst-case}.
+            Added @tt{shallow} and @tt{shallow-worst-case} to test Shallow Typed Racket.}]}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant