[hcoop/zz_old/portal.git] / util.sml

structure Util :> UTIL =
struct

fun printInt n =
    Web.print (if n < 0 then
		   "-" ^ Int.toString (~n)
	       else
		   Int.toString n)

fun printReal n =
    Web.print (if n < 0.0 then
		   "-" ^ Real.fmt (StringCvt.FIX (SOME 2)) (~n)
	       else
		   Real.fmt (StringCvt.FIX (SOME 2)) n)

fun id x = x

fun makeSet f items =
    case items of
	[] => "()"
      | [usr] => "(" ^ f usr ^ ")"
      | usr::rest => foldl (fn (usr, s) => s ^ ", " ^ f usr) ("(" ^ f usr) rest ^ ")"

fun neg (r : real) = ~r

end
Commit	Line	Data
8d347a33	1	structure Util :> UTIL =
	2	struct
	3
	4	fun printInt n =
	5	Web.print (if n < 0 then
	6	"-" ^ Int.toString (~n)
	7	else
	8	Int.toString n)
	9
	10	fun printReal n =
	11	Web.print (if n < 0.0 then
	12	"-" ^ Real.fmt (StringCvt.FIX (SOME 2)) (~n)
	13	else
	14	Real.fmt (StringCvt.FIX (SOME 2)) n)
	15
	16	fun id x = x
	17
	18	fun makeSet f items =
	19	case items of
	20	[] => "()"
	21	\| [usr] => "(" ^ f usr ^ ")"
	22	\| usr::rest => foldl (fn (usr, s) => s ^ ", " ^ f usr) ("(" ^ f usr) rest ^ ")"
	23
f1ea3762	24	fun neg (r : real) = ~r
f1ea3762	25
8d347a33	26	end