rpc: type conversion

rpc: type conversion

[Philippe Strauss]

Hello,

I need to use RPC in a current project of mine, but I don't get how do 
you write the type conversion and what is provided, taking a very basic 
example:

--8<--
program Rpc_control {
     version V1 {
                 int                     add(int, int)        = 1;
     } = 1;
} = 0x2000007f;
--8<--

and the server code:

--8<--
let add arg =
     match arg with
     | (a, b) -> a + b
     | _ -> 0

let _ =
     let esys = Unixqueue.standard_event_system () in
     let server = Deconv_srv.Rpc_control.V1.create_server ~proc_add: add
         (Rpc_server.Localhost 3333) Rpc.Tcp Rpc.Socket esys in
     Unixqueue.run esys
--8<--

my add fun is wrong regarding the types, I've read about type conversion 
but the doco lacks examples, the examples lacks basic use of int <-> 
Rtype.int4.


Thanks

Re: [Caml-list] rpc: type conversion

[Philippe Strauss]

oops, Rtypes.int_of_int4 and int4_of_int.

sorry.

Philippe Strauss wrote:
> Hello,
>
> I need to use RPC in a current project of mine, but I don't get how do 
> you write the type conversion and what is provided, taking a very 
> basic example:
>
> --8<--
> program Rpc_control {
>     version V1 {
>                 int                     add(int, int)        = 1;
>     } = 1;
> } = 0x2000007f;
> --8<--
>
> and the server code:
>
> --8<--
> let add arg =
>     match arg with
>     | (a, b) -> a + b
>     | _ -> 0
>
> let _ =
>     let esys = Unixqueue.standard_event_system () in
>     let server = Deconv_srv.Rpc_control.V1.create_server ~proc_add: add
>         (Rpc_server.Localhost 3333) Rpc.Tcp Rpc.Socket esys in
>     Unixqueue.run esys
> --8<--
>
> my add fun is wrong regarding the types, I've read about type 
> conversion but the doco lacks examples, the examples lacks basic use 
> of int <-> Rtype.int4.
>
>
> Thanks
>
> _______________________________________________
> 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] rpc: type conversion

[Gerd Stolpmann]

Alternatively, you can instruct ocamlrpcgen to directly translate RPC
int's to int/int32/int64. E.g. "ocalmrpcgen -int unboxed", or
you demand the types in the .x file, e.g. use "_unboxed int".

See the manual for details: 
http://projects.camlcity.org/projects/dl/ocamlnet-3.0.3/doc/html-main/Rpc_intro.html,
section "Mapping integer types".

Gerd

Am Freitag, den 05.11.2010, 00:15 +0100 schrieb Philippe Strauss:
> oops, Rtypes.int_of_int4 and int4_of_int.
> 
> sorry.
> 
> Philippe Strauss wrote:
> > Hello,
> >
> > I need to use RPC in a current project of mine, but I don't get how do 
> > you write the type conversion and what is provided, taking a very 
> > basic example:
> >
> > --8<--
> > program Rpc_control {
> >     version V1 {
> >                 int                     add(int, int)        = 1;
> >     } = 1;
> > } = 0x2000007f;
> > --8<--
> >
> > and the server code:
> >
> > --8<--
> > let add arg =
> >     match arg with
> >     | (a, b) -> a + b
> >     | _ -> 0
> >
> > let _ =
> >     let esys = Unixqueue.standard_event_system () in
> >     let server = Deconv_srv.Rpc_control.V1.create_server ~proc_add: add
> >         (Rpc_server.Localhost 3333) Rpc.Tcp Rpc.Socket esys in
> >     Unixqueue.run esys
> > --8<--
> >
> > my add fun is wrong regarding the types, I've read about type 
> > conversion but the doco lacks examples, the examples lacks basic use 
> > of int <-> Rtype.int4.
> >
> >
> > Thanks
> >
> > _______________________________________________
> > 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
> 
> _______________________________________________
> 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
> 


-- 
------------------------------------------------------------
Gerd Stolpmann, Bad Nauheimer Str.3, 64289 Darmstadt,Germany 
gerd@gerd-stolpmann.de          http://www.gerd-stolpmann.de
Phone: +49-6151-153855                  Fax: +49-6151-997714
------------------------------------------------------------

Re: [Caml-list] rpc: type conversion

[Jake Donham]

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

On Thu, Nov 4, 2010 at 2:26 PM, Philippe Strauss <philou@philou.ch> wrote:

> I need to use RPC in a current project of mine, but I don't get how do you
> write the type conversion and what is provided, taking a very basic example:
>

If you are using OCaml on both ends, you might prefer to use orpc:

  http://jaked.github.com/orpc/

which generates stubs from OCaml signatures rather than ONC RPC interface
files.

Jake

[-- Attachment #2: Type: text/html, Size: 809 bytes --]