reizio/reiz.io

reiz.ir.optimizer: General

isidentical opened this issue · 1 comments

isidentical commented

This is something that I intend to do, both for speed and proper edgeql generation. Each comment will correspond to a single operation on the optimizer

isidentical commented

Logically connected (via OR-matcher) type check will generate the following code

SELECT ast::Expr FILTER .value IS ast::Constant OR .value is ast::Call

which can actually re-written as

SELECT ast::Expr FILTER .value IS ast::Constant | ast::Call