no error with ocamlc, a syntax error with ocaml

no error with ocamlc, a syntax error with ocaml

[Francois Colonna]

[-- 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 () ;
 

Re: [Caml-list] no error with ocamlc, a syntax error with ocaml

[micha]

Am Fri, 29 Sep 2006 09:54:09 +0200
schrieb Francois Colonna <colonna@ccr.jussieu.fr>:

> Hello,
> 
> the small ocaml program attached gives no errors at compilation
> 
> ocamlc -c tuvuw_from_data_error.ml
> 
> and this syntax error at execution:

the compiled program runs without errors. Also if you do:
#use "tuvuw_from_data_error.ml";;

it runs without errors. So I think the error comes from the redirecting
of the input by the shell...

 Michael

Re: [Caml-list] no error with ocamlc, a syntax error with ocaml

[Jonathan Roewen]

Why aren't you doing: ocaml tuvuw_from_data_error.ml?

You don't need to redirect input. Whether this is a bug or just an
unsupported use case is another question.

Jonathan

On 9/29/06, Francois Colonna <colonna@ccr.jussieu.fr> wrote:
> 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
>
>
> (**
>  * 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 () ;
>
>
>
> _______________________________________________
> Caml-list mailing list. Subscription management:
> http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
> Archives: http://caml.inria.fr
> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
> Bug reports: http://caml.inria.fr/bin/caml-bugs
>
>
>

Re: [Caml-list] no error with ocamlc, a syntax error with ocaml

[Virgile Prevosto]

Hello,

Le ven 29 sep 2006 09:54:09 CEST,
Francois Colonna <colonna@ccr.jussieu.fr> a écrit :

> ocaml < tuvuw_from_data_error.ml

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

The issue is here: in the interpreter, it is mandatory to close a
toplevel phrase with ';;', since ocaml rely on it to know when it has
to evaluate something. 

-- 
E tutto per oggi, a la prossima volta.
Virgile

Re: [Caml-list] no error with ocamlc, a syntax error with ocaml

[Francois Colonna]

Virgile Prevosto wrote:
> Hello,
>
> Le ven 29 sep 2006 09:54:09 CEST,
> Francois Colonna <colonna@ccr.jussieu.fr> a écrit :
>
>   
>> ocaml < tuvuw_from_data_error.ml
>>     
>
>   
>> print_string (" u  d1 d2 = ") ;
>> print_int (u_from_data ( d1, d2 ) ) ;
>> print_newline () ;
>>  
>>     
>
> The issue is here: in the interpreter, it is mandatory to close a
> toplevel phrase with ';;', since ocaml rely on it to know when it has
> to evaluate something. 
>
>