Discussion :

[bumbolol]

J'ai un problème avec un code équivalent à l'exemple qui suit:

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
 
let func0 param =
  let var1 = func1 param in
  let var2 = func2 var1 in
  ...
in

Voici l'erreur que me donne le compilateur à propos de var1 lors de l'appel à func2:

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
 
This expression has type Type0:Type1 -> Type2
but an expression was expected of type Type2

Une idée de comment corriger cela ?

[asefthukom]

Salut,

est-ce que c'est quelque chose comme ça que tu veux faire ?

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
 
# let add x = x + 2 ;;
val add : int -> int = <fun>
# let mult x = x * 2 ;;
val mult : int -> int = <fun>
# let f x = 
  let add_loc = add x in
  let mult_loc = mult add_loc in
  print_int (mult_loc) ;;
val f : int -> unit = <fun>

[bumbolol]

En fait, pour l'instant je ne veux pas faire grand chose j'ai récupéré le code d'un étudiant de l'année précédente et je dois y apporter des modifications. Jusqu'à maintenant je n'ai encore rien modifié, je veux juste le compiler en l'état, seulement il y a déjà des erreurs...

Je les corrige une par une depuis ce matin, étant débutant en ocaml cela n'est pas toujours simple, et sur celle là je sèche.

Le code exemple dans mon premier message est vraiment équivalent au bout de code réel qui pose problème (sauf pour les noms), peux-tu me donner le nom de la fonctionnalité d'ocaml correspondant à cette utilisation du caractère ':' que j'aille cherché un peu à quoi cela correspond car pour l'instant ca ne me dit pas grand chose

Merci du coup de main

[TropMDR]

On ne va pas réussir à débuger un problème de type sur un bout de code qui pourrait parfaitement typer suivant les définition pour func1 et func2.

Mais en gros, func1 attends deux arguments, et n'en a reçu qu'un, donc var1 est la fonction qui attends le dernier argument (celui de type Type1)

[bumbolol]

On ne va pas réussir à débuger un problème de type sur un bout de code qui pourrait parfaitement typer suivant les définition pour func1 et func2.

Mais en gros, func1 attends deux arguments, et n'en a reçu qu'un, donc var1 est la fonction qui attends le dernier argument (celui de type Type1)

Oui le problème venait de func1, un paramètre optionnel (avec valeur par défaut) n'était pas pris en compte, d'où le paramètre manquant.

Merci tout de même