rip-lang 3.17.4 → 3.17.5

package/src/dts.js

@@ -12,7 +12,7 @@ import { emitTsParam, ripToTs } from "./params.js";
 //   emitTypes(tokens, sexpr, source) — generates .d.ts from annotated
 //     tokens and the parsed s-expression tree.
 //
-//   INTRINSIC_TYPE_DECLS / INTRINSIC_FN_DECL / ARIA_TYPE_DECLS /
+//   INTRINSIC_TYPE_DECLS / INTRINSIC_FN_DECL /
 //   SIGNAL_*, COMPUTED_*, EFFECT_* — declaration tables consumed by
 //     emitTypes() and by typecheck.js when building the virtual TS
 //     file. Browser code never references these.
@@ -44,30 +44,20 @@ export const INTRINSIC_TYPE_DECLS = [
   // out, which would wrongly drop every SVG attribute. So — like JSX/React — we
   // hand-author the attribute surface as string | number and add it for SVG tags.
   "type __RipSvgAttrs = { cx?: string | number; cy?: string | number; r?: string | number; rx?: string | number; ry?: string | number; x?: string | number; y?: string | number; x1?: string | number; y1?: string | number; x2?: string | number; y2?: string | number; dx?: string | number; dy?: string | number; width?: string | number; height?: string | number; d?: string; points?: string; pathLength?: string | number; viewBox?: string; preserveAspectRatio?: string; transform?: string; 'transform-origin'?: string; fill?: string; 'fill-opacity'?: string | number; 'fill-rule'?: string; stroke?: string; 'stroke-width'?: string | number; 'stroke-linecap'?: string; 'stroke-linejoin'?: string; 'stroke-dasharray'?: string | number; 'stroke-dashoffset'?: string | number; 'stroke-opacity'?: string | number; 'stroke-miterlimit'?: string | number; opacity?: string | number; color?: string; 'clip-path'?: string; 'clip-rule'?: string; mask?: string; filter?: string; 'text-anchor'?: string; 'dominant-baseline'?: string; 'alignment-baseline'?: string; 'font-family'?: string; 'font-size'?: string | number; 'font-weight'?: string | number; 'font-style'?: string; 'letter-spacing'?: string | number; 'word-spacing'?: string | number; 'text-decoration'?: string; 'marker-start'?: string; 'marker-mid'?: string; 'marker-end'?: string; offset?: string | number; 'stop-color'?: string; 'stop-opacity'?: string | number; gradientUnits?: string; gradientTransform?: string; spreadMethod?: string; fx?: string | number; fy?: string | number; fr?: string | number; display?: string; visibility?: string; overflow?: string; 'pointer-events'?: string; cursor?: string; 'vector-effect'?: string; 'shape-rendering'?: string; 'color-interpolation-filters'?: string; href?: string; 'xlink:href'?: string };",
-  "type __RipProps<K extends __RipTag> = { [P in __RipAttrKeys<__RipElementMap[K]>]?: __RipElementMap[K][P] } & __RipEvents<K> & { ref?: string; class?: __RipClassValue | __RipClassValue[]; style?: string; [k: `data-${string}`]: any; [k: `aria-${string}`]: any };",
+  "type __RipProps<K extends __RipTag> = { [P in __RipAttrKeys<__RipElementMap[K]>]?: __RipElementMap[K][P] } & __RipEvents<K> & { class?: __RipClassValue | __RipClassValue[]; style?: string; [k: `data-${string}`]: any; [k: `aria-${string}`]: any };",
+  // Template-ref validator. `ref:` binds a DOM element into a writable state
+  // cell. __RipRefCell<V, K> resolves to `unknown` (an identity intersection)
+  // only when V — the cell's full value type — both accepts the tag's element
+  // type AND admits null; otherwise it resolves to `never`, collapsing the
+  // parameter to `never` so the cell argument fails to assign. The cell shape
+  // is written inline (`{ value: V; read(): V }`) rather than `Signal<V>` so
+  // the decl is self-contained (no dependency on the Signal interface being in
+  // scope) and so a computed (`readonly value`) or a readonly plain field is
+  // rejected structurally.
+  "type __RipRefCell<V, K extends __RipTag> = [__RipElementMap[K]] extends [NonNullable<V>] ? (null extends V ? unknown : never) : never;",
 ];
 
