fez-lisp 1.5.100 → 1.5.102

package/src/types.js

@@ -23,7 +23,7 @@ export const PREDICATE = 4
 export const ANY = 5
 export const ANONYMOUS_FUNCTION_TYPE_PREFIX = 'lambda::annonymous::'
 export const MAX_ARGUMENT_RETRY = 1
-export const MAX_RETRY_DEFINITION = 10
+export const MAX_RETRY_DEFINITION = 100
 export const toTypeNames = (type) => {
   switch (type) {
     case APPLY:
@@ -42,6 +42,14 @@ export const toTypeNames = (type) => {
       break
   }
 }
+export const toTypeNamesAnyToUknown = (type) => {
+  switch (type) {
+    case ANY:
+      return toTypeNames(UNKNOWN)
+    default:
+      return toTypeNames(type)
+  }
+}
 export const SPECIAL_FORM_TYPES = {
   [SCOPE_NAME]: ';',
   // [ORDER]: 0,
@@ -1196,15 +1204,15 @@ export const formatType = (name, env) => {
                   `${
                     getType(x[STATS]) === APPLY
                       ? `${formatType(i, stats[ARGUMENTS])}`
-                      : `${toTypeNames(getType(x[STATS]))}`
+                      : `${toTypeNamesAnyToUknown(getType(x[STATS]))}`
                   }`
               ).join(' ') + ' '
             : ''
           // TODO format returned functions when type support is added
-        }(${KEYWORDS.BLOCK} ${toTypeNames(getReturn(stats))})${
+        }(${KEYWORDS.BLOCK} ${toTypeNamesAnyToUknown(getReturn(stats))})${
           isAnonymous ? '' : ')'
         })`
-      : `(let ${name} ${toTypeNames(getType(stats))})`
+      : `(let ${name} ${toTypeNamesAnyToUknown(getType(stats))})`
     : name
 }