Revert "fix: improve renderBody codegen"

.changeset/pretty-spiders-brush.md

@@ -0,0 +1,8 @@
+---
+"@marko/language-server": patch
+"@marko/language-tools": patch
+"@marko/type-check": patch
+"marko-vscode": patch
+---
+
+Revert change to renderBody codegen which caused a regression with the `<await>` tag.

packages/language-server/src/__tests__/fixtures/script/custom-tag-args/__snapshots__/custom-tag-args.expected/index.md

@@ -1,20 +1,11 @@
 ## Diagnostics
-### Ln 2, Col 11
+### Ln 3, Col 10
 ```marko
-  1 | <test-tag({ value: "hello!" })/>
-> 2 | <test-tag("hello!")/>
-    |           ^^^^^^^^ Argument of type 'string' is not assignable to parameter of type 'Directives & Input'.
-  Type 'string' is not assignable to type 'Input'.
-  3 | <test-tag("hello!", 1, 2)/>
-  4 |
-```
-
-### Ln 3, Col 21
-```marko
-  1 | <test-tag({ value: "hello!" })/>
-  2 | <test-tag("hello!")/>
+  1 | <test-tag("hello!")/>
+  2 | <test-tag("hello!", 1)/>
 > 3 | <test-tag("hello!", 1, 2)/>
-    |                     ^^^^ Expected 1 arguments, but got 3.
+    |          ^^^^^^^^^^^^^^^^ Type of computed property's value is '[string, number, number]', which is not assignable to type '[string, (number | undefined)?]'.
+  Source has 3 element(s) but target allows only 2.
   4 |
 ```
 

packages/language-server/src/__tests__/fixtures/script/custom-tag-args/components/test-tag.marko

@@ -1,4 +1,4 @@
 export interface Input {
-  value: string
+  value: [string, number?]
 }
 <div/>

packages/language-server/src/__tests__/fixtures/script/custom-tag-args/index.marko

@@ -1,3 +1,3 @@
-<test-tag({ value: "hello!" })/>
 <test-tag("hello!")/>
+<test-tag("hello!", 1)/>
 <test-tag("hello!", 1, 2)/>

packages/language-server/src/__tests__/fixtures/script/render-body-basic/components/my-tag/index.marko

@@ -2,4 +2,9 @@ export interface Input {
   renderBody: Marko.Body<[string]>
 }
 
+<${input.renderBody} value=["hi"] />
+
+<${input.renderBody}=["hi"] />
+
 <${input.renderBody}("hi") />
+

packages/language-server/src/__tests__/fixtures/script/return-tag-nested/components/test-tag.marko

@@ -2,4 +2,4 @@ export interface Input {
   renderBody: Marko.Body<["a"], { value: "a" | "b" }>
 }
 
-<${input.renderBody}("a") />
+<${input.renderBody}=["a"] />

packages/language-server/src/__tests__/fixtures/script/tag-params-basic/__snapshots__/tag-params-basic.expected/components/test-tag.md

@@ -1,21 +1,22 @@
 ## Diagnostics
-### Ln 7, Col 27
+### Ln 7, Col 28
 ```marko
-   5 | <${input.renderBody}("a", "b") />
+   5 | <${input.renderBody}=["a", "b"] />
    6 |
->  7 | <${input.renderBody}("a", "c") />
-     |                           ^^^ Argument of type '"c"' is not assignable to parameter of type '"b"'.
+>  7 | <${input.renderBody}=["a", "c"] />
+     |                            ^^^ Type '"c"' is not assignable to type '"b"'.
    8 |
-   9 | <${input.renderBody}("a", "b", "c") />
+   9 | <${input.renderBody}=["a", "b", "c"] />
   10 |
 ```
 
-### Ln 9, Col 32
+### Ln 9, Col 21
 ```marko
-   7 | <${input.renderBody}("a", "c") />
+   7 | <${input.renderBody}=["a", "c"] />
    8 |
->  9 | <${input.renderBody}("a", "b", "c") />
-     |                                ^^^ Expected 2 arguments, but got 3.
+>  9 | <${input.renderBody}=["a", "b", "c"] />
+     |                     ^ Type '["a", "b", string]' is not assignable to type '["a", "b"]'.
+  Source has 3 element(s) but target allows only 2.
   10 |
 ```
 

packages/language-server/src/__tests__/fixtures/script/tag-params-basic/components/test-tag.marko

