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
Create type provider #12
Comments
Another nice example: https://github.com/ctford/flying-spaghetti-monster |
One thing we should keep in mind is that type providers only work for the C backend. |
Apparently it's not as easy as I claimed - I'm hitting idris-lang/Idris-dev#1807 now. Seems like it doesn't like the |
One workaround for this would be trying out https://github.com/gallais/idris-tparsec/ as the parsing engine, which seemingly doesn't involve laziness. |
@clayrat I'm more than willing to consider other parser libs. Not sure if there are others worth investigating, but parsec-like libs sound good to me. feel free to make a separate issue out of that. That has priority over the type provider anyway. |
Yep, the provider on top of |
No description provided.
The text was updated successfully, but these errors were encountered: