Mercurial > urweb
diff lib/basis.urs @ 288:4260ad920c36
Converting string to int
| author | Adam Chlipala <adamc@hcoop.net> |
|---|---|
| date | Sun, 07 Sep 2008 11:33:13 -0400 |
| parents | ffe5b01908ae |
| children | 0cc956a3216f |
line wrap: on
line diff
--- a/lib/basis.urs Sun Sep 07 10:52:51 2008 -0400 +++ b/lib/basis.urs Sun Sep 07 11:33:13 2008 -0400 @@ -6,7 +6,7 @@ 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 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_string : show string val show_bool : show bool +val stringToInt : string -> option int + (** SQL *)