rip-lang 3.12.3 → 3.12.5

package/package.json

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

package/src/app.rip

@@ -688,7 +688,7 @@ export createRenderer = (opts = {}) ->
     for inst in layoutInstances by -1
       inst.beforeUnmount() if inst.beforeUnmount
       inst.unmounted() if inst.unmounted
-      inst._root?.remove()
+      inst._target?.remove()
     layoutInstances = []
     mountPoint = container
 
@@ -724,7 +724,7 @@ export createRenderer = (opts = {}) ->
         return
 
       layoutsChanged = not arraysEqual(layoutFiles, currentLayouts)
-      oldRoot = currentComponent?._root
+      oldTarget = currentComponent?._target
 
       if layoutsChanged
         unmount()
@@ -768,7 +768,7 @@ export createRenderer = (opts = {}) ->
       cached = componentCache.get(route.file)
       if cached
         componentCache.delete route.file
-        mp.appendChild cached._root
+        mp.appendChild cached._target
         currentComponent = cached
         currentRoute = route.file
       else
@@ -783,7 +783,7 @@ export createRenderer = (opts = {}) ->
         currentRoute = route.file
 
         instance.load!(params, query) if instance.load
-      oldRoot?.remove()
+      oldTarget?.remove()
       router.navigating = false
       if container.style.opacity is '0'
         document.fonts.ready.then ->
@@ -857,6 +857,12 @@ connectWatch = (url) ->
       console.log '[Rip] Reloading...'
       location.reload()
 
+    es.addEventListener 'css', ->
+      for link as document.querySelectorAll('link[rel="stylesheet"]')
+        url = new URL(link.href)
+        url.searchParams.set('_t', Date.now())
+        link.href = url.toString()
+
     es.onerror = ->
       es.close()
       setTimeout connect, retryDelay

package/src/components.js

@@ -729,13 +729,14 @@ export function installComponentSupport(CodeGenerator, Lexer) {
     // Effects
     for (const effect of effects) {
       const effectBody = effect[2];
+      const isAsync = this.containsAwait(effectBody) ? 'async ' : '';
       if (this.is(effectBody, 'block') && effectBody.length > 2) {
         const transformed = this.transformComponentMembers(effectBody);
         const body = this.generateFunctionBody(transformed, [], true);
-        lines.push(`    __effect(() => ${body});`);
+        lines.push(`    __effect(${isAsync}() => ${body});`);
       } else {
         const effectCode = this.generateInComponent(effectBody, 'value');
-        lines.push(`    __effect(() => { ${effectCode}; });`);
+        lines.push(`    __effect(${isAsync}() => { ${effectCode}; });`);
       }
     }
 

package/src/lexer.js

@@ -768,6 +768,18 @@ export class Lexer {
         }
       }
     }
+    // A > that closes a generic type annotation is NOT a continuation
+    let prev = this.tokens[this.tokens.length - 1];
+    if (prev?.[0] === 'COMPARE' && prev[1] === '>') {
+      let depth = 0;
+      for (let k = this.tokens.length - 1; k >= 0; k--) {
+        let tk = this.tokens[k];
+        if (tk[0] === 'COMPARE' && tk[1] === '>') depth++;
+        else if (tk[0] === 'COMPARE' && tk[1] === '<') depth--;
+        if (depth === 0 && tk[0] === 'TYPE_ANNOTATION') return false;
+        if (tk[0] === 'TERMINATOR' || tk[0] === 'INDENT' || tk[0] === 'OUTDENT') break;
+      }
+    }
     return LINE_CONTINUER_RE.test(this.chunk) || UNFINISHED.has(this.prevTag());
   }
 

package/src/typecheck.js

@@ -181,26 +181,50 @@ export function compileForCheck(filePath, source, compiler) {
   // Build bidirectional line maps
   const { srcToGen, genToSrc } = buildLineMap(result.reverseMap, result.map, headerLines);
 
-  // Map DTS variable declaration lines back to their source lines.
-  // TypeScript may report errors on the `let x: Type;` line in the
-  // DTS header, which has no entry in genToSrc. Fix by matching
-  // variable names to source lines with `x::`.
+  // Map DTS declaration lines back to source lines (bidirectional).
+  // Covers: let/var declarations, type aliases, interfaces, enums, classes.
+  // This enables hover, go-to-definition, and diagnostics for type-only code.
   if (hasTypes && dts) {
     const dtsLines = dts.split('\n');
     const srcLines = source.split('\n');
     for (let i = 0; i < dtsLines.length; i++) {
-      const m = dtsLines[i].match(/^(?:let|var)\s+(\w+)\s*:/);
+      const line = dtsLines[i];
+      const m = line.match(/^(?:export\s+)?(?:declare\s+)?(?:let|var|type|interface|enum|class)\s+(\w+)/);
       if (!m) continue;
-      const varName = m[1];
+      const name = m[1];
       for (let s = 0; s < srcLines.length; s++) {
-        if (new RegExp('\\b' + varName + '\\s*::').test(srcLines[s])) {
+        const src = srcLines[s];
+        if (new RegExp('\\b' + name + '\\s*(?:::=|::)').test(src) ||
+            new RegExp('^(?:export\\s+)?interface\\s+' + name + '\\b').test(src) ||
+            new RegExp('^(?:export\\s+)?enum\\s+' + name + '\\b').test(src) ||
+            new RegExp('^(?:export\\s+)?' + name + '\\s*=\\s*component\\b').test(src)) {
           genToSrc.set(i, s);
+          srcToGen.set(s, i);
           break;
         }
       }
     }
   }
 
+  // Interpolate gaps — if src line A maps to gen line X and src line B maps to
+  // gen line Y, fill src lines A+1..B-1 → gen lines X+1..Y-1. This gives hover
+  // and diagnostics coverage for function body lines that the compiler didn't map.
+  const mapped = [...srcToGen.entries()].sort((a, b) => a[0] - b[0]);
+  for (let i = 0; i < mapped.length - 1; i++) {
+    const [srcA, genA] = mapped[i];
+    const [srcB, genB] = mapped[i + 1];
+    const srcGap = srcB - srcA;
+    const genGap = genB - genA;
+    if (srcGap > 1 && genGap > 1 && srcGap <= genGap + 2) {
+      for (let d = 1; d < srcGap; d++) {
+        if (!srcToGen.has(srcA + d) && genA + d < genB) {
+          srcToGen.set(srcA + d, genA + d);
+          genToSrc.set(genA + d, srcA + d);
+        }
+      }
+    }
+  }
+
   return { tsContent, headerLines, hasTypes, srcToGen, genToSrc, source };
 }