diff options
| author |  Rustan Leino <unknown> | 2015-07-16 15:37:50 -0700 |
|---|---|---|
| committer | Rustan Leino <unknown> | 2015-07-16 15:37:50 -0700 |
| commit | 8f18456b7e89412855abc9993447512bdb835da9 (patch) | |
| tree | 0af8a1b93a23abc48a23ef240f04a48828a95ebe /Test/irondafny0/xrefine2.dfy | |
| parent | f235dfbc792bb885f3c76e4267658c1a9ef838d8 (diff) | |
Fixed bugs in the parsing of explicit type arguments.
Fixed resolution bug where some type arguments were not checked to have been determined.
Fixed resolution bugs where checking for equality-supporting types was missing.
Diffstat (limited to 'Test/irondafny0/xrefine2.dfy')
0 files changed, 0 insertions, 0 deletions