import org.simantics.scl.compiler.types.Types;
import org.simantics.scl.compiler.types.kinds.Kind;
import org.simantics.scl.compiler.types.kinds.Kinds;
import org.simantics.scl.compiler.types.Types;
import org.simantics.scl.compiler.types.kinds.Kind;
import org.simantics.scl.compiler.types.kinds.Kinds;
* This class represents an abstract syntax tree node for a type variable.
* The only property of a type variable is its name.
*/
* This class represents an abstract syntax tree node for a type variable.
* The only property of a type variable is its name.
*/
}
else if(Character.isLowerCase(c))
return context.resolveTypeVariable(location, name, expectedKind);
}
else if(Character.isLowerCase(c))
return context.resolveTypeVariable(location, name, expectedKind);
if(name.charAt(i) != ',') {
con = context.resolveTypeConstructor(name.substring(1, name.length()-1));
if(con == null) {
if(name.charAt(i) != ',') {
con = context.resolveTypeConstructor(name.substring(1, name.length()-1));
if(con == null) {