src/HOLCF/domain/library.ML
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;