rip-lang 3.13.134 → 3.13.136

package/CHANGELOG.md

@@ -115,7 +115,6 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 | `@rip-lang/x12` | 0.2.7 |
 | `@rip-lang/schema` | 0.3.7 |
 | `@rip-lang/swarm` | 1.2.17 |
-| `@rip-lang/all` | 3.13.26 |
 
 ## [3.10.12] - 2026-02-20
 

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.134-blue.svg" alt="Version"></a>
+  <a href="CHANGELOG.md"><img src="https://img.shields.io/badge/version-3.13.136-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>
@@ -38,7 +38,7 @@ get '/users/:id' ->                 # RESTful API endpoint, comma-less
 
 **What makes Rip different:**
 - **Modern output** — ES2022 with native classes, `?.`, `??`, modules
-- **New operators** — `!`, `!?`, `//`, `%%`, `=~`, `|>`, `.new()`, and more
+- **New operators** — `!`, `//`, `%%`, `=~`, `|>`, `.new()`, and more
 - **Reactive operators** — `:=`, `~=`, `~>` as language syntax
 - **Optional types** — `::` annotations, `type` aliases, `.d.ts` emission
 - **Zero dependencies** — everything included, even the parser generator
@@ -213,8 +213,6 @@ All use `globalThis` with `??=` — override any by redeclaring locally.
 |----------|---------|--------------|
 | `!` (dammit) | `fetchData!` | Calls AND awaits |
 | `!` (void) | `def process!` | Suppresses implicit return |
-| `!?` (otherwise) | `val !? 5` | Default only if `undefined` (infix) |
-| `!?` (defined) | `val!?` | True if not `undefined` (postfix) |
 | `?!` (presence) | `@checked?!` | True if truthy, else `undefined` (Houdini operator) |
 | `?` (existence) | `x?` | True if `x != null` |
 | `?:` (ternary) | `x > 0 ? 'yes' : 'no'` | JS-style ternary expression |
@@ -485,7 +483,7 @@ bun run build          # Build browser bundle
 ## Release
 
 ```bash
-# rip-lang + changed @rip-lang/* packages + @rip-lang/all
+# rip-lang + changed @rip-lang/* packages
 bun run bump
 
 # Explicit version level
@@ -495,8 +493,7 @@ bun run bump major
 ```
 
 - `bun run bump` is the standard release flow for the npm ecosystem in this repo.
-- It bumps `rip-lang`, bumps any changed publishable `@rip-lang/*` packages, updates `@rip-lang/all`, runs the build and test steps, then commits, pushes, and publishes.
-- `@rip-lang/all` is released automatically as part of that flow; there is no separate manual release step for it.
+- It bumps `rip-lang`, bumps any changed publishable `@rip-lang/*` packages, runs the build and test steps, then commits, pushes, and publishes.
 - `packages/vscode` is intentionally excluded and must be versioned and published separately.
 
 ---

package/bin/rip

