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

Signatures can subset Int #99

Open hwayne opened 4 years ago

hwayne commented 4 years ago

The following spec is accepted by Alloy:

 sig A in Int {}

By this guide, you should not be able to declare a signature as a subset of Int.

pkriens commented 2 years ago

@dnjackson can you comment?

pkriens commented 1 year ago

@dnjackson still waiting for your comment :-)

nmacedo commented 1 year ago

This has been allowed at least since version 4, as long as the "experimental" flag is set to true, which has been for all releases :) Likewise for String and seq/Int by the way. (There are a lot of features under this experimental flag, this should probably be revised eventually.)

Personally, I think it's useful to have sub-signatures of Int, what are the cons?