Error ident renaming
When reloading after a typing error occurs, the error message increments the disambiguation of the ident.
For example, in the following code:
module Ex2
use array.Array
use int.Int
use option.Option
val my_set: array (option int) -> int -> option int -> unit
let rec my_fact (mem: array (option int)) (n: int): int
=
match mem[n] with
| None -> let r = n * my_fact mem (n- 1) in
my_set mem n (Some r);
r
| Some n -> n
end
end
The error is (after 8 reloads):
line 154, characters 10-17: The type of this function contains an alias with external variable my_set8
I think we managed to solve (or mitigate) this problem in the past for typing error of transformations: it is possible that it does not work anymore either.