diff options
| author | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2013-09-30 13:54:59 +0000 |
|---|---|---|
| committer | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2013-09-30 13:54:59 +0000 |
| commit | 5f68db9cf0abc36fd0e392e5bc3d426cb6ae7784 (patch) | |
| tree | 9084e2861ff435ced1f15bf1b3dca7effc129109 /tools | |
| parent | 4c5e9bbe6b98d6138f7943f7b017fbd411f109c8 (diff) | |
| parent | cc31694f7ca1043080fc290e5a82520513cf7f94 (diff) | |
Merge trunk at revision 14200. Now everything works except private types
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/module-alias@14201 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/untypeast.ml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/tools/untypeast.ml b/tools/untypeast.ml index e5f037515..ccbd3bb8e 100644 --- a/tools/untypeast.ml +++ b/tools/untypeast.ml @@ -329,7 +329,9 @@ and untype_signature_item item = | Tsig_exception decl -> Psig_exception (untype_constructor_declaration decl) | Tsig_module md -> - Psig_module {pmd_name = md.md_name; pmd_type = untype_module_type md.md_type; pmd_attributes = md.md_attributes} + Psig_module {pmd_name = md.md_name; pmd_type = untype_module_type md.md_type; + pmd_attributes = md.md_attributes; + } | Tsig_recmodule list -> Psig_recmodule (List.map (fun md -> {pmd_name = md.md_name; pmd_type = untype_module_type md.md_type; |