Add tparams to constructors

Author: mattisboeckle

effekt/shared/src/main/scala/effekt/core/Parser.scala

@@ -267,7 +267,8 @@ class CoreParsers(names: Names) extends EffektLexers {
     `interface` ~> id ~ maybeTypeParams ~ (`{` ~/> many(property) <~ `}`) ^^ Declaration.Interface.apply
 
   lazy val constructor: P[Constructor] =
-    id ~ valueParams ^^ { case id ~ params => Constructor(id, params.map(p => Field(p.id, p.tpe))) }
+    // FIXME: This should have tparams as well
+    id ~ valueParams ^^ { case id ~ params => Constructor(id, params.map(p => Field(p.id, p.tpe)), List.empty) }
 
   lazy val property: P[Property] =
     id ~ (`:` ~> blockType) ^^ Property.apply

effekt/shared/src/main/scala/effekt/core/PolymorphismBoxing.scala

@@ -94,7 +94,7 @@ object PolymorphismBoxing extends Phase[CoreTransformed, CoreTransformed] {
   }
 
   def transform(constructor: Constructor)(using Context, DeclarationContext): Constructor = constructor match {
-    case Constructor(id, fields) => Constructor(id, fields map transform)
+    case Constructor(id, fields, tparams) => Constructor(id, fields map transform, tparams)
   }
 
   def transform(property: Property)(using Context, DeclarationContext): Property = property match {

effekt/shared/src/main/scala/effekt/core/PrettyPrinter.scala

@@ -145,7 +145,7 @@ object PrettyPrinter extends ParenPrettyPrinter {
   }
 
   def toDoc(c: Constructor): Doc = c match {
-    case Constructor(id, fields) => toDoc(id) <> parens(fields.map(toDoc))
+    case Constructor(id, fields, tparams) => toDoc(id) <> brackets(tparams.map(toDoc)) <> parens(fields.map(toDoc))
   }
   def toDoc(f: Field): Doc = f match {
     case Field(name, tpe) => toDoc(name) <> ":" <+> toDoc(tpe)

effekt/shared/src/main/scala/effekt/core/Transformer.scala

@@ -144,7 +144,7 @@ object Transformer extends Phase[Typechecked, CoreTransformed] {
   }.toList ++ exports.namespaces.values.flatMap(transform)
 
   def transform(c: symbols.Constructor)(using Context): core.Constructor =
-    core.Constructor(c, c.fields.map(f => core.Field(f, transform(f.returnType))))
+    core.Constructor(c, c.fields.map(f => core.Field(f, transform(f.returnType))), c.tparams)
 
   def transform(tree: source.Stmt)(using Context): Stmt = tree match {
     // { e; stmt } --> { let _ = e; stmt }

effekt/shared/src/main/scala/effekt/core/Tree.scala

@@ -123,7 +123,7 @@ enum Declaration extends Tree {
 }
 export Declaration.*
 
-case class Constructor(id: Id, fields: List[Field]) extends Tree
+case class Constructor(id: Id, fields: List[Field], tparams: List[Id]) extends Tree
 case class Field(id: Id, tpe: ValueType) extends Tree
 case class Property(id: Id, tpe: BlockType) extends Tree