2011-11-06 2 views

Répondre

3

Si ocaml s'attend à ce qu'une expression ait un certain type, c'est parce que vous effectuez une opération sur cette expression, qui ne fonctionne qu'avec ce type. Donc, dans ce cas, vous êtes probablement en train de faire correspondre des motifs sur l'expression en utilisant des modèles de liste (c'est-à-dire les constructeurs :: et nil ou des littéraux de liste comme [x,y,z]).

Si vous essayez cela avec une expression qui n'évalue pas à une liste, c'est bien sûr une erreur, ce que le message d'erreur vous dit.

Questions connexes