enso-org/enso
1
1
Fork 0
mirror of https://github.com/enso-org/enso.git synced 2024-09-11 13:15:52 +03:00
Code Issues Projects Releases Wiki Activity

Special treatment for ..True and ..False (#9767)

Browse Source
This commit is contained in:
Jaroslav Tulach 2024-04-23 15:26:41 +02:00 committed by GitHub
parent 4a97bfa31f
commit 96fdb67204
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
2 changed files with 14 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
engine/runtime/src/main/java/org/enso/interpreter/runtime/callable/UnresolvedConstructor.java
View File

@ -241,6 +241,13 @@ public final class UnresolvedConstructor implements EnsoObject {
UnresolvedConstructor unresolved,
State state,
DirectCallNode callNode) {
var builtins = EnsoContext.get(callNode).getBuiltins();
if (c == builtins.bool().getTrue()) {
return true;
}
if (c == builtins.bool().getFalse()) {
return false;
}
var fn = c.getConstructorFunction();
var args = new Object[prototype.descs.length + 1];
System.arraycopy(unresolved.args, 0, args, 1, prototype.descs.length);

7
test/Base_Tests/src/Semantic/Conversion_Spec.enso
View File

@ -439,6 +439,13 @@ add_specs suite_builder =
foo = v:Foo
Foo.Value 10 . should_equal foo
group_builder.specify "..False can be autoscoped" <|
bool b:Boolean = b
f = bool ..False
f.not . should_be_true
group_builder.specify "Autoscope to two different values" <|
v = ..Value 10