]> gerrit.simantics Code Review - simantics/platform.git/blobdiff - bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/internal/codegen/types/BTypes.java
Fixed all line endings of the repository
[simantics/platform.git] / bundles / org.simantics.scl.compiler / src / org / simantics / scl / compiler / internal / codegen / types / BTypes.java
index fed668600fa02ebc51d3d39b019f94b7c3d2a442..089a54270508b70bae2c79bd278d52cf54eca7e0 100644 (file)
@@ -1,50 +1,50 @@
-package org.simantics.scl.compiler.internal.codegen.types;\r
-\r
-import org.simantics.scl.compiler.types.TCon;\r
-import org.simantics.scl.compiler.types.TFun;\r
-import org.simantics.scl.compiler.types.Type;\r
-import org.simantics.scl.compiler.types.Types;\r
-import org.simantics.scl.compiler.types.exceptions.MatchException;\r
-\r
-/**\r
- * Type utilites for SCL compiler backend\r
- */\r
-public class BTypes {\r
-    \r
-    public static final TCon PROC = Types.con(Types.BUILTIN, "Proc");\r
\r
-    public static Type[] matchFunction(Type type, int arity) throws MatchException {\r
-        type = Types.canonical(type);\r
-        /*while(type instanceof TForAll)\r
-            type = ((TForAll)type).type;*/\r
-        Type[] result = new Type[arity+1];\r
-        for(int i=0;i<arity;++i) {\r
-            if(type instanceof TFun) {\r
-                TFun fun = (TFun)type;\r
-                result[i] = fun.domain;\r
-                type = Types.canonical(fun.range);\r
-            }\r
-            /*else if(type instanceof TApply) {\r
-                TApply apply1 = (TApply)type;\r
-                Type function1 = Types.canonical(apply1.function);\r
-                if(function1 instanceof TApply) {\r
-                    TApply apply2 = (TApply)function1;\r
-                    Type function2 = Types.canonical(apply2.function);\r
-                    if(function2 == Types.ARROW) {\r
-                        result[i] = apply2.parameter;\r
-                        type = Types.canonical(apply1.parameter);\r
-                    }\r
-                    else\r
-                        throw new MatchException();\r
-                }\r
-                else\r
-                    throw new MatchException();\r
-            }*/\r
-            else\r
-                throw new MatchException();\r
-        }\r
-        result[arity] = type;\r
-        return result;\r
-    }\r
-\r
-}\r
+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;
+    }
+
+}