package org.simantics.scl.compiler.internal.deriving; import java.util.ArrayList; import org.simantics.scl.compiler.common.datatypes.Constructor; import org.simantics.scl.compiler.constants.IntegerConstant; import org.simantics.scl.compiler.elaboration.errors.NotPatternException; import org.simantics.scl.compiler.elaboration.expressions.EApply; import org.simantics.scl.compiler.elaboration.expressions.ELiteral; import org.simantics.scl.compiler.elaboration.expressions.EVar; import org.simantics.scl.compiler.elaboration.expressions.Expression; import org.simantics.scl.compiler.elaboration.modules.TypeAlias; import org.simantics.scl.compiler.elaboration.modules.TypeConstructor; import org.simantics.scl.compiler.elaboration.modules.TypeDescriptor; import org.simantics.scl.compiler.environment.AmbiguousNameException; import org.simantics.scl.compiler.environment.Environment; import org.simantics.scl.compiler.environment.Environments; import org.simantics.scl.compiler.errors.ErrorLog; import org.simantics.scl.compiler.internal.parsing.declarations.DDerivingInstanceAst; import org.simantics.scl.compiler.internal.parsing.declarations.DInstanceAst; import org.simantics.scl.compiler.internal.parsing.declarations.DValueAst; import org.simantics.scl.compiler.internal.parsing.expressions.Expressions; import org.simantics.scl.compiler.internal.parsing.translation.ProcessedDInstanceAst; import org.simantics.scl.compiler.internal.parsing.translation.ValueRepository; import org.simantics.scl.compiler.internal.parsing.types.TVarAst; import org.simantics.scl.compiler.types.TCon; class OrdDeriver implements InstanceDeriver { @Override public void derive( ErrorLog errorLog, Environment environment, ArrayList instancesAst, DDerivingInstanceAst der) { // Analyze if(der.types.length != 1) { errorLog.log(der.location, "Invalid number of parameters to " + der.name); return; } TVarAst headType = DerivingUtils.getHeadType(der.types[0]); if(headType == null) { errorLog.log(der.types[0].location, "Cannot derive Ord instance for the type " + headType + "."); return; } TCon con; try { con = Environments.getTypeDescriptorName(environment, headType.name); } catch (AmbiguousNameException e1) { errorLog.log(headType.location, e1.getMessage()); return; } if(con == null) { errorLog.log(headType.location, "Couldn't resolve " + headType.name); return; } TypeDescriptor tdesc = environment.getTypeDescriptor(con); if(tdesc == null) { errorLog.log(headType.location, "Didn't find type constructor for " + headType.name); return; } if(tdesc instanceof TypeAlias) { errorLog.log(headType.location, "Cannot derive instance for a type alias."); return; } TypeConstructor tcon = (TypeConstructor)tdesc; if(tcon.isOpen) { errorLog.log(headType.location, "Cannot derive instance for open data types."); return; } // Generate DInstanceAst instanceAst = new DInstanceAst(der.location, der.context, der.name, der.types); ValueRepository valueDefs = new ValueRepository(); int cCount = tcon.constructors.length; for(int a=0;aemptyList()));*/ } catch (NotPatternException e) { errorLog.log(e.getExpression().location, "Not a pattern."); } } else { String[] parB = new String[lA]; for(int i=0;i=0;--i) value = new EApply( new EVar("&<&"), new EApply( new EVar("compare"), new EVar(parA[i]), new EVar(parB[i])), value); try { DValueAst valueAst = new DValueAst(lhs, value); valueAst.setLocationDeep(der.location); valueDefs.add(valueAst); /*valueDefs.addAnnotation("&<&", new DAnnotationAst(new EVar("@private"), Collections.emptyList()));*/ } catch (NotPatternException e) { errorLog.log(e.getExpression().location, "Not a pattern."); } } } } instancesAst.add(new ProcessedDInstanceAst(instanceAst, valueDefs)); } }