Skip to content
Snippets Groups Projects
Commit 8a3a13c2 authored by dtc's avatar dtc
Browse files

Enhance one-arg-derive-type to optionally allow member types to be

converted to a numeric type and the derive-type-aux function called to
compute the result type. This allows a range to be returned for member
types.

Add a derive-type optimizer for the random function using the above
extension.

Ensure that the abs derive-type optimiser correctly coerces the result
bounds; this optimiser now returns a +0.0 lower bound whereas it had
been +-0.0.
parent 3c2c150a
No related branches found
No related tags found
Loading
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment