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%2Fparsing%2Ftypes%2FTFunctionAst.java;h=5a4356ab45b61891353074187a3a0a5696895a11;hp=d11fc8854b863a8b2202ce9c88435253ccce5563;hb=0ae2b770234dfc3cbb18bd38f324125cf0faca07;hpb=24e2b34260f219f0d1644ca7a138894980e25b14

diff --git a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/internal/parsing/types/TFunctionAst.java b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/internal/parsing/types/TFunctionAst.java
index d11fc8854..5a4356ab4 100644
--- a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/internal/parsing/types/TFunctionAst.java
+++ b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/internal/parsing/types/TFunctionAst.java
@@ -1,91 +1,91 @@
-package org.simantics.scl.compiler.internal.parsing.types;
-
-import org.simantics.scl.compiler.elaboration.contexts.TypeTranslationContext;
-import org.simantics.scl.compiler.internal.types.TypeElaborationContext;
-import org.simantics.scl.compiler.types.Type;
-import org.simantics.scl.compiler.types.Types;
-import org.simantics.scl.compiler.types.kinds.Kind;
-import org.simantics.scl.compiler.types.kinds.Kinds;
-
-import gnu.trove.map.hash.TObjectIntHashMap;
-import gnu.trove.set.hash.TIntHashSet;
-
-
-
-public class TFunctionAst extends TypeAst {
-    public final TypeAst domain;
-    public final TypeAst range;
-    
-    public TFunctionAst(TypeAst domain, TypeAst range) {
-        this.domain = domain;
-        this.range = range;
-    }
-    
-    @Override
-    public void toString(StringBuilder b) {
-        domain.toString(b, 2);
-        b.append(" -> ");
-        range.toString(b, 3);
-    }
-
-    @Override
-    public Type toType(TypeTranslationContext context, Kind expectedKind) {
-        context.unify(location, Kinds.STAR, expectedKind);
-        if(range instanceof TEffectAst) {
-            TEffectAst effectAst = (TEffectAst)range;
-            return Types.functionE(
-                    domain.toType(context, Kinds.STAR),
-                    toEffect(context, effectAst.effects),
-                    effectAst.type.toType(context, Kinds.STAR));
-        }
-        else
-            return Types.function(domain.toType(context, Kinds.STAR), range.toType(context, Kinds.STAR));
-    }
-    
-    @Override
-    public Type toType(TypeElaborationContext context) {
-        if(range instanceof TEffectAst) {
-            TEffectAst effectAst = (TEffectAst)range;
-            return Types.functionE(
-                    domain.toType(context),
-                    toEffect(context, effectAst.effects),
-                    effectAst.type.toType(context));
-        }
-        else
-            return Types.function(domain.toType(context), range.toType(context));
-    }
-    
-    static Type toEffect(TypeTranslationContext context, TypeAst[] effects) {
-        if(effects.length == 0)
-            return Types.NO_EFFECTS;
-        if(effects.length == 1)
-            return effects[0].toEffect(context);
-        Type[] types = new Type[effects.length];
-        for(int i=0;i<effects.length;++i)
-            types[i] = effects[i].toEffect(context);
-        return Types.union(types);
-    }
-    
-    static Type toEffect(TypeElaborationContext context, TypeAst[] effects) {
-        if(effects.length == 0)
-            return Types.NO_EFFECTS;
-        if(effects.length == 1)
-            return effects[0].toEffect(context);
-        Type[] types = new Type[effects.length];
-        for(int i=0;i<effects.length;++i)
-            types[i] = effects[i].toEffect(context);
-        return Types.union(types);
-    }
-    
-    @Override
-    public int getPrecedence() {
-        return 2;
-    }
-
-    @Override
-    public void collectReferences(TObjectIntHashMap<String> typeNameMap,
-            TIntHashSet set) {
-        domain.collectReferences(typeNameMap, set);
-        range.collectReferences(typeNameMap, set);
-    }
-}
+package org.simantics.scl.compiler.internal.parsing.types;
+
+import org.simantics.scl.compiler.elaboration.contexts.TypeTranslationContext;
+import org.simantics.scl.compiler.internal.types.TypeElaborationContext;
+import org.simantics.scl.compiler.types.Type;
+import org.simantics.scl.compiler.types.Types;
+import org.simantics.scl.compiler.types.kinds.Kind;
+import org.simantics.scl.compiler.types.kinds.Kinds;
+
+import gnu.trove.map.hash.TObjectIntHashMap;
+import gnu.trove.set.hash.TIntHashSet;
+
+
+
+public class TFunctionAst extends TypeAst {
+    public final TypeAst domain;
+    public final TypeAst range;
+    
+    public TFunctionAst(TypeAst domain, TypeAst range) {
+        this.domain = domain;
+        this.range = range;
+    }
+    
+    @Override
+    public void toString(StringBuilder b) {
+        domain.toString(b, 2);
+        b.append(" -> ");
+        range.toString(b, 3);
+    }
+
+    @Override
+    public Type toType(TypeTranslationContext context, Kind expectedKind) {
+        context.unify(location, Kinds.STAR, expectedKind);
+        if(range instanceof TEffectAst) {
+            TEffectAst effectAst = (TEffectAst)range;
+            return Types.functionE(
+                    domain.toType(context, Kinds.STAR),
+                    toEffect(context, effectAst.effects),
+                    effectAst.type.toType(context, Kinds.STAR));
+        }
+        else
+            return Types.function(domain.toType(context, Kinds.STAR), range.toType(context, Kinds.STAR));
+    }
+    
+    @Override
+    public Type toType(TypeElaborationContext context) {
+        if(range instanceof TEffectAst) {
+            TEffectAst effectAst = (TEffectAst)range;
+            return Types.functionE(
+                    domain.toType(context),
+                    toEffect(context, effectAst.effects),
+                    effectAst.type.toType(context));
+        }
+        else
+            return Types.function(domain.toType(context), range.toType(context));
+    }
+    
+    static Type toEffect(TypeTranslationContext context, TypeAst[] effects) {
+        if(effects.length == 0)
+            return Types.NO_EFFECTS;
+        if(effects.length == 1)
+            return effects[0].toEffect(context);
+        Type[] types = new Type[effects.length];
+        for(int i=0;i<effects.length;++i)
+            types[i] = effects[i].toEffect(context);
+        return Types.union(types);
+    }
+    
+    static Type toEffect(TypeElaborationContext context, TypeAst[] effects) {
+        if(effects.length == 0)
+            return Types.NO_EFFECTS;
+        if(effects.length == 1)
+            return effects[0].toEffect(context);
+        Type[] types = new Type[effects.length];
+        for(int i=0;i<effects.length;++i)
+            types[i] = effects[i].toEffect(context);
+        return Types.union(types);
+    }
+    
+    @Override
+    public int getPrecedence() {
+        return 2;
+    }
+
+    @Override
+    public void collectReferences(TObjectIntHashMap<String> typeNameMap,
+            TIntHashSet set) {
+        domain.collectReferences(typeNameMap, set);
+        range.collectReferences(typeNameMap, set);
+    }
+}