diff options
Diffstat (limited to 'test')
| -rw-r--r-- | test/Bindings/Ocaml/vmcore.ml | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/test/Bindings/Ocaml/vmcore.ml b/test/Bindings/Ocaml/vmcore.ml index 434536b..0282241 100644 --- a/test/Bindings/Ocaml/vmcore.ml +++ b/test/Bindings/Ocaml/vmcore.ml @@ -131,7 +131,17 @@ let test_types () = group "delete"; let ty = opaque_type () in insist (define_type_name "Ty13" ty m); - delete_type_name "Ty13" m + delete_type_name "Ty13" m; + + (* RUN: grep -v {RecursiveTy.*RecursiveTy} < %t.ll + *) + group "recursive"; + let ty = opaque_type () in + let th = handle_to_type ty in + refine_type ty (pointer_type ty); + let ty = type_of_handle th in + insist (define_type_name "RecursiveTy" ty m); + insist (ty == element_type ty) (*===-- Constants ---------------------------------------------------------===*) |