diff options
| author | Pierre Roux | 2020-01-30 14:45:49 +0100 |
|---|---|---|
| committer | Pierre Roux | 2020-01-30 14:45:49 +0100 |
| commit | e30eab16b2669cfcd63a718fa10a7bc7f6020b8a (patch) | |
| tree | b9610b2105a0c9f2bce6780b3b0951fd246a7e4f /kernel/nativelambda.mli | |
| parent | 92a294ca53752b61b0270a719826ffc759a25e8d (diff) | |
Fix 11483
Performance bug of PrimFLoat.compare with native_compute
When adapting Coq.Interval with @erikmd and @silene, we noticed that
PrimFLoat.compare is taking a lot of time with native_compute (much
more than with vm_compute).
This comes from the implementation using the OCaml polymorphic
comparison instead of the float comparison.
Diffstat (limited to 'kernel/nativelambda.mli')
0 files changed, 0 insertions, 0 deletions