-export const INTRINSIC_FN_DECL = 'declare function __ripEl<K extends __RipTag>(tag: K, props?: __RipProps<K>): void;\ndeclare function __ripSvgEl<K extends keyof Omit<SVGElementTagNameMap, keyof HTMLElementTagNameMap>>(tag: K, props?: __RipProps<K> & __RipSvgAttrs): void;\ndeclare function __ripRoute<const T extends string>(s: T): T;';
-
-export const ARIA_TYPE_DECLS = [
-  'type __RipAriaNavHandlers = { next?: () => void; prev?: () => void; first?: () => void; last?: () => void; select?: () => void; dismiss?: () => void; tab?: () => void; char?: () => void; };',
-  "declare const ARIA: {",
-  "  bindPopover(open: boolean, popover: () => Element | null | undefined, setOpen: (isOpen: boolean) => void, source?: (() => Element | null | undefined) | null): void;",
-  "  bindDialog(open: boolean, dialog: () => Element | null | undefined, setOpen: (isOpen: boolean) => void, dismissable?: boolean): void;",
-  "  popupDismiss(open: boolean, popup: () => Element | null | undefined, close: () => void, els?: Array<() => Element | null | undefined>, repos?: (() => void) | null): void;",
-  "  popupGuard(delay?: number): any;",
-  "  listNav(event: KeyboardEvent, handlers: __RipAriaNavHandlers): void;",
-  "  rovingNav(event: KeyboardEvent, handlers: __RipAriaNavHandlers, orientation?: 'vertical' | 'horizontal' | 'both'): void;",
-  "  positionBelow(trigger: Element | null | undefined, popup: Element | null | undefined, gap?: number, setVisible?: boolean): void;",
-  "  position(trigger: Element | null | undefined, floating: Element | null | undefined, opts?: any): void;",
-  "  trapFocus(panel: Element | null | undefined): void;",
-  "  wireAria(panel: Element, id: string): void;",
-  "  lockScroll(instance: any): void;",
-  "  unlockScroll(instance: any): void;",
-  "  hasAnchor: boolean;",
-  "  [key: string]: any;",
-  "};",
-];
+export const INTRINSIC_FN_DECL = 'declare function __ripEl<K extends __RipTag>(tag: K, props?: __RipProps<K>): void;\ndeclare function __ripSvgEl<K extends keyof Omit<SVGElementTagNameMap, keyof HTMLElementTagNameMap>>(tag: K, props?: __RipProps<K> & __RipSvgAttrs): void;\ndeclare function __ripRoute<const T extends string>(s: T): T;\ndeclare function __ripRef<K extends __RipTag, V>(tag: K, cell: { value: V; read(): V } & __RipRefCell<V, K>): void;';
 
 export const SIGNAL_INTERFACE = 'interface Signal<T> { value: T; read(): T; lock(): Signal<T>; free(): Signal<T>; kill(): T; }';
 export const SIGNAL_FN = 'declare function __state<T>(value: T | Signal<T>): Signal<T>;';
