changeset 2238 | c72a23bbe762 |
parent 1834 | c780a4f39454 |
child 2276 | 3eb9a113029e |
--- a/src/HOLCF/domain/library.ML Wed Nov 27 10:36:38 1996 +0100 +++ b/src/HOLCF/domain/library.ML Wed Nov 27 10:40:45 1996 +0100 @@ -89,8 +89,8 @@ typ list) * (* arguments of abstracted type *) cons list; (* represented type, as a constructor list *) -val rec_of = snd o first; -val is_lazy = fst o first; +fun rec_of arg = snd (first arg); +fun is_lazy arg = fst (first arg); val sel_of = second; val vname = third; val upd_vname = upd_third;