@@ -4,7 +4,7 @@ import { readFileSync, readdirSync, writeFileSync, existsSync, statSync, unlinkS
 import { execSync, spawnSync, spawn } from 'child_process';
 import { fileURLToPath } from 'url';
 import { dirname, basename, join } from 'path';
-import { Compiler } from '../src/compiler.js';
+import { Compiler, formatError } from '../src/compiler.js';
 import packageJson from '../package.json' with { type: 'json' };
 
 const __dirname = dirname(fileURLToPath(import.meta.url));
@@ -55,8 +55,13 @@ Options:
 
 Subcommands:
   rip check [dir]               Type-check all .rip files in directory
+  rip check --strict [dir]      Require type annotations in all .rip files
   rip <name> [args]             Run rip-<name> (repo bin/, node_modules, or PATH)
 
+  Configure via rip.json or package.json:
+    { "strict": true, "exclude": ["scripts/**"] }             # rip.json
+    { "rip": { "strict": true, "exclude": ["scripts/**"] } }  # package.json
+
 Packages:
   rip server [flags] [app]      Start server (run 'rip server -h' for details)
   rip db                        DuckDB server
@@ -135,6 +140,7 @@ async function main() {
     const dir = checkArgs.find(a => !a.startsWith('-')) || '.';
     const exitCode = await runCheck(dir, {
       quiet: checkArgs.includes('-q') || checkArgs.includes('--quiet'),
+      strict: checkArgs.includes('--strict'),
     });
     process.exit(exitCode);
   }
@@ -269,7 +275,13 @@ async function main() {
 
     // Non-.rip files (e.g. shebang scripts): compile to temp file, execute, clean up
     const source = readFileSync(inputFile, 'utf-8');
-    const result = new Compiler().compile(source);
+    let result;
+    try {
+      result = new Compiler({ filename: inputFile }).compile(source);
+    } catch (error) {
+      console.error(formatError(error, { source, file: inputFile }));
+      process.exit(1);
+    }
     const tmp = join(dirname(inputFile), `.${basename(inputFile)}.__rip__.mjs`);
     let exitCode = 0;
     try {
@@ -295,6 +307,7 @@ async function main() {
 
   try {
     const compiler = new Compiler({ showTokens, showSExpr, quiet,
+      filename: inputFile || '<stdin>',
       types: generateDts ? 'emit' : undefined,
       sourceMap: generateMap ? 'inline' : undefined,
     });
@@ -320,8 +333,7 @@ async function main() {
       console.log(entry.tsContent);
     }
   } catch (error) {
-    console.error('Compilation Error:', error.message);
-    if (error.stack) console.error(error.stack);
+    console.error(formatError(error, { source, file: inputFile }));
     process.exit(1);
   }
 }

package/docs/RIP-LANG.md

@@ -305,7 +305,6 @@ Multiple lines
 | `in` | `x in arr` | Array membership |
 | `of` | `k of obj` | Object key existence |
 | `?` (postfix) | `a?` | Existence check (`a != null`) |
-| `!?` (postfix) | `a!?` | Defined check (`a !== undefined`) |
 | `?!` (postfix) | `a?!` | Presence check — true if truthy, else undefined |
 | `?` (ternary) | `a ? b : c` | Ternary conditional |
 | `if...else` (postfix) | `b if a else c` | Python-style ternary |
@@ -325,8 +324,6 @@ Multiple lines
 | `%%` | True modulo | `-1 %% 3` | Always positive result (not remainder) |
 | `!` | Dammit | `fetchData!` | `await fetchData()` — calls AND awaits |
 | `!` | Void | `def process!` | Suppresses implicit return |
-| `!?` | Otherwise | `val !? 5` | Default if undefined (infix) |
-| `!?` | Defined | `val!?` | True if not undefined (postfix) |
 | `?!` | Presence | `@checked?!` | `(this.checked ? true : undefined)` — Houdini operator |
 | `=~` | Match | `str =~ /pat/` | Ruby-style regex match, captures in `_` |
 | `::` | Prototype | `String::trim` | `String.prototype.trim` |
@@ -438,37 +435,6 @@ level = score > 90 ? 'A' : score > 80 ? 'B' : score > 70 ? 'C' : 'F'
 item = found ? (arr[0]) : default
 ```
 
-## Otherwise Operator (`!?`) and Defined Check (`!?`)
-
-The `!?` token serves two roles, distinguished by spacing:
-
-**Infix (spaced) — otherwise:** Provides a fallback when a value is `undefined`:
-
-```coffee
-result = getValue() !? "default"
-# If getValue() returns undefined, result = "default"
-# null, 0, false, "" all pass through unchanged
-```
-
-**Postfix (unspaced) — defined check:** Returns `true` if a value is not `undefined`:
-
-```coffee
-value!?              # (value !== undefined)
-
-# Useful in comprehensions for filtering defined keys
-keys = (k for k, v of obj when v!?)
-```
-
-The postfix form mirrors `?` (existence check) but with tighter semantics:
-
-| Operator | Checks | `null` | `undefined` | `0` | `false` | `""` |
-|----------|--------|--------|-------------|-----|---------|------|
-| `v?` | not nullish | false | false | true | true | true |
-| `v!?` | not undefined | true | false | true | true | true |
-| `v?!` | truthy presence | `undefined` | `undefined` | `undefined` | `undefined` | `undefined` |
-
-Note: `v?!` returns `true` for truthy values, `undefined` for falsy values.
-
 ## Presence Operator (`?!`) — The Houdini
 
 The `?!` operator (postfix, unspaced) returns `true` if the value is truthy,
@@ -1955,12 +1921,6 @@ catch error
 finally
   cleanup()
 
-# Otherwise operator for defaults
-value = riskyOperation() !? "default"
-
-# Defined check for filtering
-keys = (k for k, v of data when v!?)
-
 # Optional chaining for safety
 name = user?.profile?.name ?? "Anonymous"
 ```
@@ -2068,8 +2028,6 @@ X.new(a: 1)
 
 # Operators
 a!             # await a()
-a !? b         # a if defined, else b (infix otherwise)
-a!?            # true if a is defined (postfix defined check)
 a?!            # true if truthy, else undefined (Houdini)
 a // b         # floor divide
 a %% b         # true modulo

package/docs/RIP-TYPES.md

@@ -643,39 +643,40 @@ count = 0                     # Inferred as number
 
 ## Adoption Model
 
-Types are optional at every level:
+Types are optional and gradual:
 
 ### Project Level
 
+Configure via `rip.json` or the `"rip"` key in `package.json`:
+
 ```json
 {
-  "rip": {
-    "types": "emit"
-  }
+  "strict": true,
+  "exclude": ["vendor/**", "legacy/**"]
 }
 ```
 
-| Mode | Behavior |
-|------|----------|
-| `"off"` | Types are parsed but ignored — no `.d.ts` emitted |
-| `"emit"` | `.d.ts` files generated — enables editor IntelliSense |
-| `"check"` | `.d.ts` generated + `tsc --noEmit` validates types |
+| Key | Purpose |
+|-----|--------|
+| `strict` | Enable strict mode for `rip check` (default: `false`) |
+| `exclude` | Glob patterns for files to skip during `rip check` |
 
 ### File Level
 
-Override per-file with a directive:
+Opt out of type-checking for a single file:
 
 ```coffee
-# @types off    — Ignore types in this file
-# @types emit   — Parse and emit .d.ts
-# @types check  — Full TypeScript checking
+# @nocheck
 ```
 
+Untyped files (no `::` annotations) automatically get `// @ts-nocheck` —
+no directive needed.
+
 ### Gradual Path
 
-1. **Start with `"off"`** — Write normal Rip code
-2. **Enable `"emit"`** — Add types where helpful, get `.d.ts` for tooling
-3. **Move to `"check"`** — Enforce type safety via TypeScript
+1. **Start untyped** — Write normal Rip code
+2. **Add annotations** — Use `::` where helpful; `.d.ts` emitted automatically for editor IntelliSense
+3. **Enable strict** — Set `strict: true` to enforce type safety via `rip check`
 
 ---
 
@@ -752,7 +753,7 @@ Rip Types is primarily **editor-driven**. The intended loop:
 1. Define shapes and contracts
 2. Annotate public boundaries
 3. Let the editor guide implementation
-4. Optionally validate via `types: "check"`
+4. Optionally validate via `rip check`
 
 High-quality `.d.ts` output is a first-class goal.
 
@@ -768,8 +769,8 @@ Rip does not:
 - Introduce runtime type checks
 - Evaluate type expressions or prove soundness
 
-These responsibilities belong to editors, linters, and TypeScript tooling
-(when enabled via `types: "check"`).
+These responsibilities belong to editors, linters, and TypeScript tooling.
+When types are added, `rip check` delegates to TypeScript, which provides all of these capabilities.
 
 Rip only needs to:
 
@@ -821,13 +822,13 @@ Components added `src/components.js` alongside the compiler — types add
 |------|------|-------|
 | `src/lexer.js` | Detect `::` and `type` keyword, import `installTypeSupport` from `types.js` | Small inline changes |
 | `src/types.js` | Lexer sidecar: `installTypeSupport(Lexer)`, `emitTypes(tokens)`, `generateEnum()` | New file, bulk of logic |
-| `src/compiler.js` | Call `emitTypes()` before parsing, wire `generateEnum()` | ~8 lines |
+| `src/compiler.js` | Call `emitTypes()` after codegen, wire `generateEnum()` | ~8 lines |
 | `src/grammar/grammar.rip` | Add `Enum` rule to `Expression` | 1 rule + 1 export |
 
 The boundary is the token stream. Types are fully resolved before parsing —
-`rewriteTypes()` strips annotations, `emitTypes()` produces `.d.ts` from
-annotated tokens, and type-only constructs are removed before the parser
-runs. Only `enum` crosses into the parser/compiler because it generates
+`rewriteTypes()` strips annotations and type-only constructs are removed
+before the parser runs. After codegen, `emitTypes()` produces `.d.ts` from
+the annotated tokens and the parsed s-expression tree. Only `enum` crosses into the parser/compiler because it generates
 runtime JavaScript.
 
 **The `components.js` pattern to follow:**
@@ -1415,8 +1416,9 @@ if (tag === 'IDENTIFIER' && token[1] === 'type') {
 }
 ```
 
-The `TYPE_DECL` marker is read by `emitTypes()` and then **removed from
-the token stream** before parsing. No grammar rule is needed.
+The `TYPE_DECL` marker is **removed from the token stream** before parsing
+(a copy is saved for `emitTypes()`, which runs after codegen). No grammar
+rule is needed.
 
 .d.ts: `type ID = number;`
 
@@ -1567,9 +1569,9 @@ enum HttpCode {
 }
 ```
 
-Note: `emitTypes()` reads enum info from the token stream before parsing.
-The enum tokens remain in the stream for the parser (unlike type aliases
-and interfaces, which are removed).
+Note: `emitTypes()` reads enum info from the saved token stream after
+codegen. The enum tokens remain in the stream for the parser (unlike type
+aliases and interfaces, which are removed).
 
 #### 2.5 Grammar Changes Summary
 
@@ -1669,9 +1671,10 @@ type Container<T> = { value: T; };
 
 ### Phase 3: Dual Emission (.js and .d.ts)
 
-All type-related logic lives in `src/types.js`. The `.d.ts` is emitted from
-the annotated token stream (before parsing). The `.js` is generated by the
-existing CodeGenerator (after parsing), with only `generateEnum()` added.
+All type-related logic lives in `src/types.js`. The `.js` is generated by
+the existing CodeGenerator (after parsing), with only `generateEnum()`
+added. The `.d.ts` is emitted last by `emitTypes()`, which receives both
+the annotated token stream and the parsed s-expression tree.
 
 #### 3.1 `generateEnum()` — The One Compiler Addition
 
@@ -1725,13 +1728,9 @@ compile(source) {
   let lexer = new Lexer();
   let tokens = lexer.tokenize(source);
 
-  // Step 2: Emit .d.ts from annotated tokens (before parsing)
-  let dts = null;
-  if (this.options.types === 'emit' || this.options.types === 'check') {
-    dts = emitTypes(tokens);
-    // Remove TYPE_DECL markers so the parser doesn't see them
-    tokens = tokens.filter(t => t[0] !== 'TYPE_DECL');
-  }
+  // Step 2: Save annotated tokens, remove TYPE_DECL markers
+  let typeTokens = hasTypes ? [...tokens] : null;
+  tokens = tokens.filter(t => t[0] !== 'TYPE_DECL');
 
   // Step 3: Parse (grammar only sees Enum as a new construct)
   // ... existing parser setup ...
@@ -1741,15 +1740,18 @@ compile(source) {
   let generator = new CodeGenerator({ ... });
   let code = generator.compile(sexpr);
 
+  // Step 5: Emit .d.ts from annotated tokens + parsed s-expression
+  let dts = typeTokens ? emitTypes(typeTokens, sexpr, source) : null;
+
   return { tokens, sexpr, code, dts, data: dataSection, reactiveVars: generator.reactiveVars };
 }
 ```
 
-The key insight: `.d.ts` emission happens **between tokenization and
-parsing**. After `emitTypes()` reads the annotated tokens, `TYPE_DECL`
-markers are filtered out. The parser receives a clean, type-free token
-stream — identical to what it would see from untyped Rip code, plus
-`ENUM` tokens.
+The key insight: `TYPE_DECL` markers are removed **before parsing**, so the
+parser receives a clean, type-free token stream — identical to what it
+would see from untyped Rip code, plus `ENUM` tokens. The `.d.ts` is emitted
+**after codegen**, giving `emitTypes()` access to both the annotated tokens
+and the s-expression tree (used for export detection, etc.).
 
 #### 3.4 `const` Emission Rule
 
@@ -1791,15 +1793,8 @@ See §1.6 for the full Rip-to-TypeScript conversion table (including `::` → `:
 
 #### File-Level Type Directives
 
-```coffee
-# @types off     — ignore types in this file
-# @types emit    — emit .d.ts
-# @types check   — emit .d.ts + enable tsc validation
-```
-
-These are comments. The lexer's `commentToken()` method can detect this
-pattern and set a flag. Alternatively, the `Compiler` can scan for the
-directive before tokenizing.
+A `# @nocheck` comment near the top of a file opts it out of type-checking.
+Untyped files (no `::` annotations) are automatically skipped.
 
 #### Export of Type-Only Declarations
 

package/docs/demo.html

@@ -959,10 +959,10 @@ export Dashboard = component
 
     p class: 'section', "Core Charts"
     .grid
-      ChartCard title: 'Monthly Revenue',               subtitle: 'Total recurring revenue by month',              chartId: 'line'
+      ChartCard title: 'Monthly Revenue',                subtitle: 'Total recurring revenue by month',              chartId: 'line'
       ChartCard title: 'Revenue by Product',             subtitle: 'Stacked area breakdown across product lines',   chartId: 'area'
       ChartCard title: 'Quarterly Revenue',              subtitle: 'Quarter-over-quarter comparison',               chartId: 'bar'
-      ChartCard title: 'Revenue by Product × Quarter', subtitle: 'Stacked bar with product breakdown',         chartId: 'stackedBar'
+      ChartCard title: 'Revenue by Product × Quarter',   subtitle: 'Stacked bar with product breakdown',         chartId: 'stackedBar'
       ChartCard title: 'Revenue & Margin',               subtitle: 'Revenue bars with gross margin % line overlay', chartId: 'combo'
       ChartCard title: 'Revenue & Growth Rate',          subtitle: 'Dual-axis: revenue (left) and YoY growth (right)', chartId: 'multiAxis'
       ChartCard title: 'Customers by Segment',           subtitle: 'Distribution across customer tiers',            chartId: 'pie'