Ocaml: Error - esta expresión tiene tipo X, pero se utiliza con el tipo de x

Question

Ésta es mi error:

Error: This expression has type nfa but is here used with type nfa 

¿Qué podría estar pasando a ser la causa? Estoy usando emacs tuareg y cargando los archivos de evaluación uno por uno. Algunas veces esto sucede y otras veces no.

Answer 1

Hay una buena descripción de esto en el ocaml tutorial. Lo que ha sucedido es que ha ensombrecido una definición de tipo con una nueva definición:

type nfa = int 
let f (x: nfa) = x 

type nfa = int 
let g (x: nfa) = x 

reiniciar el nivel superior será limpiar las definiciones de edad.

Answer 2

Actualización:

Desde 4.01.0 OCaml (liberado de septiembre de 2013) el problema general es el mismo, pero el mensaje de error agrega un número a la definición de tipo, para hacer evidentes los tipos son internamente diferentes .

Ejemplo completo de la old OCaml FAQ en el nivel superior :

type counter = Counter of int;; (* define a type *) 
type counter = Counter of int 
# let x = Counter 1;;   (* use the new type *) 
val x : counter = Counter 1 
type counter = Counter of int;; (* redefine the type, use it *) 
type counter = Counter of int 
# let incr_counter c = match c with Counter x -> Counter (x + 1);; 
val incr_counter : counter -> counter = <fun> 
# incr_counter x;;    (* now mix old and new defs *) 
Error: This expression has type counter/1029 
     but an expression was expected of type counter/1032 
#