src/Tools/Compute_Oracle/am_ghc.ML
changeset 32740 9dd0a2f83429
parent 30161 c26e515f1c29
child 32952 aeb1e44fbc19
     1.1 --- a/src/Tools/Compute_Oracle/am_ghc.ML	Tue Sep 29 14:59:24 2009 +0200
     1.2 +++ b/src/Tools/Compute_Oracle/am_ghc.ML	Tue Sep 29 16:24:36 2009 +0200
     1.3 @@ -144,7 +144,7 @@
     1.4  
     1.5  fun haskell_prog name rules = 
     1.6      let
     1.7 -	val buffer = ref ""
     1.8 +	val buffer = Unsynchronized.ref ""
     1.9  	fun write s = (buffer := (!buffer)^s)
    1.10  	fun writeln s = (write s; write "\n")
    1.11  	fun writelist [] = ()
    1.12 @@ -200,7 +200,7 @@
    1.13  	(arity, !buffer)
    1.14      end
    1.15  
    1.16 -val guid_counter = ref 0
    1.17 +val guid_counter = Unsynchronized.ref 0
    1.18  fun get_guid () = 
    1.19      let
    1.20  	val c = !guid_counter
    1.21 @@ -214,7 +214,7 @@
    1.22  
    1.23  fun writeTextFile name s = File.write (Path.explode name) s
    1.24      
    1.25 -val ghc = ref (case getenv "GHC_PATH" of "" => "ghc" | s => s)
    1.26 +val ghc = Unsynchronized.ref (case getenv "GHC_PATH" of "" => "ghc" | s => s)
    1.27  
    1.28  fun fileExists name = ((OS.FileSys.fileSize name; true) handle OS.SysErr _ => false)
    1.29