Open dbp opened 8 months ago
Rosette has pretty bad messages for at least some functions; e.g., if i pass the wrong value to max:
max
(max #t #f)
I get the following error:
. . [assert] curried:extreme: expected real? arguments arguments: (#t)
Maybe we can wrap (reasonably named) contracts around them in the process of re-exporting them?
Yes, exporting these with the right contract should improve the error message.
Rosette has pretty bad messages for at least some functions; e.g., if i pass the wrong value to
max
:I get the following error:
Maybe we can wrap (reasonably named) contracts around them in the process of re-exporting them?