git.annexia.org
/
whenjobs.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Move variable checking to check_valid_variable_name function.
[whenjobs.git]
/
lib
/
whenexpr.mli
diff --git
a/lib/whenexpr.mli
b/lib/whenexpr.mli
index
12ba584
..
7d1c2de
100644
(file)
--- a/
lib/whenexpr.mli
+++ b/
lib/whenexpr.mli
@@
-161,3
+161,7
@@
val next_periodexpr : float -> periodexpr -> float
midnight UTC on the 1st day of the year when
[(y - 1970) mod i == 0]. This returns midnight on the
1st day of the next year > t. *)
midnight UTC on the 1st day of the year when
[(y - 1970) mod i == 0]. This returns midnight on the
1st day of the next year > t. *)
+
+val check_valid_variable_name : string -> unit
+(** Check that [name] is a valid variable name that users are permitted
+ to set, and raise [Failure] if it is not. *)