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
I'm trying to figure out how to make a FilteredView, but I'm not understanding how it's done. I tried to run the example code provided for FilteredView from here but it errors out.
First, it complains that AutoLayout has the wrong number of arguments, so I set that to RankLeftRight to fix that issue. Next, it says invalid use of FilteredView in views and that's where I'm stuck in my own code. I'm not sure where to get the expr.View that it's expecting. The example uses SystemContextView, but that can't be right, it's a function so it can't implement the expr.View interface.
The text was updated successfully, but these errors were encountered:
I'm trying to figure out how to make a FilteredView, but I'm not understanding how it's done. I tried to run the example code provided for FilteredView from here but it errors out.
First, it complains that AutoLayout has the wrong number of arguments, so I set that to RankLeftRight to fix that issue. Next, it says
invalid use of FilteredView in views
and that's where I'm stuck in my own code. I'm not sure where to get the expr.View that it's expecting. The example uses SystemContextView, but that can't be right, it's a function so it can't implement the expr.View interface.The text was updated successfully, but these errors were encountered: