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.
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 viewsand 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.