Script started on Wed Nov 14 11:59:10 1990 tain% njml Standard ML of New Jersey, Version 0.44a, 13 December 1989 val it = () : unit - use "equal-if"; [opening equal-if] equal-if, line 4: Warning: redundant patterns in match (p,x,nil) => ... (p,nil,y) => ... --> (p,nil,nil) => ... (p,a :: x,b :: y) => ... val equal_if_1 = fn : ('a -> 'b -> bool) -> 'a list -> 'b list -> bool val equal_if_2 = fn : ('a -> 'b -> bool) -> 'a list -> 'b list -> bool val equal_if_3 = fn : (''a -> ''b -> bool) -> ''a list -> ''b list -> bool val gt = fn : int -> int -> bool [closing equal-if] val it = () : unit - val x = [1,3,5]; val x = [1,3,5] : int list - val y = [2,4,6]; val y = [2,4,6] : int list - val z = [100,200,300,400,500]; val z = [100,200,300,400,500] : int list - - - equal_if_1 gt y x; val it = false : bool - equal_if_1 gt x y; val it = false : bool - - - equal_if_2 gt y x; val it = true : bool - equal_if_2 gt x y; val it = false : bool - equal_if_2 gt z x; val it = false : bool - - - equal_if_3 gt y x; val it = true : bool - equal_if_3 gt x y; val it = false : bool - equal_if_3 gt z x; val it = false : bool - - tain% script done on Wed Nov 14 12:02:59 1990