search

links-lang / links

Links: Linking Theory to Practice for the Web
http://www.links-lang.org
Other
329 stars 42 forks source link

Introduce separate frontend absyn for parsed code, or parameterize absyn over name type (int vs string)? #799

Open jamescheney opened 4 years ago

jamescheney commented 4 years ago

As suggested by @frank-emrich, who is encouraged to elaborate.

jamescheney commented 4 years ago

A further thought about this, following #859, is that perhaps we could use OCaml's new support for GADTs here to also enforce the phase distinction between source ASTs with string variables and no unification points, and internal ASTs.