diff options
| author | Gordon Henriksen <gordonhenriksen@mac.com> | 2007-10-07 00:13:35 +0000 |
|---|---|---|
| committer | Gordon Henriksen <gordonhenriksen@mac.com> | 2007-10-07 00:13:35 +0000 |
| commit | 1cf08fddc7413076dedad58dbb8d8d67e69a490f (patch) | |
| tree | de2716f4caa6d2d7296465c0c0750b507a959648 /test/Bindings | |
| parent | c0491ac8b6c24a7d0db8c0a60f76cfb1d66f84ab (diff) | |
C and Objective Caml bindings for PATypeHolder.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@42713 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/Bindings')
| -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 434536b79e..0282241d0c 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 ---------------------------------------------------------===*) |