Added missing argument to isFunctionType

usethesource · Nov 24, 2013 · 90e8571 · 90e8571
1 parent e501c8b
commit 90e8571
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/org/rascalmpl/library/experiments/Compiler/Rascal2muRascal/RascalExpression.rsc b/src/org/rascalmpl/library/experiments/Compiler/Rascal2muRascal/RascalExpression.rsc
@@ -285,7 +285,7 @@ MuExp translate(e:(Expression) `<Expression expression> ( <{Expression ","}* arg
                                             \tuple([ a | Symbol arg <- getConstructorArgumentTypes(ftype), label(_,Symbol a) := arg || Symbol a := arg ]),());
                            return instantiate(t.\adt,bindings) == ftype.\adt;
                        }
-                       if(isFunctionType(t) && isFunctionType()) {
+                       if(isFunctionType(t) && isFunctionType(ftype)) {
                            bindings = match(getFunctionArgumentTypesAsTuple(t),getFunctionArgumentTypesAsTuple(ftype),());
                            return instantiate(t.ret,bindings) == ftype.ret;
                        }