Discussion :

[Wenneguen]

Bonjour,

je ne comprends pas le message d'erreur de Caml quand je tente de compiler ce 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
15
16
17
18
19
20
21
22
let base = 10000 ;;
type nat == int list ;;
 
(*Question 1*)
 
let cons_nat c n = 
c::n ;;
 
(*Question 2*)
 
let add_nat n1 n2 =
 
	let rec add_avec_retenue n1 n2 retenue =
	match (n1,n2) with
	([],_) -> n2
	|(_,[]) -> n1
	|(t1::q1,t2::q2) -> if (t1+t2) > base
						then ( t1+t2-base + retenue )::( add_avec_retenue q1 q2 1)
	in
 
	add_avec_retenue n1 n2 0
;;

Message d'erreur de Caml :

Code :

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

1
2
3
4
5
#Entrée interactive:
>	....................if t1+t2 > base
>						then( t1+t2-base + retenue )::( add_avec_retenue q1 q2 1)
Cette expression est de type unit,
mais est utilisée avec le type int list.

Pourriez-vous m'expliquer comment corriger cette erreur ?

Merci beaucoup

[SpiceGuid]

Ce code est du code Caml-Light.

Il y a deux sortes distinctes de if :
if cond then ... qui a le type unit
if cond then a else b qui a le type de a et de b (a et b sont du même type).

La 1ère sorte ressemble à une instruction.
La 2nd sorte est une expression.

Y-a-t-il un else dans ton code ? Non ?
Donc c'est une instruction alors que tu veux une expression.
Et d'ailleurs que renvoie ton code quand (t1+t2) <= base ?

D'autre part ta condition n'est pas la bonne, à ta place j'aurais écrit t1+t2+retenue < base, l'autre cas étant celui où il faut émettre une retenue.

Code :

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

1
2
3
4
	let rec add_avec_retenue n1 n2 retenue =
	match (n1,n2) with
	|([],_) -> n2
	|(_,[]) -> n1

Et la retenue, elle s'est perdue en route ?

[Wenneguen]

Très bien merci beaucoup, tu as été très clair j'ai bien saisi

En effet mon code n'est pas bon, pour l'instant je cherchais surtout pourquoi ça compilait pas