| | 1 | (* L3 Compiler |
| | 2 | * Stringreforaries |
| | 3 | * Like temporaries, except more different |
| | 4 | * Author: Joshua Wise <jwise@cs.cmu.edu> |
| | 5 | *) |
| | 6 | |
| | 7 | signature STRINGREF = |
| | 8 | sig |
| | 9 | type stringref |
| | 10 | |
| | 11 | val reset : unit -> unit (* resets stringref numbering *) |
| | 12 | val new : string -> stringref (* returns a unique new stringref *) |
| | 13 | val name : stringref -> string (* returns the name of a stringref *) |
| | 14 | val compare : stringref * stringref -> order (* comparison function *) |
| | 15 | val all : unit -> (stringref * string) list |
| | 16 | end |
| | 17 | |
| | 18 | structure Stringref :> STRINGREF = |
| | 19 | struct |
| | 20 | type stringref = int |
| | 21 | |
| | 22 | local |
| | 23 | val counter = ref 1 |
| | 24 | val strings = ref [] |
| | 25 | in |
| | 26 | (* warning: calling reset() may jeopardize uniqueness of stringrefs! *) |
| | 27 | fun reset () = ( counter := 1 ; strings := [] ) |
| | 28 | fun new (s : string) = !counter before ( strings := (!counter, s) :: !strings ; counter := !counter + 1 ) |
| | 29 | fun all () = !strings |
| | 30 | end |
| | 31 | |
| | 32 | fun name t = "S" ^ Int.toString t |
| | 33 | |
| | 34 | fun compare (t1,t2) = Int.compare (t1,t2) |
| | 35 | end |
git.joshuawise.com / snipe.git / blame_incremental