diff options
author | Damien Doligez <damien.doligez-inria.fr> | 2002-07-23 14:12:03 +0000 |
---|---|---|
committer | Damien Doligez <damien.doligez-inria.fr> | 2002-07-23 14:12:03 +0000 |
commit | 37bf95c248f7f8e9f0f2557224837e530c428e93 (patch) | |
tree | 1fe95869eaf97ba5888bb1f2a7163a4d6770d4f3 /ocamldoc/odoc_parser.mly | |
parent | 30fdb7585514c6557ad38b87f8bfe079c322edc4 (diff) |
detabisation
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5029 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'ocamldoc/odoc_parser.mly')
-rw-r--r-- | ocamldoc/odoc_parser.mly | 46 |
1 files changed, 23 insertions, 23 deletions
diff --git a/ocamldoc/odoc_parser.mly b/ocamldoc/odoc_parser.mly index 4603ed3a6..13e111101 100644 --- a/ocamldoc/odoc_parser.mly +++ b/ocamldoc/odoc_parser.mly @@ -92,20 +92,20 @@ param: (* we only look for simple id, no pattern nor tuples *) let s = $2 in match Str.split (Str.regexp (blank^"+")) s with - [] + [] | _ :: [] -> - raise (Failure "usage: @param id description") + raise (Failure "usage: @param id description") | id :: _ -> - print_DEBUG ("Identificator "^id); - let reg = identchar^"+" in - print_DEBUG ("reg="^reg); - if Str.string_match (Str.regexp reg) id 0 then - let remain = String.sub s (String.length id) ((String.length s) - (String.length id)) in - print_DEBUG ("T_PARAM Desc remain="^remain); - let remain2 = Str.replace_first (Str.regexp ("^"^blank^"+")) "" remain in - params := !params @ [(id, remain2)] - else - raise (Failure (id^" is not a valid parameter identificator in \"@param "^s^"\"")) + print_DEBUG ("Identificator "^id); + let reg = identchar^"+" in + print_DEBUG ("reg="^reg); + if Str.string_match (Str.regexp reg) id 0 then + let remain = String.sub s (String.length id) ((String.length s) - (String.length id)) in + print_DEBUG ("T_PARAM Desc remain="^remain); + let remain2 = Str.replace_first (Str.regexp ("^"^blank^"+")) "" remain in + params := !params @ [(id, remain2)] + else + raise (Failure (id^" is not a valid parameter identificator in \"@param "^s^"\"")) } ; author: @@ -129,19 +129,19 @@ raise_exc: (* isolate the exception construtor name *) let s = $2 in match Str.split (Str.regexp (blank^"+")) s with - [] + [] | _ :: [] -> - raise (Failure "usage: @raise Exception description") + raise (Failure "usage: @raise Exception description") | id :: _ -> - print_DEBUG ("exception "^id); - let reg = uppercase^identchar^"*"^"\\(\\."^uppercase^identchar^"*\\)*" in - print_DEBUG ("reg="^reg); - if Str.string_match (Str.regexp reg) id 0 then - let remain = String.sub s (String.length id) ((String.length s) - (String.length id)) in - let remain2 = Str.replace_first (Str.regexp ("^"^blank^"+")) "" remain in - raised_exceptions := !raised_exceptions @ [(id, remain2)] - else - raise (Failure (id^" is not a valid exception constructor in \"@raise "^s^"\"")) + print_DEBUG ("exception "^id); + let reg = uppercase^identchar^"*"^"\\(\\."^uppercase^identchar^"*\\)*" in + print_DEBUG ("reg="^reg); + if Str.string_match (Str.regexp reg) id 0 then + let remain = String.sub s (String.length id) ((String.length s) - (String.length id)) in + let remain2 = Str.replace_first (Str.regexp ("^"^blank^"+")) "" remain in + raised_exceptions := !raised_exceptions @ [(id, remain2)] + else + raise (Failure (id^" is not a valid exception constructor in \"@raise "^s^"\"")) } ; return: |