tlaplus-community / tree-sitter-tlaplus

A tree-sitter grammar for TLA⁺ and PlusCal
MIT License
57 stars 10 forks source link

Ensure grammar builds on MacOS #35

Closed ahelwer closed 3 years ago

ahelwer commented 3 years ago

Removed C++11 language features (vector initializations and enum classes) that clang didn't like on MacOS. Ideally we will be able to use such features one day; see https://github.com/tree-sitter/tree-sitter/issues/1246