nushell/crates/nu-parser/src
JT 393717dbb4
Improve inferred record types and type compat (#8649)
# Description

This allows for type inference to infer record types in more cases. The
only time we will now fall back to `Any` is when one of the fields has a
computed value.

I also updated the type mismatch error and highlighting to be in-line
with other errors.

# User-Facing Changes

This may result in stricter type checking. Previously `{}` had the
inferred type `Any` but will now have the correct inferred type of
`Record<>`.

# Tests + Formatting

Don't forget to add tests that cover your changes.

Make sure you've run and fixed any issues with these commands:

- `cargo fmt --all -- --check` to check standard code formatting (`cargo
fmt --all` applies these changes)
- `cargo clippy --workspace -- -D warnings -D clippy::unwrap_used -A
clippy::needless_collect` to check that you're using the standard code
style
- `cargo test --workspace` to check that all tests pass

> **Note**
> from `nushell` you can also use the `toolkit` as follows
> ```bash
> use toolkit.nu # or use an `env_change` hook to activate it
automatically
> toolkit check pr
> ```

# After Submitting

If your PR had any user-facing changes, update [the
documentation](https://github.com/nushell/nushell.github.io) after the
PR is merged, if necessary. This will help us keep the docs up to date.
2023-03-29 10:23:10 +13:00
..
deparse.rs Use variable names directly in the format strings (#7906) 2023-01-29 19:37:54 -06:00
errors.rs Improve inferred record types and type compat (#8649) 2023-03-29 10:23:10 +13:00
eval.rs Optional members in cell paths: Attempt 2 (#8379) 2023-03-15 20:50:58 -07:00
flatten.rs Add or-patterns, fix var binding scope (#8633) 2023-03-27 11:31:57 +13:00
known_external.rs Document and critically review ShellError variants - Ep. 3 (#8340) 2023-03-06 18:33:09 +01:00
lex.rs allow lists to have type annotations (#8529) 2023-03-24 12:54:06 +01:00
lib.rs allow lists to have type annotations (#8529) 2023-03-24 12:54:06 +01:00
lite_parser.rs Fix multi-line redirection inside a block (#7808) 2023-01-23 06:32:56 +13:00
parse_keywords.rs Disable alias recursion (for real) (#8557) 2023-03-22 23:16:06 +02:00
parse_patterns.rs Add or-patterns, fix var binding scope (#8633) 2023-03-27 11:31:57 +13:00
parser.rs Improve inferred record types and type compat (#8649) 2023-03-29 10:23:10 +13:00
type_check.rs Improve inferred record types and type compat (#8649) 2023-03-29 10:23:10 +13:00