rip-lang 3.13.79 → 3.13.81

package/README.md

@@ -9,7 +9,7 @@
 </p>
 
 <p align="center">
-  <a href="CHANGELOG.md"><img src="https://img.shields.io/badge/version-3.13.79-blue.svg" alt="Version"></a>
+  <a href="CHANGELOG.md"><img src="https://img.shields.io/badge/version-3.13.81-blue.svg" alt="Version"></a>
   <a href="#zero-dependencies"><img src="https://img.shields.io/badge/dependencies-ZERO-brightgreen.svg" alt="Dependencies"></a>
   <a href="#"><img src="https://img.shields.io/badge/tests-1%2C436%2F1%2C436-brightgreen.svg" alt="Tests"></a>
   <a href="LICENSE"><img src="https://img.shields.io/badge/license-MIT-green.svg" alt="License"></a>

package/bin/rip

@@ -32,7 +32,6 @@ Usage:
 Options:
   -c, --compile       Show compiled JavaScript output
   -d, --dts           Show type declarations
-  -l, --lsp           Show LSP TypeScript output (DTS + typed code for IntelliSense)
   -m, --map           Embed inline source map in compiled output
   -h, --help          Show this help message
   -o, --output <file> Write JavaScript to file
@@ -162,7 +161,6 @@ async function main() {
   const showSExpr = ripOptions.includes('-s') || ripOptions.includes('--sexpr');
   const showCompiled = ripOptions.includes('-c') || ripOptions.includes('--compile');
   const generateDts = ripOptions.includes('-d') || ripOptions.includes('--dts');
-  const showLsp = ripOptions.includes('-l') || ripOptions.includes('--lsp');
   const generateMap = ripOptions.includes('-m') || ripOptions.includes('--map');
   const quiet = ripOptions.includes('-q') || ripOptions.includes('--quiet');
 
@@ -176,7 +174,7 @@ async function main() {
   }
 
   // Stdin handling — read into memory; only write temp file for the execute path
-  const hasCompileFlag = showCompiled || showTokens || showSExpr || generateDts || showLsp || generateMap || outputFile;
+  const hasCompileFlag = showCompiled || showTokens || showSExpr || generateDts || generateMap || outputFile;
   let source;
 
   if (!inputFile) {
@@ -257,24 +255,20 @@ async function main() {
 
   try {
     const compiler = new Compiler({ showTokens, showSExpr, quiet,
-      types: (generateDts || showLsp) ? 'emit' : undefined,
+      types: generateDts ? 'emit' : undefined,
       sourceMap: generateMap ? 'inline' : undefined,
-      mode: showLsp ? 'lsp' : undefined,
     });
     const result = compiler.compile(source);
 
     if (outputFile) {
       writeFileSync(outputFile, result.code, 'utf-8');
       if (!quiet) console.log(`Compiled to ${outputFile}`);
-    } else if (showLsp) {
-      if (!quiet) console.log(`// == LSP TypeScript output by Rip ${VERSION} == //\n`);
-      console.log(result.code);
     } else if (showCompiled) {
       if (!quiet) console.log(`// == JavaScript output by Rip ${VERSION} == //\n`);
       console.log(result.code);
     }
 
-    if (generateDts && !showLsp && result.dts) {
+    if (generateDts && result.dts) {
       if (!quiet) console.log(`// == Type declarations == //\n`);
       console.log(result.dts);
     }

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "rip-lang",
-  "version": "3.13.79",
+  "version": "3.13.81",
   "description": "A modern language that compiles to JavaScript",
   "type": "module",
   "main": "src/compiler.js",

package/src/compiler.js

@@ -671,32 +671,26 @@ export class CodeGenerator {
       }
     }
 
-    if (this.options.lspMode && (this.usesReactivity || this.usesTemplates)) {
-      if (needsBlank) code += '\n';
-      code += getLspRuntimeDeclarations();
-      needsBlank = true;
-    } else {
-      if (this.usesReactivity && !skip) {
-        if (skipRT) {
-          code += 'var { __state, __computed, __effect, __batch, __readonly, __setErrorHandler, __handleError, __catchErrors } = globalThis.__rip;\n';
-        } else if (typeof globalThis !== 'undefined' && globalThis.__rip) {
-          code += 'const { __state, __computed, __effect, __batch, __readonly, __setErrorHandler, __handleError, __catchErrors } = globalThis.__rip;\n';
-        } else {
-          code += this.getReactiveRuntime();
-        }
-        needsBlank = true;
+    if (this.usesReactivity && !skip) {
+      if (skipRT) {
+        code += 'var { __state, __computed, __effect, __batch, __readonly, __setErrorHandler, __handleError, __catchErrors } = globalThis.__rip;\n';
+      } else if (typeof globalThis !== 'undefined' && globalThis.__rip) {
+        code += 'const { __state, __computed, __effect, __batch, __readonly, __setErrorHandler, __handleError, __catchErrors } = globalThis.__rip;\n';
+      } else {
+        code += this.getReactiveRuntime();
       }
+      needsBlank = true;
+    }
 
-      if (this.usesTemplates && !skip) {
-        if (skipRT) {
-          code += 'var { __pushComponent, __popComponent, setContext, getContext, hasContext, __clsx, __lis, __reconcile, __transition, __handleComponentError, __Component } = globalThis.__ripComponent;\n';
-        } else if (typeof globalThis !== 'undefined' && globalThis.__ripComponent) {
-          code += 'const { __pushComponent, __popComponent, setContext, getContext, hasContext, __clsx, __lis, __reconcile, __transition, __handleComponentError, __Component } = globalThis.__ripComponent;\n';
-        } else {
-          code += this.getComponentRuntime();
-        }
-        needsBlank = true;
+    if (this.usesTemplates && !skip) {
+      if (skipRT) {
+        code += 'var { __pushComponent, __popComponent, setContext, getContext, hasContext, __clsx, __lis, __reconcile, __transition, __handleComponentError, __Component } = globalThis.__ripComponent;\n';
+      } else if (typeof globalThis !== 'undefined' && globalThis.__ripComponent) {
+        code += 'const { __pushComponent, __popComponent, setContext, getContext, hasContext, __clsx, __lis, __reconcile, __transition, __handleComponentError, __Component } = globalThis.__ripComponent;\n';
+      } else {
+        code += this.getComponentRuntime();
       }
+      needsBlank = true;
     }
 
     if (this.dataSection !== null && this.dataSection !== undefined && !skip) {
@@ -3295,15 +3289,13 @@ export class Compiler {
       sourceMap = new SourceMapGenerator(file, sourceFile, source);
     }
 
-    let lspMode = this.options.mode === 'lsp';
-
     let generator = new CodeGenerator({
       dataSection,
-      skipPreamble: lspMode || this.options.skipPreamble,
+      skipPreamble: this.options.skipPreamble,
       skipRuntimes: this.options.skipRuntimes,
       skipExports: this.options.skipExports,
+      stubComponents: this.options.stubComponents,
       reactiveVars: this.options.reactiveVars,
-      lspMode,
       sourceMap,
     });
     let code = generator.compile(sexpr);
@@ -3322,11 +3314,6 @@ export class Compiler {
       dts = emitTypes(typeTokens, sexpr);
     }
 
-    // LSP mode: prepend DTS to code for a single combined output
-    if (lspMode && dts) {
-      code = dts.trimEnd() + '\n\n' + code;
-    }
-
     return { tokens, sexpr, code, dts, map, reverseMap, data: dataSection, reactiveVars: generator.reactiveVars };
   }
 
@@ -3388,20 +3375,4 @@ export function getComponentRuntime() {
   return new CodeGenerator({}).getComponentRuntime();
 }
 
-export function getLspRuntimeDeclarations() {
-  return `\
-interface Signal<T> { value: T; read(): T; }
-interface Computed<T> { readonly value: T; read(): T; }
-declare function __state<T>(v: T): Signal<T>;
-declare function __computed<T>(fn: () => T): Computed<T>;
-declare function __effect(fn: () => void | (() => void)): () => void;
-declare function __batch<T>(fn: () => T): T;
-declare function __readonly<T>(v: T): Readonly<{ value: T }>;
-declare function setContext(key: string, value: any): void;
-declare function getContext(key: string): any;
-declare function hasContext(key: string): boolean;
-declare class __Component { constructor(props?: any); [key: string]: any; }
-`;
-}
-
 export { formatSExpr };

package/src/components.js

@@ -669,6 +669,8 @@ export function installComponentSupport(CodeGenerator, Lexer) {
    * Pattern: ["component", null, ["block", ...statements]]
    */
   proto.generateComponent = function(head, rest, context, sexpr) {
+    if (this.options.stubComponents) return 'class {}';
+
     const [, body] = rest;
 
     this.usesTemplates = true;
@@ -788,22 +790,7 @@ export function installComponentSupport(CodeGenerator, Lexer) {
     lines.push('class extends __Component {');
 
     // --- Init (called by __Component constructor) ---
-    if (this.options.lspMode) {
-      const typedProps = [];
-      for (const v of [...readonlyVars, ...stateVars]) {
-        if (v.isPublic) {
-          const t = v.type || 'any';
-          typedProps.push(`${v.name}?: ${t}`);
-          typedProps.push(`__bind_${v.name}__?: ${t}`);
-        }
-      }
-      const propsType = typedProps.length > 0
-        ? `{ ${typedProps.join(', ')}, [key: string]: any }`
-        : 'any';
-      lines.push(`  _init(props: ${propsType}) {`);
-    } else {
-      lines.push('  _init(props) {');
-    }
+    lines.push('  _init(props) {');
 
     // Constants (readonly)
     for (const { name, value, isPublic } of readonlyVars) {
@@ -884,7 +871,7 @@ export function installComponentSupport(CodeGenerator, Lexer) {
     }
 
     // --- Render block (fine-grained) ---
-    if (renderBlock && !this.options.lspMode) {
+    if (renderBlock) {
       const renderBody = renderBlock[1];
       const result = this.buildRender(renderBody);
 

package/src/typecheck.js

@@ -44,6 +44,9 @@ export const SKIP_CODES = new Set([
   1064, // Return type of async function must be Promise
   2582, // Cannot find name 'test' (test runner globals)
   2593, // Cannot find name 'describe' (test runner globals)
+  7005, // Variable implicitly has an 'any' type (compiler-generated locals)
+  7006, // Parameter implicitly has an 'any' type (compiler-generated params)
+  7034, // Variable implicitly has type 'any' in some locations (compiler-generated)
 ]);
 
 // Base TypeScript compiler settings for type-checking. Callers can
@@ -64,12 +67,13 @@ export function createTypeCheckSettings(ts, overrides = {}) {
 
 // ── Shared compilation pipeline ────────────────────────────────────
 
-// Compile a .rip file for type-checking. Uses mode: 'lsp' which emits
-// DTS + typed runtime declarations + compiled code in a single output.
-// Builds bidirectional source maps for the LSP and CLI checker.
+// Compile a .rip file for type-checking. Prepends DTS declarations to
+// compiled JS, detects type annotations, and builds bidirectional
+// source maps. Returns everything both the CLI and LSP need.
 export function compileForCheck(filePath, source, compiler) {
-  const result = compiler.compile(source, { sourceMap: true, types: 'emit', mode: 'lsp' });
+  const result = compiler.compile(source, { sourceMap: true, types: 'emit', skipPreamble: true, stubComponents: true });
   let code = result.code || '';
+  const dts = result.dts ? result.dts.trimEnd() + '\n' : '';
 
   // Determine if this file should be type-checked
   const hasOwnTypes = hasTypeAnnotations(source);
@@ -90,9 +94,8 @@ export function compileForCheck(filePath, source, compiler) {
   // Ensure every file is treated as a module (not a global script)
   if (!/\bexport\b/.test(code) && !/\bimport\b/.test(code)) code += '\nexport {};\n';
 
-  const dts = result.dts ? result.dts.trimEnd() + '\n' : '';
-  const tsContent = code;
-  const headerLines = hasTypes && dts ? countLines(dts + '\n') : 1;
+  const tsContent = (hasTypes ? dts + '\n' : '') + code;
+  const headerLines = hasTypes ? countLines(dts + '\n') : 1;
 
   // Build bidirectional line maps
   const { srcToGen, genToSrc } = buildLineMap(result.reverseMap, result.map, headerLines);
@@ -141,7 +144,7 @@ export function compileForCheck(filePath, source, compiler) {
     }
   }
 
-  return { tsContent, headerLines, hasTypes, srcToGen, genToSrc, source };
+  return { tsContent, headerLines, hasTypes, srcToGen, genToSrc, source, dts };
 }
 
 // ── Source mapping helpers ──────────────────────────────────────────
@@ -244,7 +247,7 @@ export async function runCheck(targetDir, opts = {}) {
   }
 
   // Create TypeScript language service
-  const settings = createTypeCheckSettings(ts, { noImplicitAny: true });
+  const settings = createTypeCheckSettings(ts);
 
   const host = {
     getScriptFileNames: () => [...compiled.keys()].map(toVirtual),