X-Git-Url: https://gerrit.simantics.org/r/gitweb?p=simantics%2Fplatform.git;a=blobdiff_plain;f=bundles%2Forg.simantics.scl.compiler%2Fsrc%2Forg%2Fsimantics%2Fscl%2Fcompiler%2Finternal%2Felaboration%2Fmatching2%2FPatternMatchingCompiler2.java;h=bd904cf28ef52bbc5e7ddc058a1a9fe28978a672;hp=7849300deb594b23dc3834af60a1393490656ff7;hb=0ae2b770234dfc3cbb18bd38f324125cf0faca07;hpb=24e2b34260f219f0d1644ca7a138894980e25b14

diff --git a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/internal/elaboration/matching2/PatternMatchingCompiler2.java b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/internal/elaboration/matching2/PatternMatchingCompiler2.java
index 7849300de..bd904cf28 100644
--- a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/internal/elaboration/matching2/PatternMatchingCompiler2.java
+++ b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/internal/elaboration/matching2/PatternMatchingCompiler2.java
@@ -1,264 +1,264 @@
-package org.simantics.scl.compiler.internal.elaboration.matching2;
-
-import java.util.ArrayList;
-import java.util.Arrays;
-import java.util.List;
-
-import org.simantics.scl.compiler.common.exceptions.InternalCompilerError;
-import org.simantics.scl.compiler.constants.Constant;
-import org.simantics.scl.compiler.elaboration.expressions.EApply;
-import org.simantics.scl.compiler.elaboration.expressions.EApplyType;
-import org.simantics.scl.compiler.elaboration.expressions.EAsPattern;
-import org.simantics.scl.compiler.elaboration.expressions.EConstant;
-import org.simantics.scl.compiler.elaboration.expressions.EExternalConstant;
-import org.simantics.scl.compiler.elaboration.expressions.ELiteral;
-import org.simantics.scl.compiler.elaboration.expressions.EVariable;
-import org.simantics.scl.compiler.elaboration.expressions.EViewPattern;
-import org.simantics.scl.compiler.elaboration.expressions.Expression;
-import org.simantics.scl.compiler.elaboration.modules.SCLValue;
-import org.simantics.scl.compiler.elaboration.modules.TypeConstructor;
-import org.simantics.scl.compiler.environment.Environment;
-import org.simantics.scl.compiler.internal.codegen.continuations.Branch;
-import org.simantics.scl.compiler.internal.codegen.continuations.ICont;
-import org.simantics.scl.compiler.internal.codegen.references.IVal;
-import org.simantics.scl.compiler.internal.codegen.writer.CodeWriter;
-import org.simantics.scl.compiler.types.TCon;
-import org.simantics.scl.compiler.types.Types;
-import org.simantics.scl.compiler.types.exceptions.MatchException;
-
-import gnu.trove.map.hash.THashMap;
-
-public class PatternMatchingCompiler2 {
-
-    private static class ExpressionMatrix {
-        final CodeWriter w;
-        final IVal[] scrutinee;
-        final List<Row2> rows = new ArrayList<Row2>();
-
-        public ExpressionMatrix(CodeWriter w, IVal[] scrutinee) {
-            this.w = w;
-            this.scrutinee = scrutinee;
-        }
-    }
-
-    public static IVal[] replace(IVal[] vals, int columnToReplace, IVal ... substitution) {
-        IVal[] newVals = new IVal[vals.length-1+substitution.length];
-        int j=0;
-        for(int i=0;i<columnToReplace;++i)
-            newVals[j++] = vals[i];
-        for(int i=0;i<substitution.length;++i)
-            newVals[j++] = substitution[i];
-        for(int i=columnToReplace+1;i<vals.length;++i)
-            newVals[j++] = vals[i];
-        return newVals;
-    }
-
-    private static void splitByConstructors(CodeWriter w, final Environment env, IVal[] scrutinee, ICont failure, List<Row2> rows, int columnId) {
-        THashMap<Object, ExpressionMatrix> matrixMap = new THashMap<Object, ExpressionMatrix>();
-        ArrayList<Branch> branches = new ArrayList<Branch>();
-        ArrayList<ExpressionMatrix> matrices = new ArrayList<ExpressionMatrix>();
-        
-        /*System.out.println("---");
-        for(Row row : rows) {
-            for(Expression e : row.patterns)
-                System.out.print(e + " ");
-            System.out.println();
-        }*/
-
-        int i;
-        for(i=0;i<rows.size();++i) {
-            Row2 row = rows.get(i);
-            Expression pattern = row.patterns[columnId];
-            while(true) {
-                if(pattern instanceof EApplyType)
-                    pattern = ((EApplyType)pattern).getExpression();
-                else if(pattern instanceof EAsPattern) {
-                    EAsPattern asPattern = (EAsPattern)pattern;
-                    pattern = asPattern.getPattern();
-                    asPattern.getVariable().setVal(scrutinee[columnId]);
-                }
-                else
-                    break;
-                row.patterns[columnId] = pattern;
-            }
-            if(pattern instanceof EVariable)
-                break;
-            else if(pattern instanceof EApply) {
-                EApply applyConstructor = (EApply)pattern;
-                Expression constructor_ = applyConstructor.getFunction();
-                while(constructor_ instanceof EApplyType)
-                    constructor_ = ((EApplyType)constructor_).getExpression();
-                Expression[] parameters = applyConstructor.getParameters();
-                // TODO How type parameters are handled???
-                if(constructor_ instanceof EConstant) {
-                    SCLValue constructor = ((EConstant)constructor_).getValue();
-    
-                    ExpressionMatrix matrix = matrixMap.get(constructor.getName());
-                    if(matrix == null) {
-                        CodeWriter newW = w.createBlock(Types.getTypes(parameters));
-                        branches.add(new Branch((Constant)constructor.getValue(), newW.getContinuation()));
-                        matrix = new ExpressionMatrix(newW, replace(scrutinee, columnId, newW.getParameters()));
-                        matrices.add(matrix);
-                        matrixMap.put(constructor.getName(), matrix);
-                    }
-                    matrix.rows.add(row.replace(columnId, parameters));
-                }
-                else if(constructor_ instanceof ELiteral) {
-                    Constant constructor = ((ELiteral)constructor_).getValue();
-                    
-                    ExpressionMatrix matrix = matrixMap.get(constructor);
-                    if(matrix == null) {
-                        CodeWriter newW = w.createBlock(Types.getTypes(parameters));
-                        branches.add(new Branch(constructor, newW.getContinuation()));
-                        matrix = new ExpressionMatrix(newW, replace(scrutinee, columnId, newW.getParameters()));
-                        matrices.add(matrix);
-                        matrixMap.put(constructor, matrix);
-                    }
-                    matrix.rows.add(row.replace(columnId, parameters));
-                }
-            }
-            else if(pattern instanceof EConstant) {
-                EConstant applyConstructor = (EConstant)pattern;
-                SCLValue constructor = applyConstructor.getValue();
-
-                ExpressionMatrix matrix = matrixMap.get(constructor.getName());
-                if(matrix == null) {
-                    CodeWriter newW = w.createBlock();
-                    branches.add(new Branch((Constant)constructor.getValue(), newW.getContinuation()));
-                    matrix = new ExpressionMatrix(newW, replace(scrutinee, columnId, newW.getParameters()));
-                    matrices.add(matrix);
-                    matrixMap.put(constructor.getName(), matrix);
-                }
-                matrix.rows.add(row.replace(columnId, Expression.EMPTY_ARRAY));
-            }
-            else if(pattern instanceof ELiteral) {
-                ELiteral literal = (ELiteral)pattern;
-                Constant constructor = literal.getValue();
-
-                ExpressionMatrix matrix = matrixMap.get(constructor);
-                if(matrix == null) {
-                    CodeWriter newW = w.createBlock();
-                    branches.add(new Branch(constructor, newW.getContinuation()));
-                    matrix = new ExpressionMatrix(newW, replace(scrutinee, columnId, newW.getParameters()));
-                    matrices.add(matrix);
-                    matrixMap.put(constructor, matrix);
-                }
-                matrix.rows.add(row.replace(columnId, Expression.EMPTY_ARRAY));
-            }
-            else if(pattern instanceof EExternalConstant) {
-                EExternalConstant constant = (EExternalConstant)pattern;
-                Constant constructor = w.getModuleWriter().getExternalConstant(constant.getValue(), constant.getType());
-
-                ExpressionMatrix matrix = matrixMap.get(constructor);
-                if(matrix == null) {
-                    CodeWriter newW = w.createBlock();
-                    branches.add(new Branch(constructor, newW.getContinuation()));
-                    matrix = new ExpressionMatrix(newW, replace(scrutinee, columnId, newW.getParameters()));
-                    matrices.add(matrix);
-                    matrixMap.put(constructor, matrix);
-                }
-                matrix.rows.add(row.replace(columnId, Expression.EMPTY_ARRAY));
-            }
-            else
-                throw new InternalCompilerError("Cannot handle an instance of " + pattern.getClass().getSimpleName() + " in a pattern.");
-        }
-        if(i < rows.size()) {
-            CodeWriter newW = w.createBlock();
-            ICont cont = newW.getContinuation();
-            branches.add(new Branch(null, cont));
-            split(newW, env, scrutinee, failure, rows.subList(i, rows.size()));
-            failure = cont;
-        }
-        else {
-            TCon con;
-            try {
-                con = Types.getConstructor(scrutinee[columnId].getType());
-            } catch (MatchException e) {
-                throw new InternalCompilerError(e);
-            }
-            TypeConstructor cons = (TypeConstructor)env.getTypeDescriptor(con);
-            int maxBranchCount = cons.isOpen ? Integer.MAX_VALUE 
-                    : cons.constructors.length;
-            if(branches.size() < maxBranchCount)
-                branches.add(new Branch(null, failure));
-        }
-
-        for(ExpressionMatrix mx : matrices)
-            split(mx.w, env, mx.scrutinee, failure, mx.rows);
-        w.switch_(scrutinee[columnId], branches.toArray(new Branch[branches.size()]));
-    }
-
-    private static void splitByViewPattern(CodeWriter w, Environment env, IVal[] scrutinee, ICont failure, List<Row2> rows, int viewPatternColumn) {
-        Row2 firstRow = rows.get(0);
-        EViewPattern firstViewPattern = (EViewPattern)firstRow.patterns[viewPatternColumn];
-        firstRow.patterns[viewPatternColumn] = firstViewPattern.pattern;
-        int i;
-        for(i=1;i<rows.size();++i) {
-            Row2 row = rows.get(i);
-            Expression pattern = row.patterns[viewPatternColumn];
-            while(true) {
-                if(pattern instanceof EApplyType)
-                    pattern = ((EApplyType)pattern).getExpression();
-                else if(pattern instanceof EAsPattern) {
-                    EAsPattern asPattern = (EAsPattern)pattern;
-                    pattern = asPattern.getPattern();
-                    asPattern.getVariable().setVal(scrutinee[viewPatternColumn]);
-                }
-                else
-                    break;
-                row.patterns[viewPatternColumn] = pattern;
-            }
-            if(!(pattern instanceof EViewPattern))
-                break;
-            EViewPattern otherViewPattern = (EViewPattern)pattern;
-            if(!otherViewPattern.expression.equalsExpression(firstViewPattern.expression))
-                break;
-            row.patterns[viewPatternColumn] = otherViewPattern.pattern;
-        }
-        
-        IVal[] newScrutinee = Arrays.copyOf(scrutinee, scrutinee.length);
-        newScrutinee[viewPatternColumn] =
-                w.apply(firstViewPattern.location,
-                        firstViewPattern.expression.toVal(env, w),
-                        scrutinee[viewPatternColumn]);
-        if(i == rows.size()) {
-            split(w, env, newScrutinee, failure, rows);
-        }
-        else {
-            CodeWriter cont = w.createBlock();
-            split(w, env, newScrutinee, cont.getContinuation(), rows.subList(0, i));
-            split(cont, env, scrutinee, failure, rows.subList(i, rows.size()));
-        }
-    }
-
-    public static void split(CodeWriter w, Environment env, IVal[] scrutinee, ICont failure, List<Row2> rows) {
-        Row2 firstRow = rows.get(0);
-        Expression[] patterns = firstRow.patterns;
-        if(scrutinee.length != patterns.length)
-            throw new InternalCompilerError("Scrutinee and patterns have a different length");
-        
-        // Find a non-variable pattern and split by it
-        int viewPatternColumn = -1;
-        for(int i=0;i<patterns.length;++i) {
-            Expression pattern = patterns[i];
-            if(pattern instanceof EViewPattern) {
-                if(viewPatternColumn == -1)
-                    viewPatternColumn = i;
-            }
-            else if(!(pattern instanceof EVariable)) {
-                splitByConstructors(w, env, scrutinee, failure, rows, i);
-                return;
-            }
-        }
-        
-        if(viewPatternColumn >= 0) {
-            splitByViewPattern(w, env, scrutinee, failure, rows, viewPatternColumn);
-            return;
-        }
-
-        // The first row has only variable patterns: no matching needed
-        for(int i=0;i<patterns.length;++i)
-            ((EVariable)patterns[i]).getVariable().setVal(scrutinee[i]);
-        w.jump(firstRow.continuation);
-    }
-}
+package org.simantics.scl.compiler.internal.elaboration.matching2;
+
+import java.util.ArrayList;
+import java.util.Arrays;
+import java.util.List;
+
+import org.simantics.scl.compiler.common.exceptions.InternalCompilerError;
+import org.simantics.scl.compiler.constants.Constant;
+import org.simantics.scl.compiler.elaboration.expressions.EApply;
+import org.simantics.scl.compiler.elaboration.expressions.EApplyType;
+import org.simantics.scl.compiler.elaboration.expressions.EAsPattern;
+import org.simantics.scl.compiler.elaboration.expressions.EConstant;
+import org.simantics.scl.compiler.elaboration.expressions.EExternalConstant;
+import org.simantics.scl.compiler.elaboration.expressions.ELiteral;
+import org.simantics.scl.compiler.elaboration.expressions.EVariable;
+import org.simantics.scl.compiler.elaboration.expressions.EViewPattern;
+import org.simantics.scl.compiler.elaboration.expressions.Expression;
+import org.simantics.scl.compiler.elaboration.modules.SCLValue;
+import org.simantics.scl.compiler.elaboration.modules.TypeConstructor;
+import org.simantics.scl.compiler.environment.Environment;
+import org.simantics.scl.compiler.internal.codegen.continuations.Branch;
+import org.simantics.scl.compiler.internal.codegen.continuations.ICont;
+import org.simantics.scl.compiler.internal.codegen.references.IVal;
+import org.simantics.scl.compiler.internal.codegen.writer.CodeWriter;
+import org.simantics.scl.compiler.types.TCon;
+import org.simantics.scl.compiler.types.Types;
+import org.simantics.scl.compiler.types.exceptions.MatchException;
+
+import gnu.trove.map.hash.THashMap;
+
+public class PatternMatchingCompiler2 {
+
+    private static class ExpressionMatrix {
+        final CodeWriter w;
+        final IVal[] scrutinee;
+        final List<Row2> rows = new ArrayList<Row2>();
+
+        public ExpressionMatrix(CodeWriter w, IVal[] scrutinee) {
+            this.w = w;
+            this.scrutinee = scrutinee;
+        }
+    }
+
+    public static IVal[] replace(IVal[] vals, int columnToReplace, IVal ... substitution) {
+        IVal[] newVals = new IVal[vals.length-1+substitution.length];
+        int j=0;
+        for(int i=0;i<columnToReplace;++i)
+            newVals[j++] = vals[i];
+        for(int i=0;i<substitution.length;++i)
+            newVals[j++] = substitution[i];
+        for(int i=columnToReplace+1;i<vals.length;++i)
+            newVals[j++] = vals[i];
+        return newVals;
+    }
+
+    private static void splitByConstructors(CodeWriter w, final Environment env, IVal[] scrutinee, ICont failure, List<Row2> rows, int columnId) {
+        THashMap<Object, ExpressionMatrix> matrixMap = new THashMap<Object, ExpressionMatrix>();
+        ArrayList<Branch> branches = new ArrayList<Branch>();
+        ArrayList<ExpressionMatrix> matrices = new ArrayList<ExpressionMatrix>();
+        
+        /*System.out.println("---");
+        for(Row row : rows) {
+            for(Expression e : row.patterns)
+                System.out.print(e + " ");
+            System.out.println();
+        }*/
+
+        int i;
+        for(i=0;i<rows.size();++i) {
+            Row2 row = rows.get(i);
+            Expression pattern = row.patterns[columnId];
+            while(true) {
+                if(pattern instanceof EApplyType)
+                    pattern = ((EApplyType)pattern).getExpression();
+                else if(pattern instanceof EAsPattern) {
+                    EAsPattern asPattern = (EAsPattern)pattern;
+                    pattern = asPattern.getPattern();
+                    asPattern.getVariable().setVal(scrutinee[columnId]);
+                }
+                else
+                    break;
+                row.patterns[columnId] = pattern;
+            }
+            if(pattern instanceof EVariable)
+                break;
+            else if(pattern instanceof EApply) {
+                EApply applyConstructor = (EApply)pattern;
+                Expression constructor_ = applyConstructor.getFunction();
+                while(constructor_ instanceof EApplyType)
+                    constructor_ = ((EApplyType)constructor_).getExpression();
+                Expression[] parameters = applyConstructor.getParameters();
+                // TODO How type parameters are handled???
+                if(constructor_ instanceof EConstant) {
+                    SCLValue constructor = ((EConstant)constructor_).getValue();
+    
+                    ExpressionMatrix matrix = matrixMap.get(constructor.getName());
+                    if(matrix == null) {
+                        CodeWriter newW = w.createBlock(Types.getTypes(parameters));
+                        branches.add(new Branch((Constant)constructor.getValue(), newW.getContinuation()));
+                        matrix = new ExpressionMatrix(newW, replace(scrutinee, columnId, newW.getParameters()));
+                        matrices.add(matrix);
+                        matrixMap.put(constructor.getName(), matrix);
+                    }
+                    matrix.rows.add(row.replace(columnId, parameters));
+                }
+                else if(constructor_ instanceof ELiteral) {
+                    Constant constructor = ((ELiteral)constructor_).getValue();
+                    
+                    ExpressionMatrix matrix = matrixMap.get(constructor);
+                    if(matrix == null) {
+                        CodeWriter newW = w.createBlock(Types.getTypes(parameters));
+                        branches.add(new Branch(constructor, newW.getContinuation()));
+                        matrix = new ExpressionMatrix(newW, replace(scrutinee, columnId, newW.getParameters()));
+                        matrices.add(matrix);
+                        matrixMap.put(constructor, matrix);
+                    }
+                    matrix.rows.add(row.replace(columnId, parameters));
+                }
+            }
+            else if(pattern instanceof EConstant) {
+                EConstant applyConstructor = (EConstant)pattern;
+                SCLValue constructor = applyConstructor.getValue();
+
+                ExpressionMatrix matrix = matrixMap.get(constructor.getName());
+                if(matrix == null) {
+                    CodeWriter newW = w.createBlock();
+                    branches.add(new Branch((Constant)constructor.getValue(), newW.getContinuation()));
+                    matrix = new ExpressionMatrix(newW, replace(scrutinee, columnId, newW.getParameters()));
+                    matrices.add(matrix);
+                    matrixMap.put(constructor.getName(), matrix);
+                }
+                matrix.rows.add(row.replace(columnId, Expression.EMPTY_ARRAY));
+            }
+            else if(pattern instanceof ELiteral) {
+                ELiteral literal = (ELiteral)pattern;
+                Constant constructor = literal.getValue();
+
+                ExpressionMatrix matrix = matrixMap.get(constructor);
+                if(matrix == null) {
+                    CodeWriter newW = w.createBlock();
+                    branches.add(new Branch(constructor, newW.getContinuation()));
+                    matrix = new ExpressionMatrix(newW, replace(scrutinee, columnId, newW.getParameters()));
+                    matrices.add(matrix);
+                    matrixMap.put(constructor, matrix);
+                }
+                matrix.rows.add(row.replace(columnId, Expression.EMPTY_ARRAY));
+            }
+            else if(pattern instanceof EExternalConstant) {
+                EExternalConstant constant = (EExternalConstant)pattern;
+                Constant constructor = w.getModuleWriter().getExternalConstant(constant.getValue(), constant.getType());
+
+                ExpressionMatrix matrix = matrixMap.get(constructor);
+                if(matrix == null) {
+                    CodeWriter newW = w.createBlock();
+                    branches.add(new Branch(constructor, newW.getContinuation()));
+                    matrix = new ExpressionMatrix(newW, replace(scrutinee, columnId, newW.getParameters()));
+                    matrices.add(matrix);
+                    matrixMap.put(constructor, matrix);
+                }
+                matrix.rows.add(row.replace(columnId, Expression.EMPTY_ARRAY));
+            }
+            else
+                throw new InternalCompilerError("Cannot handle an instance of " + pattern.getClass().getSimpleName() + " in a pattern.");
+        }
+        if(i < rows.size()) {
+            CodeWriter newW = w.createBlock();
+            ICont cont = newW.getContinuation();
+            branches.add(new Branch(null, cont));
+            split(newW, env, scrutinee, failure, rows.subList(i, rows.size()));
+            failure = cont;
+        }
+        else {
+            TCon con;
+            try {
+                con = Types.getConstructor(scrutinee[columnId].getType());
+            } catch (MatchException e) {
+                throw new InternalCompilerError(e);
+            }
+            TypeConstructor cons = (TypeConstructor)env.getTypeDescriptor(con);
+            int maxBranchCount = cons.isOpen ? Integer.MAX_VALUE 
+                    : cons.constructors.length;
+            if(branches.size() < maxBranchCount)
+                branches.add(new Branch(null, failure));
+        }
+
+        for(ExpressionMatrix mx : matrices)
+            split(mx.w, env, mx.scrutinee, failure, mx.rows);
+        w.switch_(scrutinee[columnId], branches.toArray(new Branch[branches.size()]));
+    }
+
+    private static void splitByViewPattern(CodeWriter w, Environment env, IVal[] scrutinee, ICont failure, List<Row2> rows, int viewPatternColumn) {
+        Row2 firstRow = rows.get(0);
+        EViewPattern firstViewPattern = (EViewPattern)firstRow.patterns[viewPatternColumn];
+        firstRow.patterns[viewPatternColumn] = firstViewPattern.pattern;
+        int i;
+        for(i=1;i<rows.size();++i) {
+            Row2 row = rows.get(i);
+            Expression pattern = row.patterns[viewPatternColumn];
+            while(true) {
+                if(pattern instanceof EApplyType)
+                    pattern = ((EApplyType)pattern).getExpression();
+                else if(pattern instanceof EAsPattern) {
+                    EAsPattern asPattern = (EAsPattern)pattern;
+                    pattern = asPattern.getPattern();
+                    asPattern.getVariable().setVal(scrutinee[viewPatternColumn]);
+                }
+                else
+                    break;
+                row.patterns[viewPatternColumn] = pattern;
+            }
+            if(!(pattern instanceof EViewPattern))
+                break;
+            EViewPattern otherViewPattern = (EViewPattern)pattern;
+            if(!otherViewPattern.expression.equalsExpression(firstViewPattern.expression))
+                break;
+            row.patterns[viewPatternColumn] = otherViewPattern.pattern;
+        }
+        
+        IVal[] newScrutinee = Arrays.copyOf(scrutinee, scrutinee.length);
+        newScrutinee[viewPatternColumn] =
+                w.apply(firstViewPattern.location,
+                        firstViewPattern.expression.toVal(env, w),
+                        scrutinee[viewPatternColumn]);
+        if(i == rows.size()) {
+            split(w, env, newScrutinee, failure, rows);
+        }
+        else {
+            CodeWriter cont = w.createBlock();
+            split(w, env, newScrutinee, cont.getContinuation(), rows.subList(0, i));
+            split(cont, env, scrutinee, failure, rows.subList(i, rows.size()));
+        }
+    }
+
+    public static void split(CodeWriter w, Environment env, IVal[] scrutinee, ICont failure, List<Row2> rows) {
+        Row2 firstRow = rows.get(0);
+        Expression[] patterns = firstRow.patterns;
+        if(scrutinee.length != patterns.length)
+            throw new InternalCompilerError("Scrutinee and patterns have a different length");
+        
+        // Find a non-variable pattern and split by it
+        int viewPatternColumn = -1;
+        for(int i=0;i<patterns.length;++i) {
+            Expression pattern = patterns[i];
+            if(pattern instanceof EViewPattern) {
+                if(viewPatternColumn == -1)
+                    viewPatternColumn = i;
+            }
+            else if(!(pattern instanceof EVariable)) {
+                splitByConstructors(w, env, scrutinee, failure, rows, i);
+                return;
+            }
+        }
+        
+        if(viewPatternColumn >= 0) {
+            splitByViewPattern(w, env, scrutinee, failure, rows, viewPatternColumn);
+            return;
+        }
+
+        // The first row has only variable patterns: no matching needed
+        for(int i=0;i<patterns.length;++i)
+            ((EVariable)patterns[i]).getVariable().setVal(scrutinee[i]);
+        w.jump(firstRow.continuation);
+    }
+}