From: Richard W.M. Jones Date: Thu, 23 Feb 2012 15:06:43 +0000 (+0000) Subject: Remove dead code. X-Git-Tag: 0.0.3~6 X-Git-Url: http://git.annexia.org/?p=whenjobs.git;a=commitdiff_plain;h=2177768e4fe92533adc6ef76098312750576dc49 Remove dead code. --- 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 " 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