Skip to content

in the module language, drracket asks the #lang language what the default value of the annotations should be - #805

Merged
rfindler merged 1 commit into
racket:masterfrom
rfindler:errortrace-annotation-defaults
Apr 8, 2026
Merged

in the module language, drracket asks the #lang language what the default value of the annotations should be#805
rfindler merged 1 commit into
racket:masterfrom
rfindler:errortrace-annotation-defaults

in the module language, drracket asks the #lang language what the

88441b7
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 error and 1 warning

The logs for this run have expired and are no longer available.