src/Pure/ML/ml_lex.ML

   val pos_of: token -> string
   val kind_of: token -> token_kind
   val content_of: token -> string
   val keywords: string list
   val source: (Symbol.symbol, 'a) Source.source ->
-    (token, (SymbolPos.T, Position.T * (Symbol.symbol, 'a) Source.source)
+    (token, (Symbol_Pos.T, Position.T * (Symbol.symbol, 'a) Source.source)
       Source.source) Source.source
 end;
 
 structure ML_Lex: ML_LEX =
 struct

 
 
 
 (** scanners **)
 
-open BasicSymbolPos;
-
-fun !!! msg = SymbolPos.!!! ("SML lexical error: " ^ msg);
+open Basic_Symbol_Pos;
+
+fun !!! msg = Symbol_Pos.!!! ("SML lexical error: " ^ msg);
 
 
 (* blanks *)
 
 val scan_blank = Scan.one (Symbol.is_ascii_blank o symbol);

 
 (* token source *)
 
 local
 
-fun token k ss = Token (SymbolPos.range ss, (k, SymbolPos.implode ss));
+fun token k ss = Token (Symbol_Pos.range ss, (k, Symbol_Pos.implode ss));
 
 val scan = !!! "bad input"
  (scan_char >> token Char ||
   scan_string >> token String ||
   scan_blanks1 >> token Space ||
-  SymbolPos.scan_comment !!! >> token Comment ||
+  Symbol_Pos.scan_comment !!! >> token Comment ||
   Scan.max token_leq
    (scan_keyword >> token Keyword)
    (scan_word >> token Word ||
     scan_real >> token Real ||
     scan_int >> token Int ||

   >> (fn cs => [token (Error msg) cs]);
 
 in
 
 fun source src =
-  SymbolPos.source (Position.line 1) src
-  |> Source.source SymbolPos.stopper (Scan.bulk scan) (SOME (false, recover));
-
-end;
-
-end;
-
+  Symbol_Pos.source (Position.line 1) src
+  |> Source.source Symbol_Pos.stopper (Scan.bulk scan) (SOME (false, recover));
+
+end;
+
+end;
+