From ab29028d5fa3aa14e043fa133e481fe2c165eca1 Mon Sep 17 00:00:00 2001
From: Vladimir Shabanov <vshabanoff@gmail.com>
Date: Thu, 15 Jun 2017 18:02:48 +0300
Subject: Option to prefix all user JavaScript FFI functions with a module name
 (jsModule .urp option).

---
 src/compiler.sig | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/compiler.sig')

diff --git a/src/compiler.sig b/src/compiler.sig
index a4b3e562..952c7070 100644
--- a/src/compiler.sig
+++ b/src/compiler.sig
@@ -48,6 +48,7 @@ signature COMPILER = sig
          benignEffectful : Settings.ffi list,
          clientOnly : Settings.ffi list,
          serverOnly : Settings.ffi list,
+         jsModule : string option,
          jsFuncs : (Settings.ffi * string) list,
          rewrites : Settings.rewrite list,
          filterUrl : Settings.rule list,
-- 
cgit v1.2.3