From 332c85041cc05f841c5a1f8cb8a67a552d1bce09 Mon Sep 17 00:00:00 2001
From: Thomas Wood <thomas.wood09@imperial.ac.uk>
Date: Thu, 1 Oct 2015 21:19:49 +0100
Subject: [PATCH] Module application support
---
generator/js_of_ast.ml | 7 +++++--
1 file changed, 5 insertions(+), 2 deletions(-)
diff --git a/generator/js_of_ast.ml b/generator/js_of_ast.ml
index 68b6e6a..7a424ee 100644
--- a/generator/js_of_ast.ml
+++ b/generator/js_of_ast.ml
@@ -198,6 +198,9 @@ let ppf_ident_name =
let ppf_ident i =
i |> Ident.name |> ppf_ident_name
+let ppf_path =
+ Path.name
+
let ppf_module content =
Printf.sprintf "{@,%s@,}" content
@@ -217,8 +220,8 @@ and js_of_submodule m =
match m.mod_desc with
| Tmod_structure s -> ppf_module (js_of_structure s)
| Tmod_functor (id, _, mtyp, mexp) -> ppf_function (ppf_ident id) (js_of_submodule mexp)
- | Tmod_ident _ -> out_of_scope loc "module ident"
- | Tmod_apply _ -> out_of_scope loc "module apply"
+ | Tmod_apply (m1, m2, _) -> ppf_apply (js_of_submodule m1) (js_of_submodule m2)
+ | Tmod_ident (p,_) -> ppf_path p
| Tmod_constraint _ -> out_of_scope loc "module constraint"
| Tmod_unpack _ -> out_of_scope loc "module unpack"
--
GitLab