fez-lisp 1.6.41 → 1.6.43
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/package.json +1 -1
- package/src/check.js +2 -15
- package/src/types.js +16 -16
package/package.json
CHANGED
package/src/check.js
CHANGED
|
@@ -1116,7 +1116,8 @@ export const typeCheck = (
|
|
|
1116
1116
|
if (
|
|
1117
1117
|
!isUnknownType(actual[STATS]) &&
|
|
1118
1118
|
!isUnknownType(expected[STATS]) &&
|
|
1119
|
-
!equalTypes(actual[STATS], expected[STATS])
|
|
1119
|
+
(!equalTypes(actual[STATS], expected[STATS]) ||
|
|
1120
|
+
!equalSubTypes(actual[STATS], expected[STATS]))
|
|
1120
1121
|
)
|
|
1121
1122
|
throw new TypeError(
|
|
1122
1123
|
`Incorrect type for (${KEYWORDS.ANONYMOUS_FUNCTION}) (${
|
|
@@ -1249,20 +1250,6 @@ export const typeCheck = (
|
|
|
1249
1250
|
else retry(actual[STATS], exp, stack, checkReturns)
|
|
1250
1251
|
}
|
|
1251
1252
|
const checkArgs = () => {
|
|
1252
|
-
if (
|
|
1253
|
-
!isUnknownReturn(actual[STATS]) &&
|
|
1254
|
-
(!equalReturns(expected[STATS], actual[STATS]) ||
|
|
1255
|
-
!equalSubReturns(expected[STATS], actual[STATS]))
|
|
1256
|
-
)
|
|
1257
|
-
throw new TypeError(
|
|
1258
|
-
`Incorrect return type for (${
|
|
1259
|
-
expected[STATS][SIGNATURE]
|
|
1260
|
-
}) Expected (${formatSubType(
|
|
1261
|
-
getReturns(expected[STATS])
|
|
1262
|
-
)}) but got (${formatSubType(
|
|
1263
|
-
getReturns(actual[STATS])
|
|
1264
|
-
)}) (${stringifyArgs(exp)}) (check #999)`
|
|
1265
|
-
)
|
|
1266
1253
|
for (let i = 0; i < expected[STATS][ARGUMENTS].length; ++i) {
|
|
1267
1254
|
const argE = expected[STATS][ARGUMENTS][i]
|
|
1268
1255
|
const argA = actual[STATS][ARGUMENTS][i]
|
package/src/types.js
CHANGED
|
@@ -1083,8 +1083,8 @@ export const SPECIAL_FORM_TYPES = {
|
|
|
1083
1083
|
[STATS]: {
|
|
1084
1084
|
retried: Infinity,
|
|
1085
1085
|
[SIGNATURE]: PLACEHOLDER,
|
|
1086
|
-
[TYPE_PROP]: [ATOM],
|
|
1087
|
-
[RETURNS]: [ATOM],
|
|
1086
|
+
[TYPE_PROP]: [ATOM, SPECIAL_NUMBER],
|
|
1087
|
+
[RETURNS]: [ATOM, SPECIAL_NUMBER],
|
|
1088
1088
|
[ARGUMENTS]: [],
|
|
1089
1089
|
[ARG_COUNT]: 0
|
|
1090
1090
|
}
|
|
@@ -1093,8 +1093,8 @@ export const SPECIAL_FORM_TYPES = {
|
|
|
1093
1093
|
[STATS]: {
|
|
1094
1094
|
retried: Infinity,
|
|
1095
1095
|
[SIGNATURE]: PLACEHOLDER,
|
|
1096
|
-
[TYPE_PROP]: [ATOM],
|
|
1097
|
-
[RETURNS]: [ATOM],
|
|
1096
|
+
[TYPE_PROP]: [ATOM, SPECIAL_NUMBER],
|
|
1097
|
+
[RETURNS]: [ATOM, SPECIAL_NUMBER],
|
|
1098
1098
|
[ARGUMENTS]: [],
|
|
1099
1099
|
[ARG_COUNT]: 0
|
|
1100
1100
|
}
|
|
@@ -1114,8 +1114,8 @@ export const SPECIAL_FORM_TYPES = {
|
|
|
1114
1114
|
[STATS]: {
|
|
1115
1115
|
retried: Infinity,
|
|
1116
1116
|
[SIGNATURE]: PLACEHOLDER,
|
|
1117
|
-
[TYPE_PROP]: [ATOM],
|
|
1118
|
-
[RETURNS]: [ATOM],
|
|
1117
|
+
[TYPE_PROP]: [ATOM, SPECIAL_NUMBER],
|
|
1118
|
+
[RETURNS]: [ATOM, SPECIAL_NUMBER],
|
|
1119
1119
|
|
|
1120
1120
|
[ARGUMENTS]: [],
|
|
1121
1121
|
[ARG_COUNT]: 0
|
|
@@ -1125,8 +1125,8 @@ export const SPECIAL_FORM_TYPES = {
|
|
|
1125
1125
|
[STATS]: {
|
|
1126
1126
|
retried: Infinity,
|
|
1127
1127
|
[SIGNATURE]: PLACEHOLDER,
|
|
1128
|
-
[TYPE_PROP]: [ATOM],
|
|
1129
|
-
[RETURNS]: [ATOM],
|
|
1128
|
+
[TYPE_PROP]: [ATOM, SPECIAL_NUMBER],
|
|
1129
|
+
[RETURNS]: [ATOM, SPECIAL_NUMBER],
|
|
1130
1130
|
[ARGUMENTS]: [],
|
|
1131
1131
|
[ARG_COUNT]: 0
|
|
1132
1132
|
}
|
|
@@ -1146,8 +1146,8 @@ export const SPECIAL_FORM_TYPES = {
|
|
|
1146
1146
|
[STATS]: {
|
|
1147
1147
|
retried: Infinity,
|
|
1148
1148
|
[SIGNATURE]: PLACEHOLDER,
|
|
1149
|
-
[TYPE_PROP]: [ATOM],
|
|
1150
|
-
[RETURNS]: [ATOM],
|
|
1149
|
+
[TYPE_PROP]: [ATOM, SPECIAL_NUMBER],
|
|
1150
|
+
[RETURNS]: [ATOM, SPECIAL_NUMBER],
|
|
1151
1151
|
[ARGUMENTS]: [],
|
|
1152
1152
|
[ARG_COUNT]: 0
|
|
1153
1153
|
}
|
|
@@ -1156,8 +1156,8 @@ export const SPECIAL_FORM_TYPES = {
|
|
|
1156
1156
|
[STATS]: {
|
|
1157
1157
|
retried: Infinity,
|
|
1158
1158
|
[SIGNATURE]: PLACEHOLDER,
|
|
1159
|
-
[TYPE_PROP]: [ATOM],
|
|
1160
|
-
[RETURNS]: [ATOM],
|
|
1159
|
+
[TYPE_PROP]: [ATOM, SPECIAL_NUMBER],
|
|
1160
|
+
[RETURNS]: [ATOM, SPECIAL_NUMBER],
|
|
1161
1161
|
[ARGUMENTS]: [],
|
|
1162
1162
|
[ARG_COUNT]: 0
|
|
1163
1163
|
}
|
|
@@ -1177,8 +1177,8 @@ export const SPECIAL_FORM_TYPES = {
|
|
|
1177
1177
|
[STATS]: {
|
|
1178
1178
|
retried: Infinity,
|
|
1179
1179
|
[SIGNATURE]: PLACEHOLDER,
|
|
1180
|
-
[TYPE_PROP]: [ATOM],
|
|
1181
|
-
[RETURNS]: [ATOM],
|
|
1180
|
+
[TYPE_PROP]: [ATOM, SPECIAL_NUMBER],
|
|
1181
|
+
[RETURNS]: [ATOM, SPECIAL_NUMBER],
|
|
1182
1182
|
[ARGUMENTS]: [],
|
|
1183
1183
|
[ARG_COUNT]: 0
|
|
1184
1184
|
}
|
|
@@ -1187,8 +1187,8 @@ export const SPECIAL_FORM_TYPES = {
|
|
|
1187
1187
|
[STATS]: {
|
|
1188
1188
|
retried: Infinity,
|
|
1189
1189
|
[SIGNATURE]: PLACEHOLDER,
|
|
1190
|
-
[TYPE_PROP]: [ATOM],
|
|
1191
|
-
[RETURNS]: [ATOM],
|
|
1190
|
+
[TYPE_PROP]: [ATOM, SPECIAL_NUMBER],
|
|
1191
|
+
[RETURNS]: [ATOM, SPECIAL_NUMBER],
|
|
1192
1192
|
[ARGUMENTS]: [],
|
|
1193
1193
|
[ARG_COUNT]: 0
|
|
1194
1194
|
}
|