no error with ocamlc, a syntax error with ocaml

[Francois Colonna <colonna@ccr.jussieu.fr>]

[-- Attachment #1: Type: text/plain, Size: 1107 bytes --]

Hello,

the small ocaml program attached gives no errors at compilation

ocamlc -c tuvuw_from_data_error.ml

and this syntax error at execution:

ocaml < tuvuw_from_data_error.ml
        Objective Caml version 3.09.2

# * *       val s_d1 : string = "1"
# val s_d2 : string = "2"
# val s_d3 : string = "3"
# val s_d4 : string = "4"
# val s_d5 : string = "5"
#     val d1 : int = 1
# val d2 : int = 2
# val d3 : int = 3
# val d4 : int = 4
# val d5 : int = 5
  print_string (" w d5 = ") ;t = <fun>
  print_int (w_from_data ( d5 ) ) ;>
  print_newline () ;t -> int = <fun>
    val t : int * int -> int = <fun>
  print_string (" v d3 d4 d5 = ") ;ta : int -> int = <fun>
  print_int (v_from_data ( d3, d4, d5 ) ) ;= <fun>
  print_newline () ;_data : int * int * int -> int = <fun>
          val t_from_data : int * int * int * int * int -> int = <fun>
  print_string (" u  d1 d2 = ") ;      for data :  d1 = 1 d2 = 2 d3 = 3 
d4 = 4 d5 = 5
  print_int (u_from_data ( d1, d2 ) ) ;
  print_newline () ;3 d4 d5 = 22
    unit = ()
#
Syntax error
#



By the way, why is the output mixed up ?

Thanks
François Colonna

[-- Attachment #2: tuvuw_from_data_error.ml --]
[-- Type: text/plain, Size: 1580 bytes --]

(**
 * trying to implement cascade
 *)


let s_d1 = "1" ;;
let s_d2 = "2" ;;
let s_d3 = "3" ;;
let s_d4 = "4" ;;
let s_d5 = "5" ;;


let d1 = int_of_string (s_d1) ;;
let d2 = int_of_string (s_d2) ;;
let d3 = int_of_string (s_d3) ;;
let d4 = int_of_string (s_d4) ;;
let d5 = int_of_string (s_d5) ;;

(**
 * define functions as function of their sons
 *)

let w (a_a) = a_a + 3 ;;

let u (a_a, b_a) = a_a + b_a + 1;;

let v (a_a, b_a) = a_a + b_a + 2 ;;

let t (a_a, b_a) = a_a + b_a ;;


(** 
 * express each function as a function of its data
 * using the functon of its sons
 *)


let w_from_data ( a_a ) = 
    w ( a_a )  
;;

let u_from_data ( a_a, b_a ) = 
    u ( a_a, b_a ) 
;;

let v_from_data ( a_a, b_a, c_a ) = 
    v ( u_from_data ( a_a, b_a),
        w_from_data ( c_a) ) 
;;

let t_from_data ( a_a, b_a, c_a, d_a, e_a ) = 
    t ( u_from_data (a_a, b_a), 
        v_from_data (c_a, d_a, e_a) ) 
;;

(** 
 * execution 
 *)


print_string (" for data : ") ;
print_string (" d1 = ") ;
print_int d1 ;
print_string (" d2 = ") ;
print_int d2 ;
print_string (" d3 = ") ;
print_int d3 ;
print_string (" d4 = ") ;
print_int d4 ;
print_string (" d5 = ") ;
print_int d5 ;
print_newline () ; 
;;

print_string (" t d1 d2 d3 d4 d5 = ") ;
print_int (t_from_data ( d1, d2, d3, d4, d5 ) ) ;
print_newline () ;
;;

print_string (" w d5 = ") ;
print_int (w_from_data ( d5 ) ) ;
print_newline () ;

print_string (" v d3 d4 d5 = ") ;
print_int (v_from_data ( d3, d4, d5 ) ) ;
print_newline () ;

print_string (" u  d1 d2 = ") ;
print_int (u_from_data ( d1, d2 ) ) ;
print_newline () ;