fez-lisp 1.6.40 → 1.6.41

package/package.json

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

package/src/check.js

@@ -1231,7 +1231,24 @@ export const typeCheck = (
                 )
                 const expected = env[name]
                 const actual = env[lambdaName]
-                once(actual[STATS], exp, stack, () => {
+                const checkReturns = () => {
+                  if (
+                    !isUnknownReturn(actual[STATS]) &&
+                    (!equalReturns(expected[STATS], actual[STATS]) ||
+                      !equalSubReturns(expected[STATS], actual[STATS]))
+                  )
+                    throw new TypeError(
+                      `Incorrect return type for (${
+                        expected[STATS][SIGNATURE]
+                      }) Expected (${formatSubType(
+                        getReturns(expected[STATS])
+                      )}) but got (${formatSubType(
+                        getReturns(actual[STATS])
+                      )}) (${stringifyArgs(exp)}) (check #999)`
+                    )
+                  else retry(actual[STATS], exp, stack, checkReturns)
+                }
+                const checkArgs = () => {
                   if (
                     !isUnknownReturn(actual[STATS]) &&
                     (!equalReturns(expected[STATS], actual[STATS]) ||
@@ -1255,7 +1272,7 @@ export const typeCheck = (
                         !equalSubTypes(argE[STATS], argA[STATS]))
                     )
                       throw new TypeError(
-                        `Incorrect return type for argument (${
+                        `Incorrect type for argument (${
                           argA[STATS][SIGNATURE]
                         }) The (${KEYWORDS.ANONYMOUS_FUNCTION}) argument of (${
                           expected[STATS][SIGNATURE]
@@ -1265,8 +1282,12 @@ export const typeCheck = (
                           getTypes(argA[STATS])
                         )}) (${stringifyArgs(exp)}) (check #1000)`
                       )
+                    else retry(actual[STATS], exp, stack, checkArgs)
                   }
-
+                }
+                once(actual[STATS], exp, stack, () => {
+                  checkReturns()
+                  checkArgs()
                   Types.delete(`; ${rootScopeIndex} ${lambdaName}`)
                 })
               }