aboutsummaryrefslogtreecommitdiff
path: root/kernel/nativelambda.mli
diff options
context:
space:
mode:
authorGuillaume Bertholon2018-07-16 13:30:37 +0200
committerPierre Roux2019-11-01 10:20:15 +0100
commit1b0bd3a9e3a913a4928b68546a134a1a4448f9e8 (patch)
tree3cd5378c9810fcd546c5f12ca25673ffb4ec2421 /kernel/nativelambda.mli
parent5c24b95890f6b57e6f20b03ade543e1e9d1e8324 (diff)
Add tests for primitive floats
Add utility ldexp and frexp functions to prevent dealing with the shift of ldshiftexp and frshiftexp everywhere. Also move primitive integer tests to place all primitive tests in the same directory.
Diffstat (limited to 'kernel/nativelambda.mli')
0 files changed, 0 insertions, 0 deletions