Backpedal on tutorial-motivated urweb-mode changes; add Basis.diffInSeconds and Basis.toSeconds

2 files changed, 11 insertions, 0 deletions

diff --git a/lib/js/urweb.js b/lib/js/urweb.js
index 76ad76fa..9834fde6 100644
--- a/lib/js/urweb.js
+++ b/lib/js/urweb.js
@@ -105,6 +105,14 @@ function now() {
     return (new Date()).getTime() * 1000;
 }
 
+function diffInSeconds(tm1, tm2) {
+    return Math.round((tm2 - tm1) / 1000000);
+}
+
+function toSeconds(tm) {
+    return Math.round(tm / 1000000);
+}
+
 
 // Error handling
 
diff --git a/lib/ur/basis.urs b/lib/ur/basis.urs
index b60610cd..cabac068 100644
--- a/lib/ur/basis.urs
+++ b/lib/ur/basis.urs
@@ -145,6 +145,9 @@ val current : t ::: Type -> signal t -> transaction t
 val now : transaction time
 val minTime : time
 val addSeconds : time -> int -> time
+val toSeconds : time -> int
+val diffInSeconds : time -> time -> int
+(* Earlier time first *)
 val timef : string -> time -> string (* Uses strftime() format string *)
 val readUtc : string -> option time