mirror of
https://github.com/enso-org/enso.git
synced 2024-11-23 16:18:23 +03:00
Ensure scope exists
This commit is contained in:
parent
e9b080030d
commit
fc2dca2cfd
@ -482,9 +482,9 @@ public class Context {
|
||||
ensureModuleIsLoaded(stdDateModuleName);
|
||||
Optional<Module> dateModule = findModule(stdDateModuleName);
|
||||
if (dateModule.isPresent()) {
|
||||
date =
|
||||
Optional.ofNullable(
|
||||
dateModule.get().getScope().getConstructors().get(stdDateConstructorName));
|
||||
final Module m = dateModule.get();
|
||||
m.ensureScopeExists();
|
||||
date = Optional.ofNullable(m.getScope().getConstructors().get(stdDateConstructorName));
|
||||
} else {
|
||||
date = Optional.empty();
|
||||
}
|
||||
|
Loading…
Reference in New Issue
Block a user