PSharp icon indicating copy to clipboard operation
PSharp copied to clipboard

Allow assignment in machine field declarations

Open TedHartMS opened this issue 8 years ago • 0 comments

Currently we error on assignment to fields of the machine, such as: a. const string foo = “bar”; // error at 'string') b. string foo = "bar”; // error at ‘=’ We should allow these. Comment handling will have to check for quotes when we do this (C# ignores start-comments in single or double quotes but picks up end-comments in them).

TedHartMS avatar Mar 24 '17 22:03 TedHartMS