issue in datatype/module name conflict #259
Labels
area: ffi
The {:extern} attribute and otherwise interfacing with code in other languages
kind: bug
Crashes, unsoundness, incorrect output, etc. If possible, add a `part:` label
part: code-generation
Support for transpiling Dafny to another language. If relevant, add a `lang:` tag
The above fails to compile (but succeeds in verifying) with error
error CS0426: The nested type `M' does not exist in the type `M.M'
If I get rid of the extern, it compiles successfully.
The text was updated successfully, but these errors were encountered: