Require toplevel definitions to have declared types #1080
stylewarning
started this conversation in
Ideas and Proposals
Replies: 0 comments
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
-
What do you think about requiring toplevel functions to have declared types, unless
(infer)is written, or something like that, either with compilation-unit-scope, or just next-definition-scope?Beta Was this translation helpful? Give feedback.
All reactions