#615 Add an optional type system to Bend #1201
imaqtkattAnnotations
1 error and 13 warnings
|
cspell
5 spelling issues found in 2 of the 83 files checked.
|
|
cspell
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
|
cspell:
docs/type-checking.md#L3
Unknown word (Hindley)
|
|
cspell:
docs/type-checking.md#L3
Unknown word (Milner)
|
|
cspell:
src/fun/check/type_check.rs#L1
Unknown word (Hindley)
|
|
cspell:
src/fun/check/type_check.rs#L1
Unknown word (Milner)
|
|
cspell:
src/fun/check/type_check.rs#L256
Unknown word (Tarjan's)
|
|
fmt
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
|
check
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/cache@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
check
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3, actions/cache@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
|
clippy
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/cache@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
clippy
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3, actions/cache@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
|
test
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/cache@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
test
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3, actions/cache@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|