fez-lisp 1.5.72 → 1.5.73
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/lib/baked/std.js +1 -1
- package/package.json +1 -1
- package/src/check.js +2 -27
package/package.json
CHANGED
package/src/check.js
CHANGED
|
@@ -1081,36 +1081,11 @@ export const typeCheck = (ast) => {
|
|
|
1081
1081
|
}
|
|
1082
1082
|
} else if (rest[i].length) {
|
|
1083
1083
|
// TODO figure out what cann we do in this else ?
|
|
1084
|
-
// Check arg types
|
|
1085
|
-
// errorStack.add(
|
|
1086
|
-
// `Incorrect type of arguments ${i} for (${
|
|
1087
|
-
// first[VALUE]
|
|
1088
|
-
// }). Expected (${toTypeNames(
|
|
1089
|
-
// args[i][STATS][TYPE_PROP][0]
|
|
1090
|
-
// )}) but got (${toTypeNames(
|
|
1091
|
-
// env[rest[i][0][VALUE]][STATS][RETURNS][0]
|
|
1092
|
-
// )}) (${stringifyArgs(exp)}) (check #4)`
|
|
1084
|
+
// Check arg types (check 4)
|
|
1093
1085
|
// )
|
|
1094
1086
|
// TODO figure out if we need this
|
|
1087
|
+
|
|
1095
1088
|
if (
|
|
1096
|
-
SPECIAL_FORMS_SET.has(rest[i][0][VALUE]) &&
|
|
1097
|
-
env[rest[i][0][VALUE]] &&
|
|
1098
|
-
env[rest[i][0][VALUE]][STATS][RETURNS][0] !==
|
|
1099
|
-
UNKNOWN &&
|
|
1100
|
-
args[i][STATS][TYPE_PROP][0] !== UNKNOWN &&
|
|
1101
|
-
env[rest[i][0][VALUE]][STATS][RETURNS][0] !==
|
|
1102
|
-
args[i][STATS][TYPE_PROP][0]
|
|
1103
|
-
)
|
|
1104
|
-
errorStack.add(
|
|
1105
|
-
`Incorrect type of arguments ${i} for (${
|
|
1106
|
-
first[VALUE]
|
|
1107
|
-
}). Expected (${toTypeNames(
|
|
1108
|
-
args[i][STATS][TYPE_PROP][0]
|
|
1109
|
-
)}) but got (${toTypeNames(
|
|
1110
|
-
env[rest[i][0][VALUE]][STATS][RETURNS][0]
|
|
1111
|
-
)}) (${stringifyArgs(exp)}) (check #4)`
|
|
1112
|
-
)
|
|
1113
|
-
else if (
|
|
1114
1089
|
rest[i][0][TYPE] === APPLY &&
|
|
1115
1090
|
env[rest[i][0][VALUE]]
|
|
1116
1091
|
) {
|