PSharp
PSharp copied to clipboard
Allow assignment in machine field declarations
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).