src/HOLCF/Tools/Domain/domain_library.ML
changeset 33317 b4534348b8fd
parent 32126 a5042f260440
child 33396 45c5c3c51918
--- a/src/HOLCF/Tools/Domain/domain_library.ML	Thu Oct 29 16:59:12 2009 +0100
+++ b/src/HOLCF/Tools/Domain/domain_library.ML	Thu Oct 29 17:58:26 2009 +0100
@@ -241,8 +241,8 @@
 val upd_vname =   upd_third;
 fun is_rec         arg = rec_of arg >=0;
 fun is_nonlazy_rec arg = is_rec arg andalso not (is_lazy arg);
-fun nonlazy     args   = map vname (filter_out is_lazy    args);
-fun nonlazy_rec args   = map vname (List.filter is_nonlazy_rec args);
+fun nonlazy     args   = map vname (filter_out is_lazy args);
+fun nonlazy_rec args   = map vname (filter is_nonlazy_rec args);
 
 
 (* ----- combinators for making dtyps ----- *)