diff options
author | Unknown <leino@LEINO6.redmond.corp.microsoft.com> | 2012-04-25 16:37:12 -0700 |
---|---|---|
committer | Unknown <leino@LEINO6.redmond.corp.microsoft.com> | 2012-04-25 16:37:12 -0700 |
commit | a732a632287074e74a1dd394149b36e83526a0cf (patch) | |
tree | 9770cb8127d4bf9d8348a5da54922d32f3d29fdb /Dafny/DafnyMain.cs | |
parent | 032662d0adb823376b1abd49a0c46ba3276f8721 (diff) |
Dafny: fixed resolution bug for inductive datatypes (previous check did not handle generic datatypes correctly)
Dafny: fixed compiler bug in inductive datatypes (missing type parameters in emitted code)
Dafny: added "codatatype" declaration (syntax only for now)
Diffstat (limited to 'Dafny/DafnyMain.cs')
0 files changed, 0 insertions, 0 deletions