| Title | Can't pass debugging options by keyword argument |
| Status | closed |
| Priority | essential |
| Assigned user | Gareth Rees |
| Organization | Ravenbrook |
| Description | If I try MPS_ARGS_BEGIN(args) { MPS_ARGS_ADD(args, MPS_KEY_CHAIN, chain); MPS_ARGS_ADD(args, MPS_KEY_FORMAT, fmt); MPS_ARGS_ADD(args, MPS_KEY_POOL_DEBUG_OPTIONS, &debug_options); MPS_ARGS_DONE(args); res = mps_pool_create_k(&pool, arena, mps_class_ams_debug(), args); } MPS_ARGS_END(args); I get the compilation error gc.c:252:28: error: no member named 'MPS_KEY_POOL_DEBUG_OPTIONS_FIELD' in 'union mps_arg_s::<anonymous at mps.h:118:3>' MPS_ARGS_ADD(args, MPS_KEY_POOL_DEBUG_OPTIONS, &debug_options); |
| Analysis | This line in mps.h: #define MPS_KEY_VAL_POOL_DEBUG_OPTIONS pool_debug_options should say: #define MPS_KEY_POOL_DEBUG_OPTIONS_FIELD pool_debug_options |
| How found | manual_test |
| Evidence | None. |
| Created by | Gareth Rees |
| Created on | 2013-10-04 10:53:34 |
| Last modified by | Gareth Rees |
| Last modified on | 2013-10-04 11:06:34 |
| History | 2013-10-04 GDR Created. |
| Change | Effect | Date | User | Description |
|---|---|---|---|---|
| 183524 | closed | 2013-10-04 11:05:56 | Gareth Rees | Fix broken MPS_KEY_POOL_DEBUG_OPTIONS keyword argument. |