You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
MikaelMayer opened this issue
May 9, 2024
· 0 comments
Assignees
Labels
kind: bugCrashes, unsoundness, incorrect output, etc. If possible, add a `part:` labelpriority: nextWill consider working on this after in progress work is done
module A {
type uint8 = inttype Converted = seq<uint8>functionConvert(s : string) : (ret : Converted)
}
module B {
import A
exportprovides
A,
DEFAULT_VALUE
const DEFAULT_VALUE := A.Convert("DEFAULT_VALUE")
}
Command to run and resulting output
Paste in VSCode in latest-nightly
What happened?
Raised while checking export set B: Type or type parameter is not declared in this scope: uint8 (did you forget to qualify a name or declare a module import 'opened'?) (note that names in outer modules are not visible in contained modules)
This export set is not consistent: B
There should be no error.
What type of operating system are you experiencing the problem on?
Windows
The text was updated successfully, but these errors were encountered:
MikaelMayer
added
kind: bug
Crashes, unsoundness, incorrect output, etc. If possible, add a `part:` label
priority: next
Will consider working on this after in progress work is done
labels
May 9, 2024
kind: bugCrashes, unsoundness, incorrect output, etc. If possible, add a `part:` labelpriority: nextWill consider working on this after in progress work is done
Dafny version
latest-nightly
Code to produce this issue
Command to run and resulting output
What happened?
There should be no error.
What type of operating system are you experiencing the problem on?
Windows
The text was updated successfully, but these errors were encountered: