2024-10-15 17:51 AEDT

View Issue Details Jump to Notes ]
IDProjectCategoryView StatusLast Update
0000402mercuryBugpublic2016-01-10 01:00
Reporterjuliensf 
Assigned Tozs 
PrioritynormalSeverityminorReproducibilityalways
StatusresolvedResolutionfixed 
Product Version 
Target VersionFixed in Version 
Summary0000402: state variables not supported in require_complete_switch scope heads
DescriptionReferring to the current state of a a state variable in a require_complete_switch scope results in syntax error. For example,

     require_complete_switch [!.Value] (
          ...
      )

results in:

     bug402.m:014: Expected a variable, got `(!. Value)'.

TagsNo tags attached.
Attached Files

-Relationships
+Relationships

-Notes

~0000874

zs (developer)

Fixed 2016 jan 2.
+Notes

-Issue History
Date Modified Username Field Change
2016-01-02 03:51 juliensf New Issue
2016-01-02 03:51 juliensf File Added: bug402.m
2016-01-02 05:37 zs Assigned To => zs
2016-01-02 05:37 zs Status new => assigned
2016-01-10 01:00 zs Note Added: 0000874
2016-01-10 01:00 zs Status assigned => resolved
2016-01-10 01:00 zs Resolution open => fixed
+Issue History