X-Git-Url: https://gerrit.simantics.org/r/gitweb?a=blobdiff_plain;f=bundles%2Forg.simantics.scl.compiler%2Fsrc%2Forg%2Fsimantics%2Fscl%2Fcompiler%2Finternal%2Fcodegen%2Ftypes%2FBTypes.java;h=089a54270508b70bae2c79bd278d52cf54eca7e0;hb=66ced93f835205135a84fea73b2fbb8e9d610f7e;hp=fed668600fa02ebc51d3d39b019f94b7c3d2a442;hpb=969bd23cab98a79ca9101af33334000879fb60c5;p=simantics%2Fplatform.git

diff --git a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/internal/codegen/types/BTypes.java b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/internal/codegen/types/BTypes.java
index fed668600..089a54270 100644
--- a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/internal/codegen/types/BTypes.java
+++ b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/internal/codegen/types/BTypes.java
@@ -1,50 +1,50 @@
-package org.simantics.scl.compiler.internal.codegen.types;
-
-import org.simantics.scl.compiler.types.TCon;
-import org.simantics.scl.compiler.types.TFun;
-import org.simantics.scl.compiler.types.Type;
-import org.simantics.scl.compiler.types.Types;
-import org.simantics.scl.compiler.types.exceptions.MatchException;
-
-/**
- * Type utilites for SCL compiler backend
- */
-public class BTypes {
-    
-    public static final TCon PROC = Types.con(Types.BUILTIN, "Proc");
- 
-    public static Type[] matchFunction(Type type, int arity) throws MatchException {
-        type = Types.canonical(type);
-        /*while(type instanceof TForAll)
-            type = ((TForAll)type).type;*/
-        Type[] result = new Type[arity+1];
-        for(int i=0;i<arity;++i) {
-            if(type instanceof TFun) {
-                TFun fun = (TFun)type;
-                result[i] = fun.domain;
-                type = Types.canonical(fun.range);
-            }
-            /*else if(type instanceof TApply) {
-                TApply apply1 = (TApply)type;
-                Type function1 = Types.canonical(apply1.function);
-                if(function1 instanceof TApply) {
-                    TApply apply2 = (TApply)function1;
-                    Type function2 = Types.canonical(apply2.function);
-                    if(function2 == Types.ARROW) {
-                        result[i] = apply2.parameter;
-                        type = Types.canonical(apply1.parameter);
-                    }
-                    else
-                        throw new MatchException();
-                }
-                else
-                    throw new MatchException();
-            }*/
-            else
-                throw new MatchException();
-        }
-        result[arity] = type;
-        return result;
-    }
-
-}
+package org.simantics.scl.compiler.internal.codegen.types;
+
+import org.simantics.scl.compiler.types.TCon;
+import org.simantics.scl.compiler.types.TFun;
+import org.simantics.scl.compiler.types.Type;
+import org.simantics.scl.compiler.types.Types;
+import org.simantics.scl.compiler.types.exceptions.MatchException;
+
+/**
+ * Type utilites for SCL compiler backend
+ */
+public class BTypes {
+    
+    public static final TCon PROC = Types.con(Types.BUILTIN, "Proc");
+ 
+    public static Type[] matchFunction(Type type, int arity) throws MatchException {
+        type = Types.canonical(type);
+        /*while(type instanceof TForAll)
+            type = ((TForAll)type).type;*/
+        Type[] result = new Type[arity+1];
+        for(int i=0;i<arity;++i) {
+            if(type instanceof TFun) {
+                TFun fun = (TFun)type;
+                result[i] = fun.domain;
+                type = Types.canonical(fun.range);
+            }
+            /*else if(type instanceof TApply) {
+                TApply apply1 = (TApply)type;
+                Type function1 = Types.canonical(apply1.function);
+                if(function1 instanceof TApply) {
+                    TApply apply2 = (TApply)function1;
+                    Type function2 = Types.canonical(apply2.function);
+                    if(function2 == Types.ARROW) {
+                        result[i] = apply2.parameter;
+                        type = Types.canonical(apply1.parameter);
+                    }
+                    else
+                        throw new MatchException();
+                }
+                else
+                    throw new MatchException();
+            }*/
+            else
+                throw new MatchException();
+        }
+        result[arity] = type;
+        return result;
+    }
+
+}