rip-lang 3.13.81 → 3.13.83

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.81-blue.svg" alt="Version"></a>
+  <a href="CHANGELOG.md"><img src="https://img.shields.io/badge/version-3.13.83-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

@@ -124,7 +124,12 @@ async function main() {
 
   if (args[0] === 'check') {
     const { runCheck } = await import('../src/typecheck.js');
-    const exitCode = await runCheck(args[1] || '.', { quiet: args.includes('-q') || args.includes('--quiet') });
+    const checkArgs = args.slice(1);
+    const dir = checkArgs.find(a => !a.startsWith('-')) || '.';
+    const exitCode = await runCheck(dir, {
+      quiet: checkArgs.includes('-q') || checkArgs.includes('--quiet'),
+      allowAny: checkArgs.includes('--allow-any'),
+    });
     process.exit(exitCode);
   }
 

package/package.json

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

package/src/typecheck.js

@@ -322,6 +322,32 @@ export async function runCheck(targetDir, opts = {}) {
       else if (severity === 'warning') totalWarnings++;
     }
 
+    // Untyped component prop checking — flag props without :: annotation
+    if (!opts.allowAny && entry.dts) {
+      const dtsLines = entry.dts.split('\n');
+      const srcLines = entry.source.split('\n');
+      for (let d = 0; d < dtsLines.length; d++) {
+        const cm = dtsLines[d].match(/^export declare class (\w+)/);
+        if (!cm) continue;
+        for (let p = d + 1; p < dtsLines.length; p++) {
+          if (/^\}/.test(dtsLines[p])) break;
+          const pm = dtsLines[p].match(/^\s+(\w+)\??\s*:/);
+          if (!pm) continue;
+          const propName = pm[1];
+          for (let s = 0; s < srcLines.length; s++) {
+            const m = new RegExp('@' + propName + '\\s*(::|([:!]?=))').exec(srcLines[s]);
+            if (m) {
+              if (m[1] !== '::') {
+                errors.push({ line: s + 1, message: `Prop '${propName}' on component ${cm[1]} has no type annotation`, severity: 'error', code: 'rip' });
+                totalErrors++;
+              }
+              break;
+            }
+          }
+        }
+      }
+    }
+
     if (errors.length > 0) {
       fileResults.push({ file: fp, errors });
     }
@@ -333,7 +359,7 @@ export async function runCheck(targetDir, opts = {}) {
     for (const e of errors) {
       const loc = `${cyan(rel)}${dim(':')}${yellow(String(e.line))}`;
       const sev = e.severity === 'error' ? red('error') : yellow('warning');
-      console.log(`${loc} ${sev} ${e.message} ${dim(`TS${e.code}`)}`);
+      console.log(`${loc} ${sev} ${e.message} ${dim(typeof e.code === 'number' ? `TS${e.code}` : '')}`);
     }
   }