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
696 stars 124 forks source link

Remove `exh` and `part` from errors, syntax #110

Closed hwayne closed 1 year ago

hwayne commented 4 years ago

From http://alloytools.org/quickguide/a4.html

We don’t allow “part” and “exh” in declarations any more.

Both can show up in syntax errors

image

pkriens commented 4 years ago

These tokens are still defined in the parser in cup.lex, the error is generated inside the parser.

I can easily remove them, say the word ...

Kind regards,

Peter Kriens

On 8 Apr 2020, at 19:55, Hillel Wayne notifications@github.com wrote:

From http://alloytools.org/quickguide/a4.html http://alloytools.org/quickguide/a4.html We don’t allow “part” and “exh” in declarations any more.

Both can show up in syntax errors

https://user-images.githubusercontent.com/2660212/78817003-202c8580-7998-11ea-92bd-7b946f07df69.png — You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub https://github.com/AlloyTools/org.alloytools.alloy/issues/110, or unsubscribe https://github.com/notifications/unsubscribe-auth/AABQ6LVV37GGZSPQI6N336TRLS27ZANCNFSM4MEDXYOQ.

hwayne commented 4 years ago

If we don't need to be backwards compatible with Alloy 3, I see no reason to keep them.

pkriens commented 2 years ago

@dnjackson if you ok, can remove these keywords