mirror of
https://github.com/erg-lang/erg.git
synced 2025-09-30 12:51:10 +00:00
cafdd8ac35
Since a function is a subtyping of a procedure, it can take a function as an argument only if it can take a procedure as an argument. However, the reverse is not possible, so a type mismatch is detected. A hint message for each lang for this is added. |
||
|---|---|---|
| .. | ||
| initialize | ||
| cache.rs | ||
| compare.rs | ||
| eval.rs | ||
| hint.rs | ||
| inquire.rs | ||
| instantiate.rs | ||
| mod.rs | ||
| register.rs | ||
| test.rs | ||
| tyvar.rs | ||