@@ -2,8 +2,8 @@ export interface Input {
   renderBody: Marko.Body<["a", "b"]>
 }
 
-<${input.renderBody}("a", "b") />
+<${input.renderBody}=["a", "b"] />
 
-<${input.renderBody}("a", "c") />
+<${input.renderBody}=["a", "c"] />
 
-<${input.renderBody}("a", "b", "c") />
+<${input.renderBody}=["a", "b", "c"] />

packages/language-tools/marko.internal.d.ts

@@ -310,10 +310,14 @@ declare global {
             ? NativeTagRenderer<Name>
             : [Name] extends [AnyMarkoBody]
               ? BodyRenderer<Name>
-              : [Name] extends [
-                    { renderBody?: infer Name extends AnyMarkoBody },
-                  ]
-                ? BodyRenderer<Name>
+              : [Name] extends [{ renderBody?: AnyMarkoBody }]
+                ? [Name["renderBody"]] extends [AnyMarkoBody]
+                  ? BodyRenderer<Name["renderBody"]>
+                  : BaseRenderer<
+                      RenderBodyInput<
+                        BodyParameters<Exclude<Name["renderBody"], void>>
+                      >
+                    >
                 : DefaultRenderer;
 
       export type TemplateRenderer<Template> = Template extends {
@@ -345,8 +349,12 @@ declare global {
       export interface BodyRenderer<Body extends AnyMarkoBody> {
         // eslint-disable-next-line @typescript-eslint/no-unnecessary-type-constraint
         (): () => <__marko_internal_input extends unknown>(
-          ...args: BodyParamsWithDefault<Body> &
-            Relate<__marko_internal_input, BodyParamsWithDefault<Body>>
+          input: Marko.Directives &
+            RenderBodyInput<BodyParameters<Body>> &
+            Relate<
+              __marko_internal_input,
+              Marko.Directives & RenderBodyInput<BodyParameters<Body>>
+            >,
         ) => ReturnAndScope<
           Scopes<__marko_internal_input>,
           BodyReturnType<Body>
@@ -393,12 +401,15 @@ type ReturnAndScope<Scope, Return> = {
   scope: Scope;
 };
 
-type BodyParamsWithDefault<Body extends AnyMarkoBody> =
-  Body extends Marko.Body<infer Params, any>
-    ? Params extends []
-      ? [input?: Record<string, never>]
-      : Params
-    : never;
+type RenderBodyInput<Args extends readonly unknown[]> = Args extends {
+  length: infer Length;
+}
+  ? number extends Length
+    ? { value?: Args }
+    : 0 extends Length
+      ? { value?: [] }
+      : { value: Args }
+  : never;
 
 type Scopes<Input> = [0] extends [1 & Input]
   ? never

packages/language-tools/src/extractors/script/index.ts

@@ -1197,27 +1197,33 @@ constructor(_?: Return) {}
   #writeTagInputObject(tag: Node.ParentTag) {
     if (!tag.params) this.#writeComments(tag);
 
-    const body = this.#processBody(tag);
-    let writeInputObj = true;
     let hasInput = false;
+    this.#extractor.write("{\n");
 
     if (tag.args) {
       hasInput = true;
-      this.#extractor.copy(tag.args.value);
-
-      if (body || tag.attrs || tag.shorthandId || tag.shorthandClassNames) {
-        this.#extractor.write(",\n{\n");
-      } else {
-        writeInputObj = false;
-      }
-    } else {
-      this.#extractor.write("{\n");
+      this.#extractor
+        .write("[")
+        .copy({
+          start: tag.args.start,
+          end: tag.args.start + 1,
+        })
+        .write('"value"')
+        .copy({
+          start: tag.args.end - 1,
+          end: tag.args.end,
+        })
+        .write(`]: ${varShared("tuple")}(`)
+        .copy(tag.args.value)
+        .write(")")
+        .write(",\n");
     }
 
     if (this.#writeAttrs(tag)) {
       hasInput = true;
     }
 
+    const body = this.#processBody(tag);
     let hasRenderBody = false;
     if (body) {
       hasInput = true;
@@ -1278,9 +1284,7 @@ constructor(_?: Return) {}
       this.#writeTagNameComment(tag);
     }
 
-    if (writeInputObj) {
-      this.#extractor.write("\n}");
-    }
+    this.#extractor.write("\n}");
   }
 
   #writeObjectKeys(keys: Iterable<string>) {