[OCaml] Fix and re-enable the string_simple, minherit, and unions tests
copy_string() is a macro in the OCaml C API, so rename the function
to copy_str(). Add a runtime test.
The minherit runtime test was fixed by b64d685.
Use the proper syntax for accessing member variables in
unions_runme.ml
This commit is contained in:
parent
b82d3007f3
commit
83df4e8ed6
7 changed files with 26 additions and 20 deletions
|
|
@ -8,21 +8,21 @@ let b = new_BigStruct C_void
|
|||
let c = new_UnionTest C_void
|
||||
let d = new_EmbeddedUnionTest C_void
|
||||
|
||||
let _ = (invoke a) "jill" (C_short 3)
|
||||
let _ = (invoke b) "jack" (C_char 'a') (* Int conversion *)
|
||||
let _ = (invoke b) "smallstruct" a (* Put a in b *)
|
||||
let _ = (invoke c) "bs" b
|
||||
let _ = (invoke a) "[jill]" (C_short 3)
|
||||
let _ = (invoke b) "[jack]" (C_char 'a') (* Int conversion *)
|
||||
let _ = (invoke b) "[smallstruct]" a (* Put a in b *)
|
||||
let _ = (invoke c) "[bs]" b
|
||||
|
||||
let _ = if get_int ((invoke a) "jill" C_void) != 3 then
|
||||
let _ = if get_int ((invoke a) "[jill]" C_void) != 3 then
|
||||
raise (Failure "jill value is not preserved")
|
||||
let _ = if get_int ((invoke b) "jack" C_void) != (int_of_char 'a') then
|
||||
let _ = if get_int ((invoke b) "[jack]" C_void) != (int_of_char 'a') then
|
||||
raise (Failure "jack value is not preserved")
|
||||
let _ = if get_int ((invoke ((invoke b) "smallstruct" C_void))
|
||||
"jill" C_void) != 3 then
|
||||
let _ = if get_int ((invoke ((invoke b) "[smallstruct]" C_void))
|
||||
"[jill]" C_void) != 3 then
|
||||
raise (Failure "jill value is not embedded in bigstruct")
|
||||
let _ = if get_int ((invoke ((invoke c) "bs" C_void))
|
||||
"jack" C_void) != (int_of_char 'a') then
|
||||
let _ = if get_int ((invoke ((invoke c) "[bs]" C_void))
|
||||
"[jack]" C_void) != (int_of_char 'a') then
|
||||
raise (Failure "union set of bigstruct did not take")
|
||||
let _ = if get_int ((invoke ((invoke c) "ss" C_void))
|
||||
"jill" C_void) != (int_of_char 'a') then
|
||||
let _ = if get_int ((invoke ((invoke c) "[ss]" C_void))
|
||||
"[jill]" C_void) != (int_of_char 'a') then
|
||||
raise (Failure "corresponding union values are not the same")
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue