language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-07-14 10:05:01 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 8
roc/crates/compiler/debug_flags
History
Exact
Ayaz Hafiz a0461679dd Restrict usages of type variables in non-generalized contexts 
Type variables can only be used on functions (and in number literals as
a carve-out for now). In all other cases, a type variable takes on a
single, concrete type based on later usages. This check emits errors
when this is violated.

The implementation is to check the rank of a variable after it could be
generalized. If the variable is not generalized but annotated as a type
variable, emit an error.
2025-01-02 14:26:37 -06:00
..
src Restrict usages of type variables in non-generalized contexts 2025-01-02 14:26:37 -06:00
Cargo.toml run a toml formatter and then clean it up a bit 2023-03-06 19:47:57 -08:00