aontu 0.33.0 → 0.34.1

package/src/val/MapVal.ts

@@ -1,7 +1,6 @@
 /* Copyright (c) 2021-2025 Richard Rodger, MIT License */
 
 
-
 import type {
   Val,
   ValSpec,
@@ -88,7 +87,6 @@ class MapVal extends BagVal {
     out.optionalKeys = [...this.optionalKeys]
     out.spread.cj = this.spread.cj
     out.site = this.site
-    out.from = this.from
 
     if (peer instanceof MapVal) {
       if (!this.closed && peer.closed) {
@@ -140,10 +138,10 @@ class MapVal extends BagVal {
         const keyctx = ctx.descend(key)
 
         const key_spread_cj = spread_cj.clone(keyctx)
-        // console.log('MAPVAL-SPREAD', this.id, key, key_spread_cj.id, key_spread_cj.canon, key_spread_cj.done)
-
         const child = this.peg[key]
 
+        // console.log('MAPVAL-SPREAD', this.id, key, child, key_spread_cj.id, key_spread_cj.canon, key_spread_cj.done)
+
         propagateMarks(this, child)
 
         out.peg[key] =
@@ -180,7 +178,7 @@ class MapVal extends BagVal {
           let child = out.peg[peerkey]
 
           let oval = out.peg[peerkey] =
-            undefined === child ? peerchild :
+            undefined === child ? this.handleExpectedVal(peerkey, peerchild, this, ctx) :
               child.isTop && peerchild.done ? peerchild :
                 child.isNil ? child :
                   peerchild.isNil ? peerchild :
@@ -194,8 +192,6 @@ class MapVal extends BagVal {
             oval = out.peg[peerkey] =
               unite(key_ctx.clone({ explain: ec(te, 'PSP:' + peerkey) }),
                 oval, key_spread_cj, 'map-peer-spread')
-
-            oval.from = spread_cj
           }
 
           propagateMarks(this, oval)
@@ -220,11 +216,13 @@ class MapVal extends BagVal {
       }
     }
 
-    if (out.isBag) {
-      (out as BagVal).from = this.from
-    }
-
-    // console.log('MAPVAL-OUT', this.id, this.closed, this.canon, 'P=', (peer as any).closed, peer.canon, '->', (out as any).closed, out.canon)
+    // console.log(
+    //   'MAPVAL-OUT', out.canon,
+    //   '\n  SELF', this,
+    //   '\n  PEER', peer,
+    //   '\n  OUT', out,
+    //   '\n  FROM', (out as any).spread.cj
+    // )
 
     ctx.explain && explainClose(te, out)
 

package/src/val/NilVal.ts

@@ -21,6 +21,7 @@ import { AontuError } from '../err'
 
 class NilVal extends Val {
   isNil = true
+  isGenable = true
 
   nil = true
   why: any

package/src/val/PrefVal.ts

@@ -27,6 +27,7 @@ import { FeatureVal } from './FeatureVal'
 
 class PrefVal extends FeatureVal {
   isPref = true
+  isGenable = true
 
   superpeg: Val
   rank: number = 0

package/src/val/RefVal.ts

@@ -42,6 +42,7 @@ import { FeatureVal } from './FeatureVal'
 
 class RefVal extends FeatureVal {
   isRef = true
+  isGenable = true
 
   absolute: boolean = false
   prefix: boolean = false

package/src/val/ScalarVal.ts

@@ -26,7 +26,10 @@ import { ScalarKindVal } from './ScalarKindVal'
 
 class ScalarVal extends Val {
   kind: any
+
   isScalar = true
+  isGenable = true
+
   src: string
 
   constructor(

package/src/val/Val.ts

@@ -89,6 +89,8 @@ abstract class Val {
   isTypeFunc = false
   isUpperFunc = false
 
+  isGenable = false
+
   id: number
   dc: number = 0
   path: string[] = []