fixed something #253

crowlogic · Nov 28, 2024 · f3b7c86 · f3b7c86
1 parent 18ef46a
commit f3b7c86
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 5 deletions.
diff --git a/src/main/java/arb/expressions/Expression.java b/src/main/java/arb/expressions/Expression.java
@@ -680,7 +680,7 @@ protected Expression<D, C, F> evaluateOptionalIndependentVariableSpecification()
         var variable = new VariableNode<>(this,
                                           new VariableReference<>(inputVariableName,
                                                                   null,
-                                                                  domainType),
+                                                                  coDomainType),
                                           position,
                                           false);
 

diff --git a/src/main/java/arb/expressions/VariableReference.java b/src/main/java/arb/expressions/VariableReference.java
@@ -62,6 +62,7 @@ public VariableReference(String name, Node<D, R, F> index, Class<?> type)
     this(name,
          index);
     this.type = type;
+    assert !type.equals(Object.class) : "type shan't be Object";
   }
 
   public String        name;

diff --git a/src/main/java/arb/expressions/nodes/VariableNode.java b/src/main/java/arb/expressions/nodes/VariableNode.java
@@ -598,10 +598,7 @@ else if (ascendentInput)
     {
       returnType = reference.type();
     }
-    if (returnType.equals(Object.class))
-    {
-      returnType = expression.coDomainType;
-    }
+
     assert returnType != null : "returnType is null for " + this;
     assert returnType != Object.class : "TODO: tried to return "
                                         + returnType