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
The following code (which uses a new module, but I'm sure the bug applies to other modules):
import Data.Char
active class Main
def main() : unit
isdigit()
-- should be isdigit('A')
end
end
results in the odd error message:
*** Error during typechecking ***
"Bug.enc" (line 5, column 5)
Unknown namespace Data.Char
In expression:
isdigit()
In method 'main' of type 'unit'
In class 'Main
The problem is not that the namespace is unknown, but that the function is not provided with the correct number of arguments.
The text was updated successfully, but these errors were encountered:
I think this is related to recently added support for default parameters. The same error appears even if the function is in the same module (but with an "empty" unknown namespace).
The following code (which uses a new module, but I'm sure the bug applies to other modules):
results in the odd error message:
The problem is not that the namespace is unknown, but that the function is not provided with the correct number of arguments.
The text was updated successfully, but these errors were encountered: