troy
troy copied to clipboard
Deep type inference for Bindmarkers in a Term
Troy analyses queries to figure the type of bind markers (i.e ?
and :variables
)
So far we do only shallow searching for those blind markers, if a statement has a term, we check if the whole term is a bindmarker, then we figure out its type.
But we might encounter a complex term, for example, a Map literal with one or more of the values are bind markers.