pts icon indicating copy to clipboard operation
pts copied to clipboard

Published 20 hours ago • verified publisher icon Toxaris

Support Fω* syntax

Open Toxaris opened this issue 12 years ago • 2 comments

Currently, only generic PTS syntax is supported, but for literate programming (at least), it would be better to support the actual Fω* syntax.

Toxaris avatar Mar 23 '12 11:03 Toxaris

Is this related to the Fomega syntax used by Florian and Sebastian? Can we have an issue for what's required there?

Blaisorblade avatar Mar 12 '13 18:03 Blaisorblade

I created #44 to track progress on integration our backend with their frontend.

This issue is about an alternative parser implemented in Haskell. For example, in System F, type applications should be written in brackets, but our generic PTS parser does not distinguish type application from ordinary application.

If SugarPTS works out and is usable, I suspect that we can support this kind of syntactic differences between PTS instances by sugar libraries.

Toxaris avatar Mar 13 '13 11:03 Toxaris