fez-lisp 1.6.71 → 1.6.73

package/package.json

@@ -2,7 +2,7 @@
   "name": "fez-lisp",
   "description": "Lisp interpreted & compiled to JavaScript",
   "author": "AT290690",
-  "version": "1.6.71",
+  "version": "1.6.73",
   "type": "module",
   "main": "index.js",
   "keywords": [

package/src/check.js

@@ -127,10 +127,12 @@ export const setTypeToPredicate = (stats) => {
   return (stats[RETURNS][1] = BOOLEAN_SUBTYPE())
 }
 export const setPropToAbstraction = (stats, prop) => {
-  return (
-    (stats[prop][0] === UNKNOWN || stats[prop][0] === ANY) &&
-    (stats[prop][0] = APPLY)
-  )
+  if (stats[prop][0] === UNKNOWN || stats[prop][0] === ANY) {
+    stats[prop][0] = APPLY
+    // since we don't know how many they are we just set the args to variadic
+    if (!stats[ARG_COUNT]) stats[ARG_COUNT] = VARIADIC
+  }
+  return APPLY
 }
 export const setPropToCollection = (stats, prop) => {
   return (
@@ -645,7 +647,8 @@ const resolveGetter = ({ rem, prop, name, env, caller, exp }) => {
         const rec = resolveGetterRec(rem, env)
         if (!rec) return true
         const [times, level, type, types] = resolveGetterRec(rem, env)
-        if (times >= level)
+        const isUnknown = types.at(-1) === UNKNOWN
+        if (!isUnknown && times >= level)
           throw new RangeError(
             `(${caller}) is trying to access nested structure at level (${level}) which is deeper than it's (${
               times - 1
@@ -889,7 +892,9 @@ const initArrayType = ({ rem, env }) => {
   if (
     known &&
     ret.length &&
-    !ret.some((x) => known[0][0] !== x[0][0] || known[0].length !== x[0].length)
+    (Array.isArray(known[0])
+      ? !ret.some((x) => known[0][0] !== x[0][0])
+      : !ret.some((x) => known[0] !== x[0]))
   ) {
     if (Array.isArray(ret[0][0])) {
       let head = ret[0][0]

package/src/types.js

@@ -119,6 +119,7 @@ export const toTypeCodes = (type) => {
   const [t, n] = extractArrayType(type)
   switch (t) {
     case 'Abstraction':
+      if (n) return [COLLECTION, new SubType(fillArrayType(n).concat(APPLY))]
       return [APPLY]
     case 'Boolean':
       if (n) return [COLLECTION, new SubType(fillArrayType(n).concat(BOOLEAN))]