You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
When expressions are type checked, they usually yield TypedValue False e t. For the purposes of #4247, this makes it easy to figure out interval tree nodes as it's ultimately a matter of doing the following:
onExpr::Expr-> [InterfaceASTString]
onExpr =\caseTypedValue _ (PositionedValue s _ _) t ->
[ makeNode (NodeInfo (debugType t) ExpressionNode) s ]
_ ->[]
Currently though, this doesn't seem to be the case with binders.
The text was updated successfully, but these errors were encountered:
Summary
When expressions are type checked, they usually yield
TypedValue False e t
. For the purposes of #4247, this makes it easy to figure out interval tree nodes as it's ultimately a matter of doing the following:Currently though, this doesn't seem to be the case with binders.
The text was updated successfully, but these errors were encountered: