We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
When we create a library that is using closure, then there is a problem called: encorec: No match in record selector metaId.
encorec: No match in record selector metaId
For example: Foo.enc
Foo.enc
class Foo def bar() : void \() -> ()
Bar.enc
import Foo class Main def main() : void ()
The text was updated successfully, but these errors were encountered:
Merge pull request #337 from PhucVH888/utils
eac5f6d
Fixed closure import problem when defining a library #336
Can't reproduce it on development, closing now. Reopen, if not so.
development
Sorry, something went wrong.
No branches or pull requests
When we create a library that is using closure, then there is a problem called:
encorec: No match in record selector metaId
.For example:
Foo.enc
Bar.enc
The text was updated successfully, but these errors were encountered: