fez-lisp 1.6.83 → 1.6.84
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 -0
- package/src/debugger.js +1 -2
- package/src/types.js +1 -1
package/package.json
CHANGED
package/src/check.js
CHANGED
|
@@ -1312,6 +1312,8 @@ export const typeCheck = (
|
|
|
1312
1312
|
for (let j = 0; j < args[i][STATS][ARGUMENTS].length; ++j) {
|
|
1313
1313
|
const actual = local[lambdaName][STATS][ARGUMENTS][j]
|
|
1314
1314
|
const expected = args[i][STATS][ARGUMENTS][j]
|
|
1315
|
+
// TODO: after refactoring the generic nesting and unnesting logic
|
|
1316
|
+
// apply it here to judge lambda arguments based on the signature
|
|
1315
1317
|
// if (
|
|
1316
1318
|
// isGenericType(expected[STATS]) &&
|
|
1317
1319
|
// !isUnknownType(actual[STATS]) &&
|
package/src/debugger.js
CHANGED
|
@@ -971,9 +971,8 @@ export const debug = (ast, checkTypes = true, userDefinedTypes) => {
|
|
|
971
971
|
return t ? t() : ''
|
|
972
972
|
} else if (option === 'Search') {
|
|
973
973
|
return [...types.entries()]
|
|
974
|
-
.filter((x) =>
|
|
974
|
+
.filter((x) => !x[0].includes('.'))
|
|
975
975
|
.filter((x) => x[0].includes(name))
|
|
976
|
-
.sort((a, b) => a[0].localeCompare(b[0]))
|
|
977
976
|
.map(([k, v]) => `${k}\n${v()}`)
|
|
978
977
|
.join('\n\n')
|
|
979
978
|
} else if (option === 'Special') {
|
package/src/types.js
CHANGED
|
@@ -1519,7 +1519,7 @@ export const toArgType = (A, i) => {
|
|
|
1519
1519
|
argIndex: i,
|
|
1520
1520
|
retried: Infinity,
|
|
1521
1521
|
[IS_ARGUMENT]: true,
|
|
1522
|
-
[SIGNATURE]:
|
|
1522
|
+
[SIGNATURE]: arg[VALUE].replaceAll('[', '').replaceAll(']', ''),
|
|
1523
1523
|
[TYPE_PROP]: toTypeCodes(arg[VALUE], i),
|
|
1524
1524
|
[RETURNS]: toTypeCodes(arg[VALUE], i),
|
|
1525
1525
|
[ARGUMENTS]: [],
|