Annotation of /sml/branches/SMLNJ/src/compiler/TopLevel/main/version.sml

Parent Directory | Revision Log

---

Revision 45 - (view) (download)

1 :	monnier	16	(* COPYRIGHT (c) 1996 Bell Laboratories *)
2 :			(* version.sml *)
3 :
4 :			structure Version : sig
5 :
6 :			val version : {
7 :			system : string, (* the system title *)
8 :			version_id : int list, (* the version number *)
9 :			date : string (* date of creation *)
10 :			}
11 :
12 :			val banner : string
13 :
14 :			end = struct
15 :
16 :			val version = {
17 :	monnier	45	system = "Standard ML of New Jersey (FLINT v1.3)",
18 :	monnier	16	version_id = [110,3],
19 :	monnier	45	date = "Rev. 03/13/98"
20 :	monnier	16	}
21 :
22 :			fun f ([], l) = l
23 :			| f ([x : int], l) = (Int.toString x)::l
24 :			| f (x::r, l) = (Int.toString x) :: "." :: f(r, l)
25 :
26 :			val banner = concat (
27 :			#system version :: ", Ver " ::
28 :			f (#version_id version, [", ", #date version]))
29 :
30 :			end
31 :

---

root@smlnj-gforge.cs.uchicago.edu	ViewVC Help
Powered by ViewVC 1.0.0