Create type provider

[typedefs]

Create type provider

[clayrat]

Another nice example: https://github.com/ctford/flying-spaghetti-monster

[clayrat]

One thing we should keep in mind is that type providers only work for the C backend.

[clayrat]

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 Text lexer/parser, or anything involving the Lazy annotation.

[clayrat]

One workaround for this would be trying out https://github.com/gallais/idris-tparsec/ as the parsing engine, which seemingly doesn't involve laziness.

[epost]

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

[clayrat]

Yep, the provider on top of TParsec seems to work fine.