reflect bool

Stream: general

[Simon Hudon]

I'm running the following code:

run_cmd eval_expr bool (reflect tt) >>= trace

bool has an instance of has_reflect and the above is type correct but when I run it I get the following error:

VM does not have code for 'bool.tt'

What can I do?

[Mario Carneiro]

There is definitely a bug somewhere in the workings of eval_expr

[Mario Carneiro]

workaround:

run_cmd eval_expr bool (reflect (id tt)) >>= trace

[Minchao Wu]

looks like magic

[Simon Hudon]

Thanks! I was able to use this trick with user_attribute.get_param_untyped to replace user_attribute.get_param

[Simon Hudon]

(by wrapping the return with id: to_expr ``(id %%r))