--- /dev/null
+package org.simantics.scl.compiler.internal.parsing.declarations;\r
+\r
+import java.util.ArrayList;\r
+\r
+import org.simantics.scl.compiler.elaboration.expressions.EVar;\r
+import org.simantics.scl.compiler.internal.parsing.types.TypeAst;\r
+\r
+public class DDerivingInstanceAst extends DeclarationAst {\r
+ public final TypeAst[] context;\r
+ public final EVar name;\r
+ public final TypeAst[] types;\r
+ \r
+ public DDerivingInstanceAst(ArrayList<TypeAst> context, EVar name, \r
+ TypeAst[] types) {\r
+ this.context = context.toArray(new TypeAst[context.size()]);\r
+ this.name = name;\r
+ this.types = types;\r
+ }\r
+ \r
+ @Override\r
+ public void toString(int indentation, StringBuilder b) {\r
+ for(int i=0;i<indentation;++i) b.append(" ");\r
+ b.append("deriving instance ");\r
+ if(context.length > 0) {\r
+ b.append("(");\r
+ for(int i=0;i<context.length;++i) {\r
+ if(i>0)\r
+ b.append(", ");\r
+ context[i].toString(b);\r
+ }\r
+ b.append(") => ");\r
+ \r
+ }\r
+ b.append(name);\r
+ for(TypeAst type : types) {\r
+ b.append(' ');\r
+ type.toString(b, 1);\r
+ }\r
+ }\r
+}\r