search

google-code-export / alloy4eclipse

Automatically exported from code.google.com/p/alloy4eclipse
0 stars 0 forks source link

let statement are not navigable #89

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago 
unlike the other name definition (sig, fun, pred, etc), the let declaration is 
not navigable.

(see util/time.als for example).

That can be fixed by updating the grammar for that statement.

Original issue reported on code.google.com by daniel.l...@gmail.com on 15 Apr 2011 at 8:16

GoogleCodeExporter commented 9 years ago 
The issue is indeed fixed. It would be nice to use a specific color for top 
level let declaration.

Original comment by daniel.l...@gmail.com on 18 Apr 2011 at 7:35