# HG changeset patch
# User oheimb
# Date 891603049 -7200
# Node ID 3fbb7021828fbedb3b3178077e4c4fe61a61d0bc
# Parent  379f32b0ae40639abdbdeeff78ab112169783460
repaired incompatibility with new SML version by eta-expansion

diff -r 379f32b0ae40 -r 3fbb7021828f src/HOLCF/domain/library.ML
--- a/src/HOLCF/domain/library.ML	Fri Apr 03 12:35:27 1998 +0200
+++ b/src/HOLCF/domain/library.ML	Fri Apr 03 13:30:49 1998 +0200
@@ -158,8 +158,8 @@
 |   prj f1 f2 x (y::   ys) j = prj f1 f2 (f2 x y) ys (j-1);
 fun fix_tp (tn, args) = (tn, map (K oneT) args); (* instantiate type to
 						    avoid type varaibles *)
-val  proj        = prj (fn S => K(%%"fst" $S)) (fn S => K(%%"snd" $S));
-val cproj        = prj (fn S => K(%%"cfst"`S)) (fn S => K(%%"csnd"`S));
+fun  proj x      = prj (fn S => K(%%"fst" $S)) (fn S => K(%%"snd" $S)) x;
+fun cproj x      = prj (fn S => K(%%"cfst"`S)) (fn S => K(%%"csnd"`S)) x;
 fun cproj' T eqs = prj 
 	(fn S => fn t => Const("cfst",mk_prodT(dummyT,t)->>dummyT)`S) 
 	(fn S => fn t => Const("csnd",mk_prodT(t,dummyT)->>dummyT)`S)