diff options
| author |  Unknown <leino@LEINO6.redmond.corp.microsoft.com> | 2012-06-11 16:45:21 -0700 |
|---|---|---|
| committer | Unknown <leino@LEINO6.redmond.corp.microsoft.com> | 2012-06-11 16:45:21 -0700 |
| commit | 84cd85ffd3c722278eb22d0bf402caf0f717a150 (patch) | |
| tree | d990fd3227548f40cd99d81d2d285775c49c6ed1 /Binaries | |
| parent | f83bee27aa1b0de0659f39d7fcd27121ecbef755 (diff) | |
Dafny: allow types to be qualified with the name of the module that declares them (for now, this is supported only in type expressions and "new" allocations, not in places where the type name is used to qualify some other type member)
Diffstat (limited to 'Binaries')
0 files changed, 0 insertions, 0 deletions