|
|
|
|
|
|
by elcritch
1055 days ago
|
|
|
> And I don't understand _why_ it has to infer anything, as the type is explicitly declared. The seq declaration doesn’t need to be inferred. However the right side does need to be inferred from the declaration. > I mean, there are 2 possibilities: * 1 is both a valid integer and a float literal => Nim needs the type declaration on the left to unify the type Yep, `1` is an ambiguous number literal. So the compiler needs to back the info from the type into the assignment expression. Not super hard to do for simple cases, but it can become expensive for complex types. |
|
|