search

AlloyTools / org.alloytools.alloy

Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from finding holes in security mechanisms to designing telephone switching networks. This repository contains the code for the tool.
Other
712 stars 123 forks source link

Feature request: then as synonym for ; #157

Closed esb-dev closed 2 years ago

esb-dev commented 2 years ago

Alloy often has two notations for operators i.e. and/&&. Some people prefer the more verbose notation. I propose to introduce the operator "then" as a synonym for "," the trace sequence operator.

I think in the code one has to add just one line in Alloy.lex

"then" { return alloy_sym(yytext(), CompSym.TRCSEQ );}

after line 234.

But one has to change documentation and It's a question of the conceptual integrity of the language too. But imho it would fit.

--Burkhardt

pkriens commented 2 years ago

Language changes must be approved by the board. I suggest you start a discussion on https://alloytools.discourse.group/ and gather feedback. After some gestation time and receiving positive feedback, ping me and I will submit it to the board.