import java.util.Collections;
import java.util.List;
+import org.simantics.scl.compiler.common.exceptions.InternalCompilerError;
import org.simantics.scl.compiler.errors.Locations;
import org.simantics.scl.compiler.internal.parsing.exceptions.SCLSyntaxErrorException;
import org.simantics.scl.compiler.internal.parsing.parser.SCLParserImpl;
public static final TCon LONG = con(BUILTIN, "Long");
public static final TCon FLOAT = con(BUILTIN, "Float");
public static final TCon DOUBLE = con(BUILTIN, "Double");
-
- public static final TCon BOOLEAN_ARRAY = con(BUILTIN, "BooleanArray");
- public static final TCon BYTE_ARRAY = con(BUILTIN, "ByteArray");
- public static final TCon CHARACTER_ARRAY = con(BUILTIN, "CharacterArray");
- public static final TCon SHORT_ARRAY = con(BUILTIN, "ShortArray");
- public static final TCon INTEGER_ARRAY = con(BUILTIN, "IntegerArray");
- public static final TCon LONG_ARRAY = con(BUILTIN, "LongArray");
- public static final TCon FLOAT_ARRAY = con(BUILTIN, "FloatArray");
- public static final TCon DOUBLE_ARRAY = con(BUILTIN, "DoubleArray");
public static final TCon STRING = con(BUILTIN, "String");
public static final TCon ARROW = con(BUILTIN, "->");
public static final TCon TYPEABLE = con(BUILTIN, "Typeable");
public static final TCon SERIALIZABLE = con(BUILTIN, "Serializable");
public static final TCon VEC_COMP = con(BUILTIN, "VecComp");
+ public static final TCon CLASS = con(BUILTIN, "Class");
public static final TCon BINDING = con(BUILTIN, "Binding");
+ public static final TCon TYPE = con(BUILTIN, "Type");
+
public static final TCon DYNAMIC = con("Prelude", "Dynamic");
public static final TCon VARIANT = con(BUILTIN, "Variant");
public static final TCon ADDITIVE = con("Prelude", "Additive");
public static final TCon MONAD = con("Prelude", "Monad");
+ public static final TCon MONAD_E = con("Prelude", "MonadE");
public static final TCon INTEGRAL = con("Prelude", "Integral");
public static final TCon RING = con("Prelude", "Ring");
public static final TCon ORDERED_RING = con("Prelude", "OrderedRing");
public static final TCon REAL = con("Prelude", "Real");
public static final TCon SHOW = con("Prelude", "Show");
- public static final TCon EQ = con("Prelude", "Eq");
public static final TCon ORD = con("Prelude", "Ord");
- public static final TCon HASHABLE = con("Prelude", "Hashable");
public static final TCon IO = con("Serialization", "IO");
public static final Type REF = con("Prelude", "Ref");
public static final TUnion NO_EFFECTS = new TUnion();
public static final TCon PROC = con(BUILTIN, "Proc");
+ public static final TCon EXCEPTION = con(BUILTIN, "Exception");
public static final TCon BRANCH_POINT = con(BUILTIN, "BranchPoint");
+
+ public static final TCon CHRContext = con(BUILTIN, "CHRContext");
+
+ public static final Type BOOLEAN_ARRAY = vector(BOOLEAN);
+ public static final Type BYTE_ARRAY = vector(BYTE);
+ public static final Type CHARACTER_ARRAY = vector(CHARACTER);
+ public static final Type SHORT_ARRAY = vector(SHORT);
+ public static final Type INTEGER_ARRAY = vector(INTEGER);
+ public static final Type LONG_ARRAY = vector(LONG);
+ public static final Type FLOAT_ARRAY = vector(FLOAT);
+ public static final Type DOUBLE_ARRAY = vector(DOUBLE);
private volatile static TCon[] tupleCache = new TCon[] {
UNIT, null
}
};
-
+
public static boolean isPrimitive(Type type) {
return type == BOOLEAN || type == BYTE || type == CHARACTER || type == SHORT ||
type == INTEGER || type == LONG || type == FLOAT || type == DOUBLE || type == STRING;
* Get the concrete type pointed to by a chain of type meta-variables.
*/
public static Type canonical(Type type) {
- while(type instanceof TMetaVar) {
+ if(type instanceof TMetaVar) {
TMetaVar metaVar = (TMetaVar)type;
type = metaVar.ref;
if(type == null)
return metaVar;
+ else
+ return metaVar.ref = canonical(type);
}
return type;
}
parameters.add(Types.canonical(apply.parameter));
type = canonical(apply.function);
}
- return new MultiApply(type, parameters.toArray(new Type[parameters.size()]));
+ Type[] parametersArray;
+ if(parameters.isEmpty())
+ parametersArray = Type.EMPTY_ARRAY;
+ else {
+ parametersArray = new Type[parameters.size()];
+ for(int i=0,j=parametersArray.length-1;i<parametersArray.length;++i,--j)
+ parametersArray[i] = parameters.get(j);
+ }
+ return new MultiApply(type, parametersArray);
}
public static Type unifyApply(TCon func, Type type) throws MatchException {
effect,
type);
}
+
+ /**
+ * This function always success, but may return a multi function
+ * with arity smaller than given parameter
+ */
+ public static MultiFunction unifyFunction2(Type type, int arity) {
+ type = canonical(type);
+ Type[] parameterTypes = new Type[arity];
+ Type effect = Types.NO_EFFECTS;
+ int i;
+ for(i=0;i<arity;++i) {
+ if(type instanceof TFun) {
+ TFun fun = (TFun)type;
+ parameterTypes[i] = fun.getCanonicalDomain();
+ type = fun.getCanonicalRange();
+ effect = fun.getCanonicalEffect();
+ if(effect != Types.NO_EFFECTS) {
+ ++i;
+ break;
+ }
+ }
+ else if(type instanceof TMetaVar) {
+ Type domain = metaVar(Kinds.STAR);
+ parameterTypes[i] = domain;
+ Type range = metaVar(Kinds.STAR);
+ effect = metaVar(Kinds.EFFECT);
+ try {
+ ((TMetaVar) type).setRef(functionE(domain, effect, range));
+ } catch (UnificationException e) {
+ // Should never happen, if we have checked maximum arity before calling this function
+ throw new InternalCompilerError(e);
+ }
+ type = range;
+ ++i;
+ break;
+ }
+ else
+ break;
+ }
+
+ if(i < arity)
+ parameterTypes = Arrays.copyOf(parameterTypes, i);
+ return new MultiFunction(parameterTypes, effect, type);
+ }
+
public static MultiFunction unifyFunction(Type type, int arity) throws UnificationException {
Type[] parameterTypes = new Type[arity];
for(int i=0;i<arity;++i)
}
return arity;
}
+
+ public static int getMaxArity(Type type) {
+ type = Skeletons.canonicalSkeleton(type);
+ int arity = 0;
+ while(true) {
+ if(type instanceof TFun) {
+ ++arity;
+ type = Skeletons.canonicalSkeleton(((TFun) type).getCanonicalRange());
+ }
+ else if(type instanceof TMetaVar) {
+ return Integer.MAX_VALUE;
+ }
+ else
+ break;
+ }
+ return arity;
+ }
public static TMetaVar metaVar(Kind kind) {
return new TMetaVar(kind);
return result;
}
+ public static TPred[] replace(TPred[] types, TVar[] from, Type[] to) {
+ if(types.length == 0)
+ return TPred.EMPTY_ARRAY;
+ TPred[] result = new TPred[types.length];
+ for(int i=0;i<types.length;++i)
+ result[i] = (TPred)types[i].replace(from, to);
+ return result;
+ }
+
public static <T extends Type> Type[] replace(Type[] types, THashMap<TVar, T> map) {
if(types.length == 0)
return Type.EMPTY_ARRAY;
else
return new TUnion(effects);
}
+
+ public static Type union(Type effect1, Type effect2) {
+ return new TUnion(effect1, effect2);
+ }
+
+ public static Type union(Type effect1, Type effect2, Type effect3) {
+ return new TUnion(effect1, effect2, effect3);
+ }
public static Type union(List<Type> effects) {
if(effects.size() == 0)
return parseType(new TypeElaborationContext(environment), text);
}
- public static Type parseType(ITypeEnvironment environment, THashMap<String, TVar> localTypeVars, String text) throws SCLTypeParseException {
- return parseType(new TypeElaborationContext(localTypeVars, environment), text);
- }
-
public static Type parseType(String text) throws SCLTypeParseException {
return parseType(new TypeElaborationContext(DUMMY_TYPE_ENVIRONMENT), text);
}
-
- public static Type parseType(THashMap<String, TVar> localTypeVars, String text) throws SCLTypeParseException {
- return parseType(new TypeElaborationContext(localTypeVars, DUMMY_TYPE_ENVIRONMENT), text);
- }
private static Type parseType(TypeElaborationContext context, String text) throws SCLTypeParseException {
SCLParserImpl parser = new SCLParserImpl(new StringReader(text));
Code Review / simantics / platform.git / blobdiff