@@ -910,9 +900,6 @@ export function emitTypes(tokens, sexpr = null, source = '', schemaBehavior = nu
   if (usesRipIntrinsicProps) {
     preamble.push(...INTRINSIC_TYPE_DECLS);
   }
-  if (/\bARIA\./.test(source)) {
-    preamble.push(...ARIA_TYPE_DECLS);
-  }
   if (usesSignal) {
     preamble.push(SIGNAL_INTERFACE);
     if (!explicitlyBound.has('__state')) preamble.push(SIGNAL_FN);
@@ -1052,9 +1039,16 @@ function emitComponentTypes(sexpr, lines, indent, indentLevel, componentVars, so
         optional = isProp ? !!target[2]?.optional : !!target?.optional;
         if (!isProp) {
           componentVars.add(propName);
-          let wrapper = (mHead === 'computed') ? 'Computed' : 'Signal';
           let typeStr = type ? tsType(type) : (inferLiteralType(member[2]) || 'any');
-          bodyMembers.push(`  ${propName}: ${wrapper}<${typeStr}>;`);
+          if (mHead === 'readonly') {
+            // `=!` member: a genuine const plain field — surface as `readonly`,
+            // NOT Signal-wrapped (the runtime emits `this.name = value`, not a
+            // signal). `readonly` makes a consumer reassignment TS2540.
+            bodyMembers.push(`  readonly ${propName}: ${typeStr};`);
+          } else {
+            let wrapper = (mHead === 'computed') ? 'Computed' : 'Signal';
+            bodyMembers.push(`  ${propName}: ${wrapper}<${typeStr}>;`);
+          }
           continue;
         }
       } else if (mHead === '.') {
@@ -1118,6 +1112,10 @@ function emitComponentTypes(sexpr, lines, indent, indentLevel, componentVars, so
       publicProps.push(`    ${propName}${opt}: ${typeStr};`);
       if (mHead === 'state') {
         publicProps.push(`    __bind_${propName}__?: Signal<${typeStr}>;`);
+      } else if (mHead === 'readonly') {
+        // Public `=!` prop: also surface the instance member as `readonly` so a
+        // consumer reading `instance.name` sees its const-ness (TS2540 on write).
+        bodyMembers.push(`  readonly ${propName}: ${typeStr};`);
       }
     }
 

package/src/generated/dom-events.js

@@ -1,5 +1,5 @@
 // Generated from TypeScript's lib.dom.d.ts
-// Source: /Users/shreeve/Data/Code/rip-lang/node_modules/.bun/typescript@5.9.3/node_modules/typescript/lib/lib.dom.d.ts
+// Source: /Users/shreeve/Data/Code/rip-lang/node_modules/.bun/typescript@6.0.3/node_modules/typescript/lib/lib.dom.d.ts
 // Run: bun scripts/gen-dom.js
 
 export const DOM_EVENT_NAMES = [
@@ -19,6 +19,7 @@ export const DOM_EVENT_NAMES = [
   'change',
   'click',
   'close',
+  'command',
   'compositionend',
   'compositionstart',
   'compositionupdate',

package/src/generated/dom-tags.js

@@ -1,5 +1,5 @@
 // Generated from TypeScript's lib.dom.d.ts
-// Source: /Users/shreeve/Data/Code/rip-lang/node_modules/.bun/typescript@5.9.3/node_modules/typescript/lib/lib.dom.d.ts
+// Source: /Users/shreeve/Data/Code/rip-lang/node_modules/.bun/typescript@6.0.3/node_modules/typescript/lib/lib.dom.d.ts
 // Run: bun scripts/gen-dom.js
 
 export const HTML_TAG_NAMES = [
@@ -184,6 +184,7 @@ export const SVG_TAG_NAMES = [
 ];
 
 export const MATHML_TAG_NAMES = [
+  'a',
   'annotation',
   'annotation-xml',
   'maction',

package/src/grammar/grammar.rip

@@ -973,6 +973,13 @@ grammar =
     o '- Expression'          , '["-", 2]', prec: 'UNARY_MATH'
     o '+ Expression'          , '["+", 2]', prec: 'UNARY_MATH'
 
+    # Postfix `expr as Type` cast. The type rewriter has already collapsed the
+    # `as Type` run into a single CAST marker token whose value is the opaque
+    # type string — the grammar never parses a type. Left-associative (chains
+    # `x as A as B` nest left-to-right) and looser than arithmetic/member/call
+    # but tighter than relational/comparison, matching TS `as` precedence.
+    o 'Expression CAST'       , '["cast", 1, 2]'
+
     # Postfix existence check: expr? → (expr != null)
     o 'Value ?'               , '["?", 1]'
 
@@ -1046,6 +1053,7 @@ operators = """
   left        MATH
   left        + -
   left        SHIFT
+  left        CAST
   left        RELATION
   left        COMPARE
   left        &