# HG changeset patch
# User wenzelm
# Date 1210691174 -7200
# Node ID 4fc89bfc4b0cef9df57bbbf83f8f9bd64b8db361
# Parent  1aeac4d6b3771681188da91f6266c2b55fedc42f
adapted PolyML.compiler to latest change of basis/FinalPolyML.sml (2008-04-21);

diff -r 1aeac4d6b377 -r 4fc89bfc4b0c src/Pure/ML-Systems/polyml.ML
--- a/src/Pure/ML-Systems/polyml.ML	Tue May 13 09:14:07 2008 +0200
+++ b/src/Pure/ML-Systems/polyml.ML	Tue May 13 17:06:14 2008 +0200
@@ -26,11 +26,13 @@
           (in_buffer := cs; if c = #"\n" then current_line := ! current_line + 1 else (); SOME c));
     fun put s = out_buffer := s :: ! out_buffer;
 
+    val parameters =
+     [PolyML.Compiler.CPOutStream put,
+      PolyML.Compiler.CPLineNo (fn () => ! current_line),
+      PolyML.Compiler.CPFileName name];
     val _ =
       (while not (List.null (! in_buffer)) do
-        PolyML.compiler
-          {getChar = get, putString = put, lineNumber = fn () => ! current_line, fileName = name,
-            nameSpace = PolyML.globalNameSpace} ())
+        PolyML.compiler (get, parameters) ())
       handle exn =>
        (put ("Exception- " ^ General.exnMessage exn ^ " raised");
         err (output ()); raise exn);