(fix) Allow init clause to be part of main dispatch

Signed-off-by: Jerome Simeon <[email protected]>
accordproject · Jun 15, 2018 · f0c6fab · f0c6fab
1 parent ceeaf84
commit f0c6fab
Show file tree

Hide file tree

Showing 3 changed files with 10 additions and 9 deletions.
diff --git a/mechanization/Translation/ErgoNNRCtoJavaScriptCicero.v b/mechanization/Translation/ErgoNNRCtoJavaScriptCicero.v
@@ -40,7 +40,8 @@ Section ErgoNNRCtoJavaScriptCicero.
           ++ " * @param {" ++ request_type ++ "} context.request - the incoming request" ++ eol
           ++ " * @param {" ++ response_type ++ "} context.response - the response" ++ eol
           ++ " * @param {" ++ emits_type ++ "} context.emit - the emitted events" ++ eol
-          ++ (if string_dec clause_name clause_init_name then " * @AccordClauseLogicInit" else " * @AccordClauseLogic") ++ eol
+          ++ (if string_dec clause_name clause_init_name then " * @AccordClauseLogicInit" ++ eol else "")
+          ++ " * @AccordClauseLogic" ++ eol
           ++ " */" ++ eol.
 
   (** Note: this adjusts the external interface to that currently expected in Cicero. Namely:

diff --git a/packages/ergo-cli/lib/ergoc-lib.js b/packages/ergo-cli/lib/ergoc-lib.js
diff --git a/packages/ergo-compiler/lib/ergo-core.js b/packages/ergo-compiler/lib/ergo-core.js