~duangle/scopes#10: 
sc_prove can't prove Arguments, even if all arguments are constant.

For example:

let a = 1
# works fine
sc_prove `a

let args... = 1 2
print ('typeof `args...) # (_: i32 i32)
# doesn't work
sc_prove `args...

This is relevant when expanding varargs... symbols in sugars.

Status
REPORTED
Submitter
~radgerayden
Assigned to
No-one
Submitted
4 years ago
Updated
2 years ago
Labels
No labels applied.

~radgerayden 2 years ago

Fixed in 2516:d7ee1d0a6ab2

Register here or Log in to comment, or comment via email.