language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-07-12 09:05:00 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 7
roc/crates/compiler/lower_params
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 replace cargo deps with workspace in lower_parms, module, mono, parse, problem, roc_target, serialize, solve, solve_problem, specialize_types, test_* 2024-11-29 11:29:04 +11:00