[tiger.ml.git] / compiler / src / exe / tigert.ml

type suite =
  | All  of {dir : string}
  | Book of {dir : string}
  | Micro

let () =
  let suite = ref Micro in
  let spec = ref [] in
  Arg.parse_dynamic
    spec
    (function
    | "micro" ->
        spec := []
    | "book" ->
        spec := [("-dir", Arg.String (fun dir -> suite := Book {dir}), "")]
    | "all" ->
        spec := [("-dir", Arg.String (fun dir -> suite := All  {dir}), "")]
    | _ -> ()
    )
    "";
  let suite =
    match !suite with
    | All  {dir} -> Tiger.Test_cases.all  ~dir
    | Book {dir} -> Tiger.Test_cases.book ~dir
    | Micro      -> Tiger.Test_cases.micro
  in
  Tiger.Test.run suite
Commit	Line	Data
fca49f4f SK	1	type suite =
	2	\| All of {dir : string}
	3	\| Book of {dir : string}
	4	\| Micro
	5
d3bdde4b	6	let () =
fca49f4f SK	7	let suite = ref Micro in
	8	let spec = ref [] in
	9	Arg.parse_dynamic
	10	spec
	11	(function
	12	\| "micro" ->
	13	spec := []
	14	\| "book" ->
	15	spec := [("-dir", Arg.String (fun dir -> suite := Book {dir}), "")]
	16	\| "all" ->
	17	spec := [("-dir", Arg.String (fun dir -> suite := All {dir}), "")]
	18	\| _ -> ()
	19	)
	20	"";
	21	let suite =
	22	match !suite with
	23	\| All {dir} -> Tiger.Test_cases.all ~dir
	24	\| Book {dir} -> Tiger.Test_cases.book ~dir
	25	\| Micro -> Tiger.Test_cases.micro
	26	in
	27	Tiger.Test.run suite