diff options
| author | Alain Frisch <alain@frisch.fr> | 2011-12-29 17:35:15 +0000 |
|---|---|---|
| committer | Alain Frisch <alain@frisch.fr> | 2011-12-29 17:35:15 +0000 |
| commit | 12d6154526644fa241cfe30994b049b1e187b861 (patch) | |
| tree | 27c755cb82e8ff68ec1625485803bba8e28704b5 /camlp4 | |
| parent | 957db9c0f5d5bb78d3171cf7529989a3ea59a008 (diff) | |
Remove some useless declarations of recursive functions (now captured with warning 26).
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/unused_declarations@11975 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'camlp4')
| -rw-r--r-- | camlp4/Camlp4/Struct/Camlp4Ast2OCamlAst.ml | 7 | ||||
| -rw-r--r-- | camlp4/Camlp4/Struct/Grammar/Insert.ml | 4 |
2 files changed, 0 insertions, 11 deletions
diff --git a/camlp4/Camlp4/Struct/Camlp4Ast2OCamlAst.ml b/camlp4/Camlp4/Struct/Camlp4Ast2OCamlAst.ml index 9e3a83ddb..0200d1896 100644 --- a/camlp4/Camlp4/Struct/Camlp4Ast2OCamlAst.ml +++ b/camlp4/Camlp4/Struct/Camlp4Ast2OCamlAst.ml @@ -880,13 +880,6 @@ value varify_constructors var_names = in let vars = id_to_string vs in let ampersand_vars = List.map (fun x -> "&" ^ x) vars in - let rec merge_quoted_vars lst = - match lst with - [ - [x] -> x - | [x::y] -> <:ctyp<$x$ $merge_quoted_vars y$ >> - | [] -> assert False ] - in let ty' = varify_constructors vars (ctyp ty) in let mkexp = mkexp _loc in let mkpat = mkpat _loc in diff --git a/camlp4/Camlp4/Struct/Grammar/Insert.ml b/camlp4/Camlp4/Struct/Grammar/Insert.ml index 551ce95ec..24deb01f5 100644 --- a/camlp4/Camlp4/Struct/Grammar/Insert.ml +++ b/camlp4/Camlp4/Struct/Grammar/Insert.ml @@ -256,10 +256,6 @@ module Make (Structure : Structure.S) = struct Some t | None -> None ] | LocAct _ _ | DeadEnd -> None ] - and insert_new = - fun - [ [s :: sl] -> Node {node = s; son = insert_new sl; brother = DeadEnd} - | [] -> LocAct action [] ] in insert gsymbols tree ; |