search

reactorlabs / rir

GNU General Public License v2.0
62 stars 18 forks source link

Should the Force instruction always keep the 'missing arg' in its type? #1273

Open skrynski opened 4 months ago

skrynski commented 4 months ago

f <- function(x) x rir.compile(f) pir.compile(f)

Missing_arg should trigger an error iif it is the result of symbol evaluation.

Image shows Early PIR output . image

Below is PIR After optimizations, notice ChkMissing is introduced. image

In both cases, Force has type val?. I think it should be just val.