fix annotation of captures

- we have to at least also run AnnotateCaptures in addition to the frontend
- we have to reset allCaptures in AnnotateCaptures so old information does not persist over multiple passes
- we must not cache the parser, otherwise old capture information is used

effekt/jvm/src/main/scala/effekt/Driver.scala

@@ -82,7 +82,7 @@ trait Driver extends kiama.util.Compiler[EffektConfig, EffektError] { outer =>
         }
 
         // we are in one of three exclusive modes: LSPServer, Compile, Run
-        if (config.server()) { compiler.runFrontend(src) }
+        if (config.server()) { compiler.runMiddleend(src) }
         else if (config.interpret()) { compile() foreach runner.eval }
         else if (config.build()) { compile() foreach runner.build }  
         else if (config.compile()) { compile() }

effekt/shared/src/main/scala/effekt/Compiler.scala

@@ -125,6 +125,14 @@ trait Compiler[Executable] {
       mod
     }
 
+  def runMiddleend(source: Source)(using Context): Option[Typechecked] =
+    (Parser andThen
+    Namer andThen
+    BoxUnboxInference andThen
+    Typer andThen
+    Wellformedness andThen
+    AnnotateCaptures)(source)
+
   /**
    * Called after running the frontend from editor services.
    *

effekt/shared/src/main/scala/effekt/source/AnnotateCaptures.scala

@@ -112,6 +112,8 @@ object AnnotateCaptures extends Phase[Typechecked, Typechecked], Query[Unit, Cap
 
   def annotate(tree: source.ModuleDecl, src: Source)(using Context): Unit =
     given Unit = ();
+    // reset allCaptures since multiple runs of this Phase may pollute it with outdated information
+    allCaptures = Nil
     query(tree)
     Context.annotate(Annotations.CaptureForFile, src, allCaptures)