summaryrefslogtreecommitdiff
path: root/src/c/urweb.c
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2011-10-08 17:23:58 -0400
committerGravatar Adam Chlipala <adam@chlipala.net>2011-10-08 17:23:58 -0400
commitff119b6f75734c94df9f86cda58e95e1b6506705 (patch)
treeaf5545a16e8c2d7f65737c161285cf78b8ed2d43 /src/c/urweb.c
parent47ed9101fdb70e576c6cfbebce06ca78b6d7b973 (diff)
Primitive int/float functions: ceil, float, round, trunc
Diffstat (limited to 'src/c/urweb.c')
-rw-r--r--src/c/urweb.c17
1 files changed, 17 insertions, 0 deletions
diff --git a/src/c/urweb.c b/src/c/urweb.c
index 0f1634e9..491fb73d 100644
--- a/src/c/urweb.c
+++ b/src/c/urweb.c
@@ -16,6 +16,7 @@
#include <openssl/des.h>
#include <openssl/rand.h>
#include <time.h>
+#include <math.h>
#include <pthread.h>
@@ -3956,3 +3957,19 @@ void uw_cutErrorLocation(char *s) {
uw_Basis_string uw_Basis_fresh(uw_context ctx) {
return uw_Basis_htmlifyInt(ctx, ctx->nextId++);
}
+
+uw_Basis_float uw_Basis_floatFromInt(uw_context ctx, uw_Basis_int n) {
+ return n;
+}
+
+uw_Basis_int uw_Basis_ceil(uw_context ctx, uw_Basis_float n) {
+ return ceil(n);
+}
+
+uw_Basis_int uw_Basis_trunc(uw_context ctx, uw_Basis_float n) {
+ return trunc(n);
+}
+
+uw_Basis_int uw_Basis_round(uw_context ctx, uw_Basis_float n) {
+ return round(n);
+}