ocaml
type aliases weird behavior
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 show int -> int.
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
intaliases. I changed the type tofloatandincrdisplays 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.