tuned some names;
authorwenzelm
Mon Mar 09 16:09:32 1998 +0100 (1998-03-09)
changeset 469492e12a04dca7
parent 4693 2e47ea2c6109
child 4695 6aa25ee18fc4
tuned some names;
src/Pure/term.ML
     1.1 --- a/src/Pure/term.ML	Mon Mar 09 16:09:06 1998 +0100
     1.2 +++ b/src/Pure/term.ML	Mon Mar 09 16:09:32 1998 +0100
     1.3 @@ -122,8 +122,8 @@
     1.4    val maxidx_of_typ: typ -> int
     1.5    val maxidx_of_typs: typ list -> int
     1.6    val maxidx_of_term: term -> int
     1.7 -  val scan_radixint: int * string list -> int * string list
     1.8 -  val scan_int: string list -> int * string list
     1.9 +  val read_radixint: int * string list -> int * string list
    1.10 +  val read_int: string list -> int * string list
    1.11    val variant: string list -> string -> string
    1.12    val variantlist: string list * string list -> string list
    1.13    val variant_abs: string * typ * term -> string * term
    1.14 @@ -674,8 +674,8 @@
    1.15  (*Dummy type for parsing and printing.  Will be replaced during type inference. *)
    1.16  val dummyT = Type("dummy",[]);
    1.17  
    1.18 -(*scan a numeral of the given radix, normally 10*)
    1.19 -fun scan_radixint (radix: int, cs) : int * string list =
    1.20 +(*read a numeral of the given radix, normally 10*)
    1.21 +fun read_radixint (radix: int, cs) : int * string list =
    1.22    let val zero = ord"0"
    1.23        val limit = zero+radix
    1.24        fun scan (num,[]) = (num,[])
    1.25 @@ -685,7 +685,7 @@
    1.26  	      else (num, c::cs)
    1.27    in  scan(0,cs)  end;
    1.28  
    1.29 -fun scan_int cs = scan_radixint(10,cs);
    1.30 +fun read_int cs = read_radixint(10,cs);
    1.31  
    1.32  
    1.33  (*** Printing ***)