You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
It should error, because the syntax for #{x : t} requires x to be a variable. The type appears to be discarded, making it confusing why it's not used. This compounds with the problem that many people mistook #{x : t} for #{e :: t}, so it appears that the annotation doesn't work.
If you got an error message, please include it here.
What version of Racket are you using?
8.7
What program did you run?
What should have happened?
It should error, because the syntax for
#{x : t}
requiresx
to be a variable. The type appears to be discarded, making it confusing why it's not used. This compounds with the problem that many people mistook#{x : t}
for#{e :: t}
, so it appears that the annotation doesn't work.If you got an error message, please include it here.
N/A
Note that this issue originally came up in https://stackoverflow.com/questions/74974840/applying-to-potentially-empty-lists-in-typed-racket
The text was updated successfully, but these errors were encountered: