X-Git-Url: http://git.annexia.org/?p=whenjobs.git;a=blobdiff_plain;f=lib%2Fpa_when.ml;h=764cabc22267c799b383a6010e1c8549e5f035a9;hp=da51e20015b963c728adc57898eb9fc3f4619094;hb=2177768e4fe92533adc6ef76098312750576dc49;hpb=76e68068f22a67c788f14a7c9404db7f7514da49

diff --git a/lib/pa_when.ml b/lib/pa_when.ml
index da51e20..764cabc 100644
--- a/lib/pa_when.ml
+++ b/lib/pa_when.ml
@@ -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