Remove dead code.
authorRichard W.M. Jones <rjones@redhat.com>
Thu, 23 Feb 2012 15:06:43 +0000 (15:06 +0000)
committerRichard W.M. Jones <rjones@redhat.com>
Thu, 23 Feb 2012 15:13:33 +0000 (15:13 +0000)
lib/pa_when.ml

index da51e20..764cabc 100644 (file)
@@ -177,26 +177,6 @@ let period_parser =
         )
       | _ -> raise Stream.Failure
     )
-
-(*
-(* This hand-written parser looks for "job <name>" before a statement. *)
-let optjob =
-  Gram.Entry.of_parser "optjob"
-    (fun stream ->
-      let info, name =
-        match Stream.npeek 2 stream with
-        | [ LIDENT "job", info; STRING (_,name), _ ] ->
-          Stream.junk stream;
-          Stream.junk stream;
-          info, name
-        | (_, info) :: _ ->
-          (* Job is unnamed so generate a unique internal name. *)
-          info, unique_job_name ()
-        | _ -> assert false in
-      let _loc = Gram.token_location info in
-      <:expr< $str:name$ >>
-    )
-*)
 ;;
 
 EXTEND Gram