Re: [Caml-list] Odd failure to infer types

[Guillaume Yziquel <guillaume.yziquel@citycable.ch>]

Le Saturday 03 Sep 2011 à 11:53:30 (+0200), Goswin von Brederlow a écrit :
> Hi,
> 
> I'm implementing a solver for the game Atomix. If you don't know it then
> don't worry. It isn't relevant.
> 
> I split things up into submodules and now one of the submodules does not
> infere the right types:
> 
> File "Atomix.ml", line 168, characters 11-876:
> Error: The type of this module,
>        sig
>          type dir = NORTH | SOUTH | WEST | EAST
>          val max_moves : int
>          val cache : (string, unit) Hashtbl.t
>          val states :
>            ('_a list * (char * int * int) array * string) list array
>          val string_of_dir : dir -> string
>          val print :
>            (int * int * dir) list * (char * int * int) array * string -> unit
>          val num_states : int
>        end, contains type variables that cannot be generalized
> 
> I believe this is wrong. In S.num_states the call to "print state"
> fixates the type for state and the "states.(d) <- state::states.(d);"
> should then fixate the missing '_a in the type for states.
> 
> Anyone know why?

It also seems quite wrong to me. You should perhaps file a bug into
Mantis if no typing expert answers.

Did you try adding type annotations one at a time near the call to print
and the states.(d) assignment in your anonymous List.fold-ing function?
To check precisely what the type inferencer gets right and what it gets
wrong?

I'd be curious to know whether annotating state in "states.(d) <-
state::states.(d)" solves your problem. Since it's here that the '_a in
the type of states should be fixated.

-- 
     Guillaume Yziquel