Discussion :

[dragonfly]

Bonjour à tous, c'est encore moi ^^

Je viens vers vous car j'ai deux fonctions :

Code :

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

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
 
 
let dims mat =
  let n = Array.length mat in
  if n = 0 then (0, 0) else (n, Array.length mat.(0));;
 
let recup_pt_traj m =
   let rec loop_mat i j lis =
	 let liste = (if m(i).(j)==3 then (i,j)::lis else lis) in
	 let dim = dims m in
    match () with
	  |() when i=fst(dim) && j=snd(dim) -> liste
      |() when i=fst(dim) -> loop_mat 0 (j+1) liste
      |() when j=snd(dim) -> loop_mat (i+1) 0 liste
      |() -> loop_mat (i+1) j liste in
    loop_mat 0 0 [];;

Le probléme c'est que lorsque je veux compiler la fonction 'recup_pt_traj', j'ai l'erreur suivante :

Code :

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

1
2
3
4
5
6
 
Characters 128-129:
  	 let dim = dims m in
                   ^
Error: This expression has type 'a -> int
       but an expression was expected of type 'b array array

Je ne comprends vraiment pas pourquoi il attend le type 'b array array.
C'est du au fait que dans le let plus haut je manipule une matrice ? Le if serait inadapté?
Quand j'enléve le in , j'ai cette erreur :

Code :

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

1
2
3
4
5
 
Characters 358-360:
      loop_mat 0 0 [] ;; 
                           ^^
Error: Syntax error

Que la je ne comprends pas du tout...

Si quelqu'un a une idée, je prends

[SpiceGuid]

Moi aussi j'utilise des tabulations et malheureusement ça n'aide pas ocaml à bien situer l'expression qui déclenche le message d'erreur. Si tu n'avais utilisé que des espaces le ^ aurait désigné m.

Code :

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

1
2
3
4
5
 
let dim = dims m in
               ^
Error: This expression has type 'a -> int
       but an expression was expected of type 'b array array

Pour ce qui est de la cause.
Le fait est qu'à la ligne 8 tu as écrit m(i).(j) alors que tu songeais à m.(i).(j).

Maintenant tu me diras : oui mais comment je pouvais trouver cette coquille tout seul
La réponse est simple : on te dit que m doit être de type 'b array array.
Hé bien tu peux expliciter cette contrainte dans ton code :

Code :

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

1
2
3
4
5
6
7
8
9
10
11
12
13
14
# let recup_pt_traj (m:'b array array) =
     let rec loop_mat i j lis =
      let liste = (if m(i).(j)==3 then (i,j)::lis else lis) in
      let dim = dims m in
      match () with
        |() when i=fst(dim) && j=snd(dim) -> liste
        |() when i=fst(dim) -> loop_mat 0 (j+1) liste
        |() when j=snd(dim) -> loop_mat (i+1) 0 liste
        |() -> loop_mat (i+1) j liste in
      loop_mat 0 0 [];;
Characters 89-90:
      let liste = (if m(i).(j)==3 then (i,j)::lis else lis) in
                      ^
Error: This expression is not a function; it cannot be applied

[dragonfly]

Salut,

non c'est pas ocaml, c'est lorsque j'ai copié le code dans la balise dans dvp qu'il y avait un décalage, je l'ai corrigé et j'aurai pas du (à la base l'erreur s'affiche bien sur le 'm').

Pour l'erreur, j'ai honte c'est le truc qui saute au yeux ^^.

A l'avenir, je veillerai à analyser les erreurs de typage plus profondément pour détecter moi même ce type d'erreur.

Encore merci, ca compile nickel (après si le code fonctionne, faut que je teste mais ça c'est mon problème après ^^)

P.S : La prochaine fois que je viendrais (je pense revenir, je débute ^^), je checkerai les erreurs "simples" avant.