# HG changeset patch
# User oheimb
# Date 865605733 -7200
# Node ID 34655a5d2f56758c41bca1c9d5694a16619e1d6a
# Parent  e7cef2081106eee93b7ffb241053a43fda54890b
improved function 'nonreserved'

diff -r e7cef2081106 -r 34655a5d2f56 src/HOLCF/domain/library.ML
--- a/src/HOLCF/domain/library.ML	Fri Jun 06 13:28:40 1997 +0200
+++ b/src/HOLCF/domain/library.ML	Fri Jun 06 16:02:13 1997 +0200
@@ -63,9 +63,7 @@
     fun typid (Type  (id,_)   ) = hd     (explode id)
       | typid (TFree (id,_)   ) = hd (tl (explode id))
       | typid (TVar ((id,_),_)) = hd (tl (explode id));
-    fun nonreserved id = let val cs = explode id in
-			 if not(hd cs mem ["x","f","P"]) then id
-			 else implode(chr(1+ord (hd cs))::tl cs) end;
+    fun nonreserved s = if s mem ["x","f","P"] then s^"'" else s;
     fun index_vnames(vn::vns,occupied) =
           (case assoc(occupied,vn) of
              None => if vn mem vns