Open puitgfr opened 7 months ago
Okay, I just tried to replicate the above. It seems to be an issue with int
aliases. I changed the type to float
and incr
displays the "expected" type:
Okay, I just tried to replicate the above. It seems to be an issue with
int
aliases. I changed the type tofloat
andincr
displays the "expected" type:![]()
@PizieDust you have to replace occurences of int by float on line 6 too.
This is probably due to short-path and is a Merlin issue.
@PizieDust you have to replace occurences of int by float on line 6 too.
Yes changing it to float, replicates the problem.
Type aliases seem to be incorrectly displayed. Here is a short (working) example in codium with a type alias for natural numbers and a factorial function:
So far, so good. Now, let's add an increment function on integers:
Maybe I'm missing something about type aliases, but I 'd like the type annotation of
incr
to showint -> int
.