changeset 1828 | d022c10d2c08 |
parent 1819 | 245721624c8d |
child 1834 | c780a4f39454 |
--- a/src/HOLCF/domain/library.ML Tue Jun 25 18:01:37 1996 +0200 +++ b/src/HOLCF/domain/library.ML Wed Jun 26 17:37:34 1996 +0200 @@ -178,8 +178,6 @@ | cont_eta_contract t = t; fun idx_name dnames s n = s^(if length dnames = 1 then "" else string_of_int n); -fun when_funs cons = if length cons = 1 then ["f"] - else mapn (fn n => K("f"^(string_of_int n))) 1 cons; fun when_body cons funarg = let fun one_fun n (_,[] ) = /\ "dummy" (funarg(1,n)) | one_fun n (_,args) = let