choose-lang: Pick #lang at read-time🔗 i

For example, the following module raises a type error if the environment variable CHOOSE_TYPES is set, and otherwise ignores the type annotation.

#lang choose-lang (if (getenv "CHOOSE_TYPES") typed/racket typed/racket/no-check)

 

(:fInteger)

(define f' foo)