search

apalache-mc / apalache

APALACHE: symbolic model checker for TLA+ and Quint
https://apalache-mc.org/
Apache License 2.0
429 stars 40 forks source link

Allow for digits in type aliases #2967

Open konnov opened 3 weeks ago

konnov commented 3 weeks ago

I don't know how it happened, but our type aliases do not allow for digits. This is not very convenient:

https://github.com/apalache-mc/apalache/blob/9c4c03ac39ca4f7a1add1ac1cd90299cbe26bbbc/tlair/src/main/scala/at/forsyte/apalache/tla/types/parser/DefaultType1Parser.scala#L28