Incremental parsing (completion) in Haskell bindings to C runtime (PGF2)

[johnjcamilleri]

I'm a bit confused as to the status of completion in the C runtime (with Haskell bindings).

I have looked through the archives on gf-dev (in particular this post) and the source code itself. From what I can understand, the functionality is there (I'm looking at parseWithOracle) although it is not exposed in the Haskell bindings. Or perhaps it is, but in a very non-obvious way. I thought this might be possible with parseToChart but I can't figure out how, if that's the case.

@krangelov (or someone else) could you give me some pointers? Assuming that the functionality is available in C but not properly exposed in the Haskell API, I'm willing to work on that.

[krangelov]

It looks like the completion was never exposed to Haskell but is available from Python. The reason is that I never actually used completion with the C runtime. Neither parseWithOracle nor parseWithChart are related to completion. The function in the C runtime that does the job is called "pgf_complete". You can also see how it is used in the Python binding. Look at the function Concr_complete in file pypgf.c.

…

On Mon, 3 May 2021 at 07:42, John J. Camilleri ***@***.***> wrote: I'm a bit confused as to the status of completion in the C runtime (with Haskell bindings). I have looked through the archives on gf-dev (in particular this post <https://groups.google.com/g/gf-dev/c/6KhvjlIJPaM/m/wqDJOaCWCwAJ>) and the source code itself. From what I can understand, the functionality *is* there (I'm looking at parseWithOracle) although it is not exposed in the Haskell bindings. Or perhaps it is, but in a very non-obvious way. I thought this might be possible with parseWithChart but I can't figure out how, if that's the case. @krangelov <https://github.com/krangelov> (or someone else) could you give me some pointers? Assuming that the functionality is available in C but not properly exposed in the Haskell API, I'm willing to work on that. — You are receiving this because you were mentioned. Reply to this email directly, view it on GitHub <#105>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/AEYFSZGPM75NP3DM5EAQTT3TLYZTXANCNFSM44AGIPPA> .

[johnjcamilleri]

Thanks Krasimir, I'll look into this. I should be able to figure it out.

[johnjcamilleri]

Here's my first attempt (which doesn't work): https://github.com/GrammaticalFramework/gf-core/compare/pgf2-complete

I'm quite bad at reading C, and I'm trying to understand what the return type of pgf_complete should be: an enumeration of what exactly? To me it looks like it should be parse results, which is why I based my code mostly on the other parse functions.