RE: [Paparazzi-devel] Adding type "double" to gen_messages.ml

[Devitt, Andre]

I think it would be valuable. We're working o..n some software and there are a 
few points where we think the precision of double will be necessary, it would 
be nice to have them as a built in type with the GCS and not have to deal with 
using arrays and parsing manually. I'd greatly appreciate it if you would 
contribute this, I'm a bit new to the codebase and appreciate the help. Sounds 
like you're pretty familiar with ml and the paparazzi codebase.

It looks like some doubles are used in the paparazzi codebase so I was assuming 
they were handled properly but I will double check that to make sure [certainly 
find out one way or another...]

Thanks,
   Andre



-----Original Message-----
From: address@hidden on behalf of Pascal Brisset
Sent: Fri 10/31/2008 12:20 PM
To: address@hidden
Subject: Re: [Paparazzi-devel] Adding type "double" to gen_messages.ml
 
Hi,

I tried to clarify the code in gen_messages.ml . To add a "double" type, 
you will have to
 - in sw/lib/ocaml/pprz.ml:
   - add a case in the "value" type (line 37). The float type of OCaml 
actually is a double, so "Double of float" will work
   - add an entry in the "types" list (line 84)
   - handle this new type in all the functions of the file (the compiler 
will help, issuing some warning when the "Double" case is missing)
 -  in gen_messages.ml:
   - add a "8" case for the size of the value (197)

Let me know if you think it could be profitable to the community: I 
would do it and commit it to the CVS. By the way, did you check that 
double values are correctly handled by the ARM7 C library ?

--Pascal

Andre Devitt wrote:
> Anyone have much experience with ocaml? I'm trying to add a type 
> "double" to the message specification and the language is a bit 
> non-intuitive to me.
>
> Any pointers are greatly appreciated.
>
> Thanks,
>   ANdre
>
>
>
> _______________________________________________
> Paparazzi-devel mailing list
> address@hidden
> http://lists.nongnu.org/mailman/listinfo/paparazzi-devel



_______________________________________________
Paparazzi-devel mailing list
address@hidden
http://lists.nongnu.org/mailman/listinfo/paparazzi-devel

<<winmail.dat>>