mirror of
https://github.com/roc-lang/roc.git
synced 2025-07-14 18:15:01 +00:00
a0461679dd
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. |
||
|---|---|---|
| .. | ||
| lib.rs | ||