rip-lang 3.9.3 → 3.10.1

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
package/bin/rip CHANGED
@@ -36,6 +36,9 @@ Options:
36
36
  -v, --version Show version number
37
37
  -w, --web Launch browser REPL (auto-opens + auto-shutdown)
38
38
 
39
+ Subcommands:
40
+ rip check [dir] Type-check all .rip files in directory
41
+
39
42
  Examples:
40
43
  rip # Interactive REPL (terminal)
41
44
  rip script.rip # Execute script directly
@@ -93,6 +96,13 @@ async function main() {
93
96
  }
94
97
 
95
98
  // Launch local browser REPL (starts server + opens browser)
99
+ if (args[0] === 'check') {
100
+ const targetDir = args[1] || '.';
101
+ const { runCheck } = await import('../src/typecheck.js');
102
+ const exitCode = await runCheck(targetDir, { quiet: args.includes('-q') || args.includes('--quiet') });
103
+ process.exit(exitCode);
104
+ }
105
+
96
106
  if (ripOptions.includes('-w') || ripOptions.includes('--web')) {
97
107
  console.log('🚀 Starting Rip browser REPL...\n');
98
108