# HG changeset patch
# User oheimb
# Date 902926616 -7200
# Node ID 92ea5ff34c793d0696958083b9fc448b8bad4d4a
# Parent  5706f0ef1d43102ae7f008fb4c3e6103d078adf1
minor correction: n must not be used as free variable

diff -r 5706f0ef1d43 -r 92ea5ff34c79 src/HOLCF/domain/library.ML
--- a/src/HOLCF/domain/library.ML	Wed Aug 12 12:17:20 1998 +0200
+++ b/src/HOLCF/domain/library.ML	Wed Aug 12 14:56:56 1998 +0200
@@ -59,10 +59,10 @@
 fun dis_name_ con = "is_"^ (strip_esc   con);
 
 (* make distinct names out of the type list, 
-   forbidding "o", "x..","f..","P.." as names *)
+   forbidding "o","n..","x..","f..","P.." as names *)
 (* a number string is added if necessary *)
 fun mk_var_names ids : string list = let
-    fun nonreserved s = if s mem ["x","f","P"] then s^"'" else s;
+    fun nonreserved s = if s mem ["n","x","f","P"] then s^"'" else s;
     fun index_vnames(vn::vns,occupied) =
           (case assoc(occupied,vn) of
              None => if vn mem vns