aontu 0.28.0 → 0.29.0

package/lib/val/ConjunctVal.ts

@@ -58,29 +58,18 @@ class ConjunctVal extends ValBase {
   }
 
   unify(peer: Val, ctx: Context): Val {
-    // console.log('CONJUNCT UNIFY', this.done, this.path.join('.'), this.canon,
-    //   'P', peer.top || peer.constructor.name,
-    //  peer.done, peer.path.join('.'), peer.canon)
-
-
     const mark = (Math.random() * 1e7) % 1e6 | 0
-    // console.log('CONJUNCT unify', mark, this.done, this.canon, 'peer=', peer.canon)
-
     let done = true
 
     // Unify each term of conjunct against peer
     let upeer: Val[] = []
 
-
-    // console.log('CJa' + mark, this.peg.map((p: Val) => p.canon), 'p=', peer.canon)
     for (let vI = 0; vI < this.peg.length; vI++) {
       upeer[vI] = unite(ctx, this.peg[vI], peer, 'cj-own' + mark)
 
       // let prevdone = done
       done = done && (DONE === upeer[vI].done)
 
-      // console.log('CONJUNCT pud', mark, vI, done, prevdone, '|', upeer[vI].done, upeer[vI].canon)
-
       if (upeer[vI] instanceof Nil) {
         return Nil.make(
           ctx,
@@ -93,15 +82,11 @@ class ConjunctVal extends ValBase {
 
     upeer = norm(upeer)
 
-    // console.log('CONJUNCT upeer', this.id, mark, this.done, done, upeer.map(p => p.canon))
-
     upeer.sort((a: Val, b: Val) => {
       return (a.constructor.name === b.constructor.name) ? 0 :
         (a.constructor.name < b.constructor.name ? -1 : 1)
     })
 
-    // console.log('CONJUNCT upeer sort', this.id, mark, this.done, done, upeer.map(p => p.canon))
-
     // Unify terms against each other
 
     let outvals: Val[] = []
@@ -119,8 +104,6 @@ class ConjunctVal extends ValBase {
     // }
 
 
-    // console.log('CJ upeer', mark, upeer.map(v => v.canon))
-
     let t0 = upeer[0]
 
     next_term:
@@ -142,9 +125,7 @@ class ConjunctVal extends ValBase {
           )
         ) {
 
-          // console.log('CONJUNCT PUSH A', u0.id, u0.canon)
           outvals.push(u0)
-          // console.log('CJ outvals A', outvals.map(v => v.canon))
           continue next_term
         }
         else {
@@ -153,27 +134,20 @@ class ConjunctVal extends ValBase {
       }
 
       let t1 = upeer[pI + 1]
-      // console.log('CJ TERM t1', pI + 1, t1?.done, t1?.canon)
 
       if (null == t1) {
-        // console.log('CONJUNCT PUSH B', t0.canon)
         outvals.push(t0)
-        // console.log('CJ outvals B', outvals.map(v => v.canon))
       }
 
       // Can't unite with a RefVal, unless also a RefVal with same path.
       else if (t0 instanceof RefVal && !(t1 instanceof RefVal)) {
-        // console.log('CONJUNCT PUSH D', t0.canon)
         outvals.push(t0)
         t0 = t1
-        // console.log('CJ outvals C', outvals.map(v => v.canon))
       }
 
       else if (t1 instanceof RefVal && !(t0 instanceof RefVal)) {
-        // console.log('CONJUNCT PUSH D', t0.canon)
         outvals.push(t0)
         t0 = t1
-        // console.log('CJ outvals C', outvals.map(v => v.canon))
       }
 
 
@@ -183,12 +157,8 @@ class ConjunctVal extends ValBase {
 
         // Unite was just a conjunt anyway, so discard.
         if (val instanceof ConjunctVal) {
-          // if (t0.id === val.peg[0].id) {
-          // val = t0
           outvals.push(t0)
           t0 = t1
-          // console.log('CJ outvals D', outvals.map(v => v.canon))
-          //}
         }
         else if (val instanceof Nil) {
           return val
@@ -197,15 +167,12 @@ class ConjunctVal extends ValBase {
           t0 = val
         }
         // TODO: t0 should become this to avoid unnecessary repasses
-        // console.log('CONJUNCT PUSH C', val.canon)
         // outvals.push(val)
 
         // pI++
       }
     }
 
-    // console.log('CJ outvals', mark, outvals.map(v => v.canon))
-
     let out: Val
 
     if (0 === outvals.length) {
@@ -224,8 +191,6 @@ class ConjunctVal extends ValBase {
 
     out.done = done ? DONE : this.done + 1
 
-    // console.log('CJ out', out.done, out.canon)
-
     return out
   }
 

package/lib/val/DisjunctVal.ts

@@ -67,19 +67,13 @@ class DisjunctVal extends ValBase {
 
     let oval: Val[] = []
 
-    // console.log('oval', this.canon, peer.canon)
-
     // Conjunction (&) distributes over disjunction (|)
     for (let vI = 0; vI < this.peg.length; vI++) {
       //oval[vI] = this.peg[vI].unify(peer, ctx)
       oval[vI] = unite(ctx, this.peg[vI], peer)
-      // console.log('ovalA', vI, this.peg[vI].canon, peer.canon, oval[vI].canon)
-
       done = done && DONE === oval[vI].done
     }
 
-    // console.log('ovalB', oval.map(v => v.canon))
-
     // Remove duplicates, and normalize
     if (1 < oval.length) {
       for (let vI = 0; vI < oval.length; vI++) {
@@ -88,8 +82,6 @@ class DisjunctVal extends ValBase {
         }
       }
 
-      //console.log('ovalC', oval.map(v => v.canon))
-
       // TODO: not an error Nil!
       let remove = new Nil()
       for (let vI = 0; vI < oval.length; vI++) {
@@ -100,8 +92,6 @@ class DisjunctVal extends ValBase {
         }
       }
 
-      //console.log('ovalD', oval.map(v => v.canon))
-
       oval = oval.filter(v => !(v instanceof Nil))
     }
 

package/lib/val/MapVal.ts

@@ -60,8 +60,6 @@ class MapVal extends ValBase {
 
     if (spread) {
       if ('&' === spread.o) {
-        // console.log('MapVal.ctor', this.id, this.path.join('.'),
-        //   'SPREAD', spread.v[0] && spread.v[0].id)
         // TODO: handle existing spread!
         this.spread.cj =
           Array.isArray(spread.v) ?
@@ -79,13 +77,6 @@ class MapVal extends ValBase {
   unify(peer: Val, ctx: Context): Val {
     // let mark = Math.random()
 
-    // console.log(
-    //   'MapVal.unify',
-    //   this.id, '=' + this.uh, this.path.join('.'),
-    //   (this.spread.cj ?
-    //     'spread:' + this.spread.cj.id + ':' + this.spread.cj.path.join('.') : ''),
-    //   peer.constructor.name, peer.id, peer.path.join('.'))
-
     let done: boolean = true
     let out: MapVal = TOP === peer ? this : new MapVal({ peg: {} }, ctx)
 
@@ -111,18 +102,6 @@ class MapVal extends ValBase {
       let keyctx = ctx.descend(key)
       let key_spread_cj = spread_cj.clone(null, keyctx)
 
-      // console.log('M0', this.id, mark, Object.keys(this.peg).join('~'),
-      //   'p=', this.path.join('.'),
-      //   'k=', key, peer.top || peer.constructor.name,
-      //   'pp=', this.peg[key].path.join('.'),
-      //   this.peg[key].canon,
-      //   'sp=', key_spread_cj.path.join('.'),
-      //   key_spread_cj.canon)
-
-      // if (1000000000 === this.id) {
-      //   console.dir(key_spread_cj, { depth: null })
-      // }
-
       out.peg[key] = unite(keyctx, this.peg[key], key_spread_cj, 'map-own')
       done = (done && DONE === out.peg[key].done)
     }
@@ -143,24 +122,9 @@ class MapVal extends ValBase {
 
         if (this.spread.cj) {
           let key_ctx = ctx.descend(peerkey)
-          // console.log('KEY_CTX', peerkey, key_ctx)
-
           let key_spread_cj = spread_cj.clone(null, key_ctx)
-
-          // console.log('MapVal.unify.spread', this.id, '=' + this.uh, this.path.join('.'),
-          //   key_spread_cj.id, key_spread_cj.path.join('.'))
-
-
-          // console.log('ORIG')
-          // console.dir(out.peg[peerkey], { depth: null })
-          // console.log('SPREAD')
-          // console.dir(this.spread.cj, { depth: null })
-
           oval = out.peg[peerkey] =
             unite(key_ctx, out.peg[peerkey], key_spread_cj)
-
-          // console.log('OVAL')
-          // console.dir(oval, { depth: null })
         }
 
         done = (done && DONE === oval.done)

package/lib/val/NullVal.ts

@@ -34,8 +34,6 @@ class NullVal extends ValBase {
   unify(peer: Val, ctx: Context): Val {
     let out: Val
 
-    // console.log('NULLVAL-U', peer)
-
     if ((peer as any).isTop || (peer as NullVal).isNullVal) {
       out = this
     }

package/lib/val/RefVal.ts

@@ -79,7 +79,6 @@ class RefVal extends ValBase {
 
 
   append(part: any) {
-    // console.log('APPEND', part, this)
     let partval
 
     if ('string' === typeof part) {
@@ -135,8 +134,6 @@ class RefVal extends ValBase {
       // let resolved: Val | undefined = null == ctx ? this : ctx.find(this)
       let resolved: Val | undefined = null == ctx ? this : this.find(ctx)
 
-      // console.log('UR', this.peg, resolved)
-
       resolved = resolved || this
 
       if (null == resolved && this.canon === peer.canon) {
@@ -174,8 +171,6 @@ class RefVal extends ValBase {
       out.done = DONE === out.done ? DONE : this.done + 1
     }
 
-    // console.log('RV', why, this.id, this.canon, '&', peer.canon, '->', out.canon)
-
     return out
   }
 
@@ -191,10 +186,6 @@ class RefVal extends ValBase {
 
     let modes: string[] = []
 
-    // console.log('REF', this.id, this.path, this.done, 'PEG', this.peg.map((p: any) => p.canon))
-    // console.dir(this.peg, { depth: null })
-
-
     for (let pI = 0; pI < this.peg.length; pI++) {
       let part = this.peg[pI]
       if (part instanceof VarVal) {
@@ -245,9 +236,6 @@ class RefVal extends ValBase {
       }
     }
 
-    // console.log('modes', modes)
-
-
     if (this.absolute) {
       fullpath = parts
     }
@@ -267,9 +255,6 @@ class RefVal extends ValBase {
       .reduce(((a: string[], p: string) =>
         (p === sep ? a.length = a.length - 1 : a.push(p), a)), [])
 
-    // console.log('REF', this.id, this.path, this.done, 'FULLPATH', fullpath)
-
-
     if (modes.includes('KEY')) {
       let key = this.path[this.path.length - 2]
       let sv = new StringVal({ peg: null == key ? '' : key }, ctx)
@@ -286,7 +271,6 @@ class RefVal extends ValBase {
     let node = ctx.root
     let pI = 0
     for (; pI < fullpath.length; pI++) {
-      // console.log('RefVal DESCEND', pI, node)
       let part = fullpath[pI]
 
       if (node instanceof MapVal) {
@@ -297,8 +281,6 @@ class RefVal extends ValBase {
       }
     }
 
-    // console.log('RefVal KEY', modes, pI, fullpath)
-
     if (pI === fullpath.length) {
       // if (this.attr && 'KEY' === this.attr.kind) {
       // if (modes.includes('KEY')) {

package/lib/val/VarVal.ts

@@ -1,6 +1,7 @@
 /* Copyright (c) 2021-2023 Richard Rodger, MIT License */
 
 
+
 /* TODO
 
    $SELF.a - path starting at self

package/lib/val.ts

@@ -41,6 +41,7 @@ import {
 } from './lang'
 
 
+
 import { Nil } from './val/Nil'
 import { RefVal } from './val/RefVal'
 import { ValBase } from './val/ValBase'

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "aontu",
-  "version": "0.28.0",
+  "version": "0.29.0",
   "main": "dist/aontu.js",
   "type": "commonjs",
   "browser": "dist/aontu.min.js",
@@ -53,18 +53,18 @@
     "@jsonic/path": "^1.4.0"
   },
   "devDependencies": {
-    "@types/jest": "^29.5.14",
-    "@types/node": "^22.10.10",
+    "@types/jest": "^30.0.0",
+    "@types/node": "^24.3.0",
     "aliasify": "^2.1.0",
     "browserify": "^17.0.1",
     "es-jest": "^2.1.0",
-    "esbuild": "^0.24.2",
-    "jest": "^29.7.0",
-    "prettier": "^3.4.2",
+    "esbuild": "^0.25.9",
+    "jest": "^30.1.3",
+    "prettier": "^3.6.2",
     "serve": "^14.2.4",
     "tinyify": "^4.0.0",
-    "ts-jest": "^29.2.5",
-    "typescript": "^5.7.3"
+    "ts-jest": "^29.4.1",
+    "typescript": "^5.9.2"
   },
   "aliasify": {
     "aliases": {