~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
10 months ago
Updated
10 months ago
Labels
No labels applied.