TFL/utils.sml
changeset 3330 ab7161e593c8
parent 3302 404fe31fd8d2
child 3391 5e45dd3b64e9
equal deleted inserted replaced
3329:7b43a1e74930 3330:ab7161e593c8
    27 
    27 
    28 
    28 
    29 (* Simple combinators *)
    29 (* Simple combinators *)
    30 
    30 
    31 fun C f x y = f y x
    31 fun C f x y = f y x
    32 
       
    33 val concat = curry (op ^)
       
    34 fun quote s = "\""^s^"\"";
       
    35 
    32 
    36 fun itlist f L base_value =
    33 fun itlist f L base_value =
    37    let fun it [] = base_value
    34    let fun it [] = base_value
    38          | it (a::rst) = f a (it rst)
    35          | it (a::rst) = f a (it rst)
    39    in it L 
    36    in it L