comparison src/c/urweb.c @ 1377:730b3d0de1c1

Fix jsifyTime to work on 32-bit systems
author Adam Chlipala <adamc@hcoop.net>
date Thu, 30 Dec 2010 12:48:08 -0500
parents a8ba2952b210
children 86d23010ea74
comparison
equal deleted inserted replaced
1376:a8ba2952b210 1377:730b3d0de1c1
2013 int len; 2013 int len;
2014 char *r; 2014 char *r;
2015 2015
2016 uw_check_heap(ctx, INTS_MAX); 2016 uw_check_heap(ctx, INTS_MAX);
2017 r = ctx->heap.front; 2017 r = ctx->heap.front;
2018 sprintf(r, "%lld%n", (uw_Basis_int)(t.seconds * 1000000 + t.microseconds), &len); 2018 sprintf(r, "%lld%n", (uw_Basis_int)t.seconds * 1000000 + t.microseconds, &len);
2019 ctx->heap.front += len+1; 2019 ctx->heap.front += len+1;
2020 return r; 2020 return r;
2021 } 2021 }
2022 2022
2023 uw_unit uw_Basis_jsifyInt_w(uw_context ctx, uw_Basis_int n) { 2023 uw_unit uw_Basis_jsifyInt_w(uw_context ctx, uw_Basis_int n) {