diff options
| author | Gabriel Scherer <gabriel.scherer@gmail.com> | 2015-03-08 10:22:32 +0000 |
|---|---|---|
| committer | Gabriel Scherer <gabriel.scherer@gmail.com> | 2015-03-08 10:22:32 +0000 |
| commit | 786e69e846974324dc265a008907a6f432f047af (patch) | |
| tree | 8663c41b49aaec30127dd313fd56242692eb5c6e /typing/untypeast.mli | |
| parent | 3ad7f526a23b98971275dac6a7939fb174adbd57 (diff) | |
| download | ocaml-786e69e846974324dc265a008907a6f432f047af.tar.gz | |
move tools/untypeast.ml to typing/untypeast.ml
This makes them available in compiler-libs, enabling various uses
outside the compiler.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15886 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'typing/untypeast.mli')
| -rw-r--r-- | typing/untypeast.mli | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/typing/untypeast.mli b/typing/untypeast.mli new file mode 100644 index 0000000000..efd0a031d5 --- /dev/null +++ b/typing/untypeast.mli @@ -0,0 +1,20 @@ +(**************************************************************************) +(* *) +(* OCaml *) +(* *) +(* Thomas Gazagnaire (OCamlPro), Fabrice Le Fessant (INRIA Saclay) *) +(* *) +(* Copyright 2007 Institut National de Recherche en Informatique et *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) +(* *) +(**************************************************************************) + +val untype_structure : Typedtree.structure -> Parsetree.structure +val untype_signature : Typedtree.signature -> Parsetree.signature +val untype_expression : Typedtree.expression -> Parsetree.expression +val untype_type_declaration : + Typedtree.type_declaration -> Parsetree.type_declaration +val untype_module_type : Typedtree.module_type -> Parsetree.module_type + +val lident_of_path : Path.t -> Longident.t |