Imported atoms break table view in evaluator

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

694 stars 123 forks source link

Imported atoms break table view in evaluator #279

Closed nmacedo closed 1 month ago

nmacedo commented 1 month ago

The occurrence of atoms from imported modules in expressions seems to break the table view in the evaluator. Example, with sig Natural imported from util/natural:

open util/natural
some sig a { 
    r : Natural,
    s : a }
run {}

nmacedo commented 1 month ago

It works fine on table view though:

nmacedo commented 1 month ago

Fixed, was a problem with the regex identifying tuple sets to be converted into tables.