From b0aba6510a7b571560cb6d02b980350faf028d5c Mon Sep 17 00:00:00 2001 From: Graydon Hoare Date: Mon, 5 Jul 2010 14:38:02 -0700 Subject: Teach the dwarf readers to handle udata, so we can link with util.option; add util.rs to std.rc. --- src/boot/me/dwarf.ml | 1 + 1 file changed, 1 insertion(+) (limited to 'src/boot') diff --git a/src/boot/me/dwarf.ml b/src/boot/me/dwarf.ml index a568db41..bf974866 100644 --- a/src/boot/me/dwarf.ml +++ b/src/boot/me/dwarf.ml @@ -2724,6 +2724,7 @@ let read_dies | DW_FORM_data1 -> DATA_num (ar.asm_get_u8()) | DW_FORM_data4 -> DATA_num (ar.asm_get_u32()) | DW_FORM_flag -> DATA_num (ar.asm_get_u8()) + | DW_FORM_udata -> DATA_num (ar.asm_get_uleb()) | DW_FORM_block1 -> (adv_block1(); DATA_other) | DW_FORM_block4 -> (adv_block4(); DATA_other) | _ -> -- cgit v1.2.3