Search
20:36:48
stassats`
can type checks be removed if they're not used?
20:37:04
stassats`
technically, no type checks have to be performed at all
20:38:20
stassats`
i actually can't tell if it's "not used" for any given type check
20:41:59
stassats`
i wanted to fold (if (> x 10) (print 10) (print 10)) to (print 10), but then > checks X for NUMBER
20:42:29
stassats`
which does happen if it's folded, but i wanted to delay until vop selection, which happens after typecheck generation