Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Filtered Views Example Broken #16

Open
kfoxb opened this issue Mar 25, 2021 · 0 comments
Open

Filtered Views Example Broken #16

kfoxb opened this issue Mar 25, 2021 · 0 comments

Comments

@kfoxb
Copy link

kfoxb commented Mar 25, 2021

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.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant