Name: Anonymous 2012-08-07 11:03
# let rec reverse lis acc =
match lis with
[] -> acc
| x::xs -> reverse xs x::acc;;
Error: This expression has type 'a list
but an expression was expected of type 'a
# let rec reverse(lis,acc) =
match lis with
[] -> acc
| x::xs -> reverse(xs,x::acc);;
val reverse : 'a list * 'a list -> 'a list = <fun>FFFFFFFFUUUUUUUUUUUUUUUUUUUUUUUUUUUUUU