summaryrefslogtreecommitdiff
path: root/lib/basis.urs
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-09-07 11:33:13 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-09-07 11:33:13 -0400
commit5cf1d4d086475575a31f57413c57c22bd6fda378 (patch)
treeab36ce67d2931f2c715b5b734930139c53adc670 /lib/basis.urs
parent42c284b9204ef5dfc249cc7273ff2eaa9304e9e6 (diff)
Converting string to int
Diffstat (limited to 'lib/basis.urs')
-rw-r--r--lib/basis.urs8
1 files changed, 3 insertions, 5 deletions
diff --git a/lib/basis.urs b/lib/basis.urs
index 22a033a0..e6072690 100644
--- a/lib/basis.urs
+++ b/lib/basis.urs
@@ -6,7 +6,7 @@ type unit = {}
datatype bool = False | True
-(*datatype option t = None | Some of t*)
+datatype option t = None | Some of t
(** Basic type classes *)
@@ -23,10 +23,6 @@ val eq_bool : eq bool
val strcat : string -> string -> string
-val intToString : int -> string
-val floatToString : float -> string
-val boolToString : bool -> string
-
class show
val show : t ::: Type -> show t -> t -> string
val show_int : show int
@@ -34,6 +30,8 @@ val show_float : show float
val show_string : show string
val show_bool : show bool
+val stringToInt : string -> option int
+
(** SQL *)