diff options
| author |  Jason Koenig <unknown> | 2012-06-19 14:35:22 -0700 |
|---|---|---|
| committer | Jason Koenig <unknown> | 2012-06-19 14:35:22 -0700 |
| commit | 4f2f785d121651c62cf0a7da7c7bcaef13ee14b4 (patch) | |
| tree | 5f444cd942a425689db195780333789f482ef287 /Dafny/Compiler.cs | |
| parent | 252f68a87ff9d2759eda4d9bd2706c38a7336b56 (diff) | |
Dafny: disallow declare identifiers starting with underscore (_)
It is still possible to reference names containing an underscore, but it is not
possible to make a variable, method, class, bound variable, type, or module name
beginning with one.
Diffstat (limited to 'Dafny/Compiler.cs')
0 files changed, 0 insertions, 0 deletions