Partial type signatures

effekt/jvm/src/main/scala/effekt/Server.scala

@@ -233,7 +233,7 @@ trait LSPServer extends kiama.util.Server[Tree, EffektConfig, EffektError] with
     }
   } yield res
 
-  def needsUpdate(annotated: (ValueType, Effects), inferred: (ValueType, Effects))(using Context): Boolean = {
+  def needsUpdate(annotated: (ValueType, EffectsOrRef), inferred: (ValueType, EffectsOrRef))(using Context): Boolean = {
     val (tpe1, effs1) = annotated
     val (tpe2, effs2) = inferred
     tpe1 != tpe2 || effs1 != effs2

effekt/jvm/src/test/scala/effekt/ConstraintTests.scala

@@ -33,7 +33,7 @@ abstract class ConstraintTests extends munit.FunSuite {
 
 
   def freshTypeVar(name: String) =
-    scope.fresh(TypeParam(Name.local(name)), NoSource)
+    scope.freshValueVar(Some(TypeParam(Name.local(name))), NoSource)
 
   def freshCaptVar(name: String) =
     scope.freshCaptVar(CaptUnificationVar.VariableInstantiation(CaptureParam(Name.local(name)), NoSource))
@@ -139,7 +139,7 @@ class TestSubstitutions extends ConstraintTests {
       import graph.*
 
       requireLower(Set(x), A)
-      leave(Nil, List(A))
+      leave(Nil, Nil, List(A), Nil)
 
       assert(subst.isDefinedAt(A))
       assert(subst.get(A) == Some(CaptureSet(x)))
@@ -150,7 +150,7 @@ class TestSubstitutions extends ConstraintTests {
       import graph.*
 
       requireLower(Set(x), A)
-      leave(Nil, List(A))
+      leave(Nil, Nil, List(A), Nil)
 
       connect(A, B)
       assert(B.lower == Some(Set(x)))
@@ -198,7 +198,7 @@ class TestSubtracting extends ConstraintTests {
       import graph.*
 
       requireLower(Set(x), A)
-      leave(Nil, List(A))
+      leave(Nil, Nil, List(A), Nil)
 
       connect(A, B, Set(x))
 

effekt/jvm/src/test/scala/effekt/PartialTypeSignatureTest.scala

@@ -0,0 +1,18 @@
+package effekt
+
+import java.io.File
+import sbt.io.*
+import sbt.io.syntax.*
+
+import scala.language.implicitConversions
+
+class PartialTypeSignatureTest extends EffektTests {
+  def backendName: String = "js"
+
+  override lazy val included: List[File] = List(
+    examplesDir / "pts/neg"
+  )
+
+  override lazy val ignored: List[File] = List(
+  )
+}