@danielx/civet 0.5.3 → 0.5.5

package/README.md

@@ -217,6 +217,11 @@ Things Added that CoffeeScript didn't
     `sum=x+1` → `sum={x+1}`, `list=[1, 2, 3]` → `list={[1, 2, 3]}`
   - Attributes can use computed property names:
     `[expr]={value}` → `{...{[expr]: value}}`
+  - `"civet solid"` flag adds correct types for JSX elements and fragments.
+    Use `"civet solid client"` (default) for client-only code,
+    `"civet solid server"` for server-only code (SSR only), or
+    `"civet solid client server"` for isomorphic code that runs on
+    client and server (SSR + hydration).
 - CoffeeScript improvements
   - Postfix loop `run() loop` → `while(true) run()`
   - Character range literals `["a".."z"]`, `['f'..'a']`, `['0'..'9']`

package/dist/browser.js

@@ -833,10 +833,12 @@ ${input.slice(result.pos)}
         When,
         While,
         Yield,
+        TypedJSXElement,
         JSXElement,
         JSXSelfClosingElement,
         JSXOpeningElement,
         JSXClosingElement,
+        TypedJSXFragment,
         JSXFragment,
         JSXElementName,
         JSXIdentifierName,
@@ -898,6 +900,8 @@ ${input.slice(result.pos)}
         FunctionType,
         TypeArguments,
         CompactTypeArguments,
+        TypeArgument,
+        TypeArgumentDelimiter,
         TypeParameters,
         TypeParameter,
         TypeConstraint,
@@ -2001,8 +2005,8 @@ ${input.slice(result.pos)}
       var PrimaryExpression$7 = RegularExpressionLiteral;
       var PrimaryExpression$8 = TemplateLiteral;
       var PrimaryExpression$9 = ParenthesizedExpression;
-      var PrimaryExpression$10 = JSXElement;
-      var PrimaryExpression$11 = JSXFragment;
+      var PrimaryExpression$10 = TypedJSXElement;
+      var PrimaryExpression$11 = TypedJSXFragment;
       function PrimaryExpression(state) {
         if (state.events) {
           const result = state.events.enter?.("PrimaryExpression", state);
@@ -10568,20 +10572,45 @@ ${input.slice(result.pos)}
           return result;
         }
       }
+      var TypedJSXElement$0 = $TS($S(JSXElement), function($skip, $loc, $0, $1) {
+        const type = module.typeOfJSXElement($1);
+        return type ? [
+          { ts: true, children: ["("] },
+          $1,
+          { ts: true, children: [" as any as ", type, ")"] }
+        ] : $1;
+      });
+      function TypedJSXElement(state) {
+        if (state.events) {
+          const result = state.events.enter?.("TypedJSXElement", state);
+          if (result)
+            return result.cache;
+        }
+        if (state.tokenize) {
+          const result = $TOKEN("TypedJSXElement", state, TypedJSXElement$0(state));
+          if (state.events)
+            state.events.exit?.("TypedJSXElement", state, result);
+          return result;
+        } else {
+          const result = TypedJSXElement$0(state);
+          if (state.events)
+            state.events.exit?.("TypedJSXElement", state, result);
+          return result;
+        }
+      }
       var JSXElement$0 = JSXSelfClosingElement;
       var JSXElement$1 = $TS($S(JSXOpeningElement, $E(JSXChildren), __, JSXClosingElement), function($skip, $loc, $0, $1, $2, $3, $4) {
         if ($1[1] !== $4[2])
           return $skip;
-        return $0;
+        return { type: "JSXElement", children: $0 };
       });
       var JSXElement$2 = $TS($S(JSXOpeningElement, JSXMixedChildren, InsertNewline, InsertIndent), function($skip, $loc, $0, $1, $2, $3, $4) {
         var open = $1;
         var children = $2;
-        if (children.length) {
-          return [...$0, ["</", open[1], ">"]];
-        } else {
-          return [open.slice(0, -1), " />"];
-        }
+        return {
+          type: "JSXElement",
+          children: children.jsxChildren.length ? [...$0, ["</", open[1], ">"]] : [open.slice(0, -1), " />"]
+        };
       });
       var JSXElement$3 = $TS($S(JSXOpeningElement), function($skip, $loc, $0, $1) {
         throw new Error(`could not parse JSX element "${require_generate()($0)}" at pos ${$loc.pos}`);
@@ -10604,7 +10633,9 @@ ${input.slice(result.pos)}
           return result;
         }
       }
-      var JSXSelfClosingElement$0 = $S($EXPECT($L5, fail, 'JSXSelfClosingElement "<"'), $TEXT(JSXElementName), $E(CompactTypeArguments), $E(JSXAttributes), __, $EXPECT($L147, fail, 'JSXSelfClosingElement "/>"'));
+      var JSXSelfClosingElement$0 = $TS($S($EXPECT($L5, fail, 'JSXSelfClosingElement "<"'), $TEXT(JSXElementName), $E(CompactTypeArguments), $E(JSXAttributes), __, $EXPECT($L147, fail, 'JSXSelfClosingElement "/>"')), function($skip, $loc, $0, $1, $2, $3, $4, $5, $6) {
+        return { type: "JSXElement", children: $0 };
+      });
       function JSXSelfClosingElement(state) {
         if (state.events) {
           const result = state.events.enter?.("JSXSelfClosingElement", state);
@@ -10661,9 +10692,41 @@ ${input.slice(result.pos)}
           return result;
         }
       }
-      var JSXFragment$0 = $S($EXPECT($L149, fail, 'JSXFragment "<>"'), $E(JSXChildren), $EXPECT($L150, fail, 'JSXFragment "</>"'));
+      var TypedJSXFragment$0 = $TS($S(JSXFragment), function($skip, $loc, $0, $1) {
+        const type = module.typeOfJSXFragment($1);
+        return type ? [
+          { ts: true, children: ["("] },
+          $1,
+          { ts: true, children: [" as any as ", type, ")"] }
+        ] : $1;
+      });
+      function TypedJSXFragment(state) {
+        if (state.events) {
+          const result = state.events.enter?.("TypedJSXFragment", state);
+          if (result)
+            return result.cache;
+        }
+        if (state.tokenize) {
+          const result = $TOKEN("TypedJSXFragment", state, TypedJSXFragment$0(state));
+          if (state.events)
+            state.events.exit?.("TypedJSXFragment", state, result);
+          return result;
+        } else {
+          const result = TypedJSXFragment$0(state);
+          if (state.events)
+            state.events.exit?.("TypedJSXFragment", state, result);
+          return result;
+        }
+      }
+      var JSXFragment$0 = $TS($S($EXPECT($L149, fail, 'JSXFragment "<>"'), $E(JSXChildren), __, $EXPECT($L150, fail, 'JSXFragment "</>"')), function($skip, $loc, $0, $1, $2, $3, $4) {
+        if ($2) {
+          return { type: "JSXFragment", children: $0, jsxChildren: $2.jsxChildren };
+        } else {
+          return { type: "JSXFragment", children: $0, jsxChildren: [] };
+        }
+      });
       var JSXFragment$1 = $TS($S($EXPECT($L149, fail, 'JSXFragment "<>"'), JSXMixedChildren, InsertNewline, InsertIndent), function($skip, $loc, $0, $1, $2, $3, $4) {
-        return [...$0, "</>"];
+        return { type: "JSXFragment", children: [...$0, "</>"], jsxChildren: $2.jsxChildren };
       });
       function JSXFragment(state) {
         if (state.events) {
@@ -11141,10 +11204,13 @@ ${input.slice(result.pos)}
           return result;
         }
       }
-      var JSXMixedChildren$0 = $TS($S($Q($C(_, JSXChild)), JSXNestedChildren), function($skip, $loc, $0, $1, $2) {
+      var JSXMixedChildren$0 = $TS($S($Q(JSXChild), JSXNestedChildren), function($skip, $loc, $0, $1, $2) {
         var c1 = $1;
         var c2 = $2;
-        return c1.concat(c2);
+        return {
+          children: c1.concat(c2),
+          jsxChildren: c1.concat(c2.jsxChildren)
+        };
       });
       function JSXMixedChildren(state) {
         if (state.events) {
@@ -11164,7 +11230,12 @@ ${input.slice(result.pos)}
           return result;
         }
       }
-      var JSXChildren$0 = $Q($S(__, JSXChild));
+      var JSXChildren$0 = $TV($Q($S($Q($S($E(NonNewlineWhitespace), EOL, $E(NonNewlineWhitespace))), JSXChild)), function($skip, $loc, $0, $1) {
+        return {
+          children: $1,
+          jsxChildren: $1.map((children) => children[1])
+        };
+      });
       function JSXChildren(state) {
         if (state.events) {
           const result = state.events.enter?.("JSXChildren", state);
@@ -11184,12 +11255,16 @@ ${input.slice(result.pos)}
         }
       }
       var JSXNestedChildren$0 = $TS($S(PushIndent, $Q($S(Nested, $P(JSXChild))), PopIndent), function($skip, $loc, $0, $1, $2, $3) {
-        if ($2.length)
-          return $2;
+        if ($2.length) {
+          return {
+            children: $2,
+            jsxChildren: [].concat(...$2.map((nestedChildren) => nestedChildren[1]))
+          };
+        }
         return $skip;
       });
       var JSXNestedChildren$1 = $TV($Y(EOS), function($skip, $loc, $0, $1) {
-        return [];
+        return { children: [], jsxChildren: [] };
       });
       function JSXNestedChildren(state) {
         if (state.events) {
@@ -11212,7 +11287,14 @@ ${input.slice(result.pos)}
       var JSXChild$0 = JSXText;
       var JSXChild$1 = JSXElement;
       var JSXChild$2 = JSXFragment;
-      var JSXChild$3 = $S(OpenBrace, $E(JSXChildExpression), __, CloseBrace);
+      var JSXChild$3 = $TS($S(OpenBrace, $E(JSXChildExpression), __, CloseBrace), function($skip, $loc, $0, $1, $2, $3, $4) {
+        var expression = $2;
+        return {
+          type: "JSXChildExpression",
+          children: $0,
+          expression
+        };
+      });
       function JSXChild(state) {
         if (state.events) {
           const result = state.events.enter?.("JSXChild", state);
@@ -11231,7 +11313,13 @@ ${input.slice(result.pos)}
           return result;
         }
       }
-      var JSXText$0 = $R$0($EXPECT($R46, fail, "JSXText /[^{}<>\\r\\n]+/"));
+      var JSXText$0 = $TR($EXPECT($R46, fail, "JSXText /[^{}<>\\r\\n]+/"), function($skip, $loc, $0, $1, $2, $3, $4, $5, $6, $7, $8, $9) {
+        return {
+          type: "JSXText",
+          token: $0,
+          $loc
+        };
+      });
       function JSXText(state) {
         if (state.events) {
           const result = state.events.enter?.("JSXText", state);
@@ -11993,7 +12081,7 @@ ${input.slice(result.pos)}
           return result;
         }
       }
-      var TypeArguments$0 = $TS($S(__, $EXPECT($L5, fail, 'TypeArguments "<"'), __, Type, $Q($S(__, Comma, __, Type)), $E($S(__, Comma)), __, $EXPECT($L27, fail, 'TypeArguments ">"')), function($skip, $loc, $0, $1, $2, $3, $4, $5, $6, $7, $8) {
+      var TypeArguments$0 = $TS($S(__, $EXPECT($L5, fail, 'TypeArguments "<"'), $P(TypeArgument), __, $EXPECT($L27, fail, 'TypeArguments ">"')), function($skip, $loc, $0, $1, $2, $3, $4, $5) {
         return { ts: true, children: $0 };
       });
       function TypeArguments(state) {
@@ -12014,7 +12102,7 @@ ${input.slice(result.pos)}
           return result;
         }
       }
-      var CompactTypeArguments$0 = $TS($S($EXPECT($L5, fail, 'CompactTypeArguments "<"'), __, Type, $Q($S(__, Comma, __, Type)), $E($S(__, Comma)), __, $EXPECT($L27, fail, 'CompactTypeArguments ">"')), function($skip, $loc, $0, $1, $2, $3, $4, $5, $6, $7) {
+      var CompactTypeArguments$0 = $TS($S($EXPECT($L5, fail, 'CompactTypeArguments "<"'), $P(TypeArgument), __, $EXPECT($L27, fail, 'CompactTypeArguments ">"')), function($skip, $loc, $0, $1, $2, $3, $4) {
         return { ts: true, children: $0 };
       });
       function CompactTypeArguments(state) {
@@ -12035,6 +12123,44 @@ ${input.slice(result.pos)}
           return result;
         }
       }
+      var TypeArgument$0 = $S(__, Type, TypeArgumentDelimiter);
+      function TypeArgument(state) {
+        if (state.events) {
+          const result = state.events.enter?.("TypeArgument", state);
+          if (result)
+            return result.cache;
+        }
+        if (state.tokenize) {
+          const result = $TOKEN("TypeArgument", state, TypeArgument$0(state));
+          if (state.events)
+            state.events.exit?.("TypeArgument", state, result);
+          return result;
+        } else {
+          const result = TypeArgument$0(state);
+          if (state.events)
+            state.events.exit?.("TypeArgument", state, result);
+          return result;
+        }
+      }
+      var TypeArgumentDelimiter$0 = TypeParameterDelimiter;
+      function TypeArgumentDelimiter(state) {
+        if (state.events) {
+          const result = state.events.enter?.("TypeArgumentDelimiter", state);
+          if (result)
+            return result.cache;
+        }
+        if (state.tokenize) {
+          const result = $TOKEN("TypeArgumentDelimiter", state, TypeArgumentDelimiter$0(state));
+          if (state.events)
+            state.events.exit?.("TypeArgumentDelimiter", state, result);
+          return result;
+        } else {
+          const result = TypeArgumentDelimiter$0(state);
+          if (state.events)
+            state.events.exit?.("TypeArgumentDelimiter", state, result);
+          return result;
+        }
+      }
       var TypeParameters$0 = $TS($S(__, $EXPECT($L5, fail, 'TypeParameters "<"'), $P(TypeParameter), __, $EXPECT($L27, fail, 'TypeParameters ">"')), function($skip, $loc, $0, $1, $2, $3, $4, $5) {
         var parameters = $3;
         return {
@@ -12925,6 +13051,9 @@ ${input.slice(result.pos)}
           coffeeNot: false,
           coffeeOf: false,
           implicitReturns: true,
+          solid: false,
+          client: false,
+          server: false,
           tab: void 0,
           verbose: false
         };
@@ -12947,6 +13076,34 @@ ${input.slice(result.pos)}
               children: [": <T>(this: T, prop: keyof T) => boolean"]
             };
             module.prelude.push(["", ["const ", hasPropRef, typeSuffix, " = {}.hasOwnProperty", module.asAny, "\n"]]);
+          },
+          JSX(jsxRef) {
+            module.prelude.push({
+              ts: true,
+              children: [
+                "import type { JSX as ",
+                jsxRef,
+                " } from 'solid-js';\n"
+              ]
+            });
+          },
+          IntrinsicElements(intrinsicElementsRef) {
+            const JSX = module.getRef("JSX");
+            module.prelude.push({
+              ts: true,
+              children: [
+                "type ",
+                intrinsicElementsRef,
+                "<K extends keyof ",
+                JSX,
+                ".IntrinsicElements> =\n",
+                "  ",
+                JSX,
+                ".IntrinsicElements[K] extends ",
+                JSX,
+                ".DOMAttributes<infer T> ? T : unknown;\n"
+              ]
+            });
           }
         };
         const refs = {};
@@ -12964,11 +13121,55 @@ ${input.slice(result.pos)}
         };
         module.typeOfJSXElement = function($12) {
           if (module.config.solid) {
-            let open = $12;
+            if (module.config.server && !module.config.client) {
+              return ["string"];
+            }
+            let open = $12.children;
             while (Array.isArray(open[0]))
               open = open[0];
             open = open[1];
-            return typeof open === "string" && open[0] === open[0].toLowerCase() ? [module.getRef("IntrinsicElements"), '<"', open, '">'] : ["ReturnType<typeof ", open, ">"];
+            const clientType = typeof open === "string" && open[0] === open[0].toLowerCase() ? [module.getRef("IntrinsicElements"), '<"', open, '">'] : ["ReturnType<typeof ", open, ">"];
+            if (module.config.server) {
+              return ["string", " | ", clientType];
+            } else {
+              return clientType;
+            }
+          }
+        };
+        module.typeOfJSXFragment = function($12) {
+          if (module.config.solid) {
+            let type = [];
+            let lastType;
+            for (let child of $12.jsxChildren) {
+              switch (child.type) {
+                case "JSXText":
+                  if (lastType !== "JSXText") {
+                    type.push("string");
+                  }
+                  break;
+                case "JSXElement":
+                  type.push(module.typeOfJSXElement(child));
+                  break;
+                case "JSXFragment":
+                  type.push(...module.typeOfJSXFragment(child));
+                  break;
+                case "JSXChildExpression":
+                  if (child.expression) {
+                    type.push(["typeof ", child.expression]);
+                  }
+                  break;
+                default:
+                  throw new Error(`unknown child in JSXFragment: ${JSON.stringify(child)}`);
+              }
+              lastType = child.type;
+            }
+            if (type.length === 1) {
+              return type[0];
+            } else {
+              type = type.map((t) => [t, ", "]).flat();
+              type.pop();
+              return ["[", type, "]"];
+            }
           }
         };
         Object.defineProperty(module.config, "coffeeCompat", {
@@ -14573,9 +14774,11 @@ ${"//#"} sourceMappingURL=data:application/json;base64,${base64Encode(JSON.strin
                 case "SingleLineComment":
                 case "Debugger":
                 case "JSXElement":
+                case "TypedJSXElement":
+                case "JSXFragment":
+                case "TypedJSXFragment":
                 case "JSXChild":
                 case "JSXChildren":
-                case "JSXFragment":
                 case "JSXNestedChildren":
                 case "JSXMixedChildren":
                   break;

package/dist/main.js

@@ -832,10 +832,12 @@ ${input.slice(result.pos)}
       When,
       While,
       Yield,
+      TypedJSXElement,
       JSXElement,
       JSXSelfClosingElement,
       JSXOpeningElement,
       JSXClosingElement,
+      TypedJSXFragment,
       JSXFragment,
       JSXElementName,
       JSXIdentifierName,
@@ -897,6 +899,8 @@ ${input.slice(result.pos)}
       FunctionType,
       TypeArguments,
       CompactTypeArguments,
+      TypeArgument,
+      TypeArgumentDelimiter,
       TypeParameters,
       TypeParameter,
       TypeConstraint,
@@ -2000,8 +2004,8 @@ ${input.slice(result.pos)}
     var PrimaryExpression$7 = RegularExpressionLiteral;
     var PrimaryExpression$8 = TemplateLiteral;
     var PrimaryExpression$9 = ParenthesizedExpression;
-    var PrimaryExpression$10 = JSXElement;
-    var PrimaryExpression$11 = JSXFragment;
+    var PrimaryExpression$10 = TypedJSXElement;
+    var PrimaryExpression$11 = TypedJSXFragment;
     function PrimaryExpression(state) {
       if (state.events) {
         const result = state.events.enter?.("PrimaryExpression", state);
@@ -10567,20 +10571,45 @@ ${input.slice(result.pos)}
         return result;
       }
     }
+    var TypedJSXElement$0 = $TS($S(JSXElement), function($skip, $loc, $0, $1) {
+      const type = module2.typeOfJSXElement($1);
+      return type ? [
+        { ts: true, children: ["("] },
+        $1,
+        { ts: true, children: [" as any as ", type, ")"] }
+      ] : $1;
+    });
+    function TypedJSXElement(state) {
+      if (state.events) {
+        const result = state.events.enter?.("TypedJSXElement", state);
+        if (result)
+          return result.cache;
+      }
+      if (state.tokenize) {
+        const result = $TOKEN("TypedJSXElement", state, TypedJSXElement$0(state));
+        if (state.events)
+          state.events.exit?.("TypedJSXElement", state, result);
+        return result;
+      } else {
+        const result = TypedJSXElement$0(state);
+        if (state.events)
+          state.events.exit?.("TypedJSXElement", state, result);
+        return result;
+      }
+    }
     var JSXElement$0 = JSXSelfClosingElement;
     var JSXElement$1 = $TS($S(JSXOpeningElement, $E(JSXChildren), __, JSXClosingElement), function($skip, $loc, $0, $1, $2, $3, $4) {
       if ($1[1] !== $4[2])
         return $skip;
-      return $0;
+      return { type: "JSXElement", children: $0 };
     });
     var JSXElement$2 = $TS($S(JSXOpeningElement, JSXMixedChildren, InsertNewline, InsertIndent), function($skip, $loc, $0, $1, $2, $3, $4) {
       var open = $1;
       var children = $2;
-      if (children.length) {
-        return [...$0, ["</", open[1], ">"]];
-      } else {
-        return [open.slice(0, -1), " />"];
-      }
+      return {
+        type: "JSXElement",
+        children: children.jsxChildren.length ? [...$0, ["</", open[1], ">"]] : [open.slice(0, -1), " />"]
+      };
     });
     var JSXElement$3 = $TS($S(JSXOpeningElement), function($skip, $loc, $0, $1) {
       throw new Error(`could not parse JSX element "${require_generate()($0)}" at pos ${$loc.pos}`);
@@ -10603,7 +10632,9 @@ ${input.slice(result.pos)}
         return result;
       }
     }
-    var JSXSelfClosingElement$0 = $S($EXPECT($L5, fail, 'JSXSelfClosingElement "<"'), $TEXT(JSXElementName), $E(CompactTypeArguments), $E(JSXAttributes), __, $EXPECT($L147, fail, 'JSXSelfClosingElement "/>"'));
+    var JSXSelfClosingElement$0 = $TS($S($EXPECT($L5, fail, 'JSXSelfClosingElement "<"'), $TEXT(JSXElementName), $E(CompactTypeArguments), $E(JSXAttributes), __, $EXPECT($L147, fail, 'JSXSelfClosingElement "/>"')), function($skip, $loc, $0, $1, $2, $3, $4, $5, $6) {
+      return { type: "JSXElement", children: $0 };
+    });
     function JSXSelfClosingElement(state) {
       if (state.events) {
         const result = state.events.enter?.("JSXSelfClosingElement", state);
@@ -10660,9 +10691,41 @@ ${input.slice(result.pos)}
         return result;
       }
     }
-    var JSXFragment$0 = $S($EXPECT($L149, fail, 'JSXFragment "<>"'), $E(JSXChildren), $EXPECT($L150, fail, 'JSXFragment "</>"'));
+    var TypedJSXFragment$0 = $TS($S(JSXFragment), function($skip, $loc, $0, $1) {
+      const type = module2.typeOfJSXFragment($1);
+      return type ? [
+        { ts: true, children: ["("] },
+        $1,
+        { ts: true, children: [" as any as ", type, ")"] }
+      ] : $1;
+    });
+    function TypedJSXFragment(state) {
+      if (state.events) {
+        const result = state.events.enter?.("TypedJSXFragment", state);
+        if (result)
+          return result.cache;
+      }
+      if (state.tokenize) {
+        const result = $TOKEN("TypedJSXFragment", state, TypedJSXFragment$0(state));
+        if (state.events)
+          state.events.exit?.("TypedJSXFragment", state, result);
+        return result;
+      } else {
+        const result = TypedJSXFragment$0(state);
+        if (state.events)
+          state.events.exit?.("TypedJSXFragment", state, result);
+        return result;
+      }
+    }
+    var JSXFragment$0 = $TS($S($EXPECT($L149, fail, 'JSXFragment "<>"'), $E(JSXChildren), __, $EXPECT($L150, fail, 'JSXFragment "</>"')), function($skip, $loc, $0, $1, $2, $3, $4) {
+      if ($2) {
+        return { type: "JSXFragment", children: $0, jsxChildren: $2.jsxChildren };
+      } else {
+        return { type: "JSXFragment", children: $0, jsxChildren: [] };
+      }
+    });
     var JSXFragment$1 = $TS($S($EXPECT($L149, fail, 'JSXFragment "<>"'), JSXMixedChildren, InsertNewline, InsertIndent), function($skip, $loc, $0, $1, $2, $3, $4) {
-      return [...$0, "</>"];
+      return { type: "JSXFragment", children: [...$0, "</>"], jsxChildren: $2.jsxChildren };
     });
     function JSXFragment(state) {
       if (state.events) {
@@ -11140,10 +11203,13 @@ ${input.slice(result.pos)}
         return result;
       }
     }
-    var JSXMixedChildren$0 = $TS($S($Q($C(_, JSXChild)), JSXNestedChildren), function($skip, $loc, $0, $1, $2) {
+    var JSXMixedChildren$0 = $TS($S($Q(JSXChild), JSXNestedChildren), function($skip, $loc, $0, $1, $2) {
       var c1 = $1;
       var c2 = $2;
-      return c1.concat(c2);
+      return {
+        children: c1.concat(c2),
+        jsxChildren: c1.concat(c2.jsxChildren)
+      };
     });
     function JSXMixedChildren(state) {
       if (state.events) {
@@ -11163,7 +11229,12 @@ ${input.slice(result.pos)}
         return result;
       }
     }
-    var JSXChildren$0 = $Q($S(__, JSXChild));
+    var JSXChildren$0 = $TV($Q($S($Q($S($E(NonNewlineWhitespace), EOL, $E(NonNewlineWhitespace))), JSXChild)), function($skip, $loc, $0, $1) {
+      return {
+        children: $1,
+        jsxChildren: $1.map((children) => children[1])
+      };
+    });
     function JSXChildren(state) {
       if (state.events) {
         const result = state.events.enter?.("JSXChildren", state);
@@ -11183,12 +11254,16 @@ ${input.slice(result.pos)}
       }
     }
     var JSXNestedChildren$0 = $TS($S(PushIndent, $Q($S(Nested, $P(JSXChild))), PopIndent), function($skip, $loc, $0, $1, $2, $3) {
-      if ($2.length)
-        return $2;
+      if ($2.length) {
+        return {
+          children: $2,
+          jsxChildren: [].concat(...$2.map((nestedChildren) => nestedChildren[1]))
+        };
+      }
       return $skip;
     });
     var JSXNestedChildren$1 = $TV($Y(EOS), function($skip, $loc, $0, $1) {
-      return [];
+      return { children: [], jsxChildren: [] };
     });
     function JSXNestedChildren(state) {
       if (state.events) {
@@ -11211,7 +11286,14 @@ ${input.slice(result.pos)}
     var JSXChild$0 = JSXText;
     var JSXChild$1 = JSXElement;
     var JSXChild$2 = JSXFragment;
-    var JSXChild$3 = $S(OpenBrace, $E(JSXChildExpression), __, CloseBrace);
+    var JSXChild$3 = $TS($S(OpenBrace, $E(JSXChildExpression), __, CloseBrace), function($skip, $loc, $0, $1, $2, $3, $4) {
+      var expression = $2;
+      return {
+        type: "JSXChildExpression",
+        children: $0,
+        expression
+      };
+    });
     function JSXChild(state) {
       if (state.events) {
         const result = state.events.enter?.("JSXChild", state);
@@ -11230,7 +11312,13 @@ ${input.slice(result.pos)}
         return result;
       }
     }
-    var JSXText$0 = $R$0($EXPECT($R46, fail, "JSXText /[^{}<>\\r\\n]+/"));
+    var JSXText$0 = $TR($EXPECT($R46, fail, "JSXText /[^{}<>\\r\\n]+/"), function($skip, $loc, $0, $1, $2, $3, $4, $5, $6, $7, $8, $9) {
+      return {
+        type: "JSXText",
+        token: $0,
+        $loc
+      };
+    });
     function JSXText(state) {
       if (state.events) {
         const result = state.events.enter?.("JSXText", state);
@@ -11992,7 +12080,7 @@ ${input.slice(result.pos)}
         return result;
       }
     }
-    var TypeArguments$0 = $TS($S(__, $EXPECT($L5, fail, 'TypeArguments "<"'), __, Type, $Q($S(__, Comma, __, Type)), $E($S(__, Comma)), __, $EXPECT($L27, fail, 'TypeArguments ">"')), function($skip, $loc, $0, $1, $2, $3, $4, $5, $6, $7, $8) {
+    var TypeArguments$0 = $TS($S(__, $EXPECT($L5, fail, 'TypeArguments "<"'), $P(TypeArgument), __, $EXPECT($L27, fail, 'TypeArguments ">"')), function($skip, $loc, $0, $1, $2, $3, $4, $5) {
       return { ts: true, children: $0 };
     });
     function TypeArguments(state) {
@@ -12013,7 +12101,7 @@ ${input.slice(result.pos)}
         return result;
       }
     }
-    var CompactTypeArguments$0 = $TS($S($EXPECT($L5, fail, 'CompactTypeArguments "<"'), __, Type, $Q($S(__, Comma, __, Type)), $E($S(__, Comma)), __, $EXPECT($L27, fail, 'CompactTypeArguments ">"')), function($skip, $loc, $0, $1, $2, $3, $4, $5, $6, $7) {
+    var CompactTypeArguments$0 = $TS($S($EXPECT($L5, fail, 'CompactTypeArguments "<"'), $P(TypeArgument), __, $EXPECT($L27, fail, 'CompactTypeArguments ">"')), function($skip, $loc, $0, $1, $2, $3, $4) {
       return { ts: true, children: $0 };
     });
     function CompactTypeArguments(state) {
@@ -12034,6 +12122,44 @@ ${input.slice(result.pos)}
         return result;
       }
     }
+    var TypeArgument$0 = $S(__, Type, TypeArgumentDelimiter);
+    function TypeArgument(state) {
+      if (state.events) {
+        const result = state.events.enter?.("TypeArgument", state);
+        if (result)
+          return result.cache;
+      }
+      if (state.tokenize) {
+        const result = $TOKEN("TypeArgument", state, TypeArgument$0(state));
+        if (state.events)
+          state.events.exit?.("TypeArgument", state, result);
+        return result;
+      } else {
+        const result = TypeArgument$0(state);
+        if (state.events)
+          state.events.exit?.("TypeArgument", state, result);
+        return result;
+      }
+    }
+    var TypeArgumentDelimiter$0 = TypeParameterDelimiter;
+    function TypeArgumentDelimiter(state) {
+      if (state.events) {
+        const result = state.events.enter?.("TypeArgumentDelimiter", state);
+        if (result)
+          return result.cache;
+      }
+      if (state.tokenize) {
+        const result = $TOKEN("TypeArgumentDelimiter", state, TypeArgumentDelimiter$0(state));
+        if (state.events)
+          state.events.exit?.("TypeArgumentDelimiter", state, result);
+        return result;
+      } else {
+        const result = TypeArgumentDelimiter$0(state);
+        if (state.events)
+          state.events.exit?.("TypeArgumentDelimiter", state, result);
+        return result;
+      }
+    }
     var TypeParameters$0 = $TS($S(__, $EXPECT($L5, fail, 'TypeParameters "<"'), $P(TypeParameter), __, $EXPECT($L27, fail, 'TypeParameters ">"')), function($skip, $loc, $0, $1, $2, $3, $4, $5) {
       var parameters = $3;
       return {
@@ -12924,6 +13050,9 @@ ${input.slice(result.pos)}
         coffeeNot: false,
         coffeeOf: false,
         implicitReturns: true,
+        solid: false,
+        client: false,
+        server: false,
         tab: void 0,
         verbose: false
       };
@@ -12946,6 +13075,34 @@ ${input.slice(result.pos)}
             children: [": <T>(this: T, prop: keyof T) => boolean"]
           };
           module2.prelude.push(["", ["const ", hasPropRef, typeSuffix, " = {}.hasOwnProperty", module2.asAny, "\n"]]);
+        },
+        JSX(jsxRef) {
+          module2.prelude.push({
+            ts: true,
+            children: [
+              "import type { JSX as ",
+              jsxRef,
+              " } from 'solid-js';\n"
+            ]
+          });
+        },
+        IntrinsicElements(intrinsicElementsRef) {
+          const JSX = module2.getRef("JSX");
+          module2.prelude.push({
+            ts: true,
+            children: [
+              "type ",
+              intrinsicElementsRef,
+              "<K extends keyof ",
+              JSX,
+              ".IntrinsicElements> =\n",
+              "  ",
+              JSX,
+              ".IntrinsicElements[K] extends ",
+              JSX,
+              ".DOMAttributes<infer T> ? T : unknown;\n"
+            ]
+          });
         }
       };
       const refs = {};
@@ -12963,11 +13120,55 @@ ${input.slice(result.pos)}
       };
       module2.typeOfJSXElement = function($12) {
         if (module2.config.solid) {
-          let open = $12;
+          if (module2.config.server && !module2.config.client) {
+            return ["string"];
+          }
+          let open = $12.children;
           while (Array.isArray(open[0]))
             open = open[0];
           open = open[1];
-          return typeof open === "string" && open[0] === open[0].toLowerCase() ? [module2.getRef("IntrinsicElements"), '<"', open, '">'] : ["ReturnType<typeof ", open, ">"];
+          const clientType = typeof open === "string" && open[0] === open[0].toLowerCase() ? [module2.getRef("IntrinsicElements"), '<"', open, '">'] : ["ReturnType<typeof ", open, ">"];
+          if (module2.config.server) {
+            return ["string", " | ", clientType];
+          } else {
+            return clientType;
+          }
+        }
+      };
+      module2.typeOfJSXFragment = function($12) {
+        if (module2.config.solid) {
+          let type = [];
+          let lastType;
+          for (let child of $12.jsxChildren) {
+            switch (child.type) {
+              case "JSXText":
+                if (lastType !== "JSXText") {
+                  type.push("string");
+                }
+                break;
+              case "JSXElement":
+                type.push(module2.typeOfJSXElement(child));
+                break;
+              case "JSXFragment":
+                type.push(...module2.typeOfJSXFragment(child));
+                break;
+              case "JSXChildExpression":
+                if (child.expression) {
+                  type.push(["typeof ", child.expression]);
+                }
+                break;
+              default:
+                throw new Error(`unknown child in JSXFragment: ${JSON.stringify(child)}`);
+            }
+            lastType = child.type;
+          }
+          if (type.length === 1) {
+            return type[0];
+          } else {
+            type = type.map((t) => [t, ", "]).flat();
+            type.pop();
+            return ["[", type, "]"];
+          }
         }
       };
       Object.defineProperty(module2.config, "coffeeCompat", {
@@ -14570,9 +14771,11 @@ makeCache = function() {
           case "SingleLineComment":
           case "Debugger":
           case "JSXElement":
+          case "TypedJSXElement":
+          case "JSXFragment":
+          case "TypedJSXFragment":
           case "JSXChild":
           case "JSXChildren":
-          case "JSXFragment":
           case "JSXNestedChildren":
           case "JSXMixedChildren":
             break;

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@danielx/civet",
-  "version": "0.5.3",
+  "version": "0.5.5",
   "description": "CoffeeScript style syntax for TypeScript",
   "main": "dist/main.js",
   "exports": {
@@ -75,4 +75,4 @@
       "test"
     ]
   }
-}
+}