Open RandomActsOfGrammar opened 8 months ago
If DecCmd is not a type, we should get a type error from \ x::DecCmd -> 3. This does not give an error, but Silver does crash with the message Attempting to translate in presence of errors.
DecCmd
\ x::DecCmd -> 3
Attempting to translate in presence of errors
If
DecCmd
is not a type, we should get a type error from\ x::DecCmd -> 3
. This does not give an error, but Silver does crash with the messageAttempting to translate in presence of errors
.