Use concrete/grouped syntax in SourceBlock instead of abstract syntax

google-research / dex-lang

Research language for array processing in the Haskell/ML family

BSD 3-Clause "New" or "Revised" License

1.56k stars 106 forks source link

Use concrete/grouped syntax in SourceBlock instead of abstract syntax #1251

Closed dougalm closed 1 year ago

dougalm commented 1 year ago

The abstract syntax isn't needed at the top level. Meanwhile, the grouped representation is closer to the actual source text, which makes it the best place to extract the spanning trees, which we will need at the top level.