Mirrors_Framework/paparazzi
1
0
Fork 0
mirror of https://github.com/paparazzi/paparazzi.git synced 2026-05-09 22:49:53 +08:00
Code Issues Actions 29 Packages Projects Releases Wiki Activity

[ocaml] uint32 now fits into a Int64

Browse Source 
close #831
This commit is contained in:
Gautier Hattenberger
2014-09-10 14:31:25 +02:00
parent 4faf1c4f24
commit 557c0112fc
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
sw/lib/ocaml/pprz.ml
+2 -2
View File
@@ -400,8 +400,8 @@ let rec sprint_value = fun buf i _type v ->
sprint_int8 buf i x; sizeof _type
| Scalar "float", Float f -> sprint_float buf i f; sizeof _type
| Scalar "double", Float f -> sprint_double buf i f; sizeof _type
| Scalar ("int32"|"uint32"), Int32 x -> sprint_int32 buf i x; sizeof _type
| Scalar ("int64"|"uint64"), Int64 x -> sprint_int64 buf i x; sizeof _type
| Scalar "int32", Int32 x -> sprint_int32 buf i x; sizeof _type
| Scalar ("int64"|"uint64"|"uint32"), Int64 x -> sprint_int64 buf i x; sizeof _type
| Scalar "int16", Int x -> sprint_int16 buf i x; sizeof _type
| Scalar ("int32" | "uint32"), Int value ->
assert (_type <> Scalar "uint32" || value >= 0);