.

manuel-serrano · Dec 15, 2023 · 7d1b8d5 · 7d1b8d5
1 parent 8658d6e
commit 7d1b8d5
Show file tree

Hide file tree

Showing 3 changed files with 5 additions and 5 deletions.
diff --git a/doc/doc.json b/doc/doc.json
@@ -5,7 +5,7 @@
    "github": "https://github.com/manuel-serrano/hiphop.git"
    "urlbase": "ftp://ftp-sop.inria.fr/indes/fp/HipHop",
    "homepage": "http://hop.inria.fr/hiphop",
-   "date": "14 December 2023",
+   "date": "15 December 2023",
    "chapters": [ { "name": "Home", "icon": "glyphicon-home", "href": "index.html" },
 		 { "name": "Download", "icon": "glyphicon-cloud-download", "href": "download.html" },
 		 { "name": "Dev", "icon": "glyphicon-cog", "href": "dev.html" },

diff --git a/lib/compiler.js b/lib/compiler.js
@@ -3,7 +3,7 @@
 /*    -------------------------------------------------------------    */
 /*    Author      :  Colin Vidal, Manuel Serrano                       */
 /*    Creation    :  Mon Jul 16 18:06:28 2018                          */
-/*    Last change :  Thu Dec 14 07:56:41 2023 (serrano)                */
+/*    Last change :  Fri Dec 15 15:37:47 2023 (serrano)                */
 /*    Copyright   :  2018-23 Inria                                     */
 /*    -------------------------------------------------------------    */
 /*    HipHop compiler                                                  */
@@ -1821,9 +1821,9 @@ function compile(machine, ast_node) {
 	 dumpNets(machine, true, ".nets+.json");
       }
    }
-   let { loc, size, signals, json, posFlag} = 
+   let { loc, size, signals, json, posFlag } = 
       causality.findCausalityErrorDeep(machine, true);
-   if (size > 0 && machine.verbose >= 2) {
+   if (size > 0 && machine.verbose >= 3) {
       console.log(`Warning: Potential causality cycle`, json);
 } else
    if (size < 0) {

diff --git a/test/samelocalname.hh.js b/test/samelocalname.hh.js
@@ -1,7 +1,7 @@
 "use @hop/hiphop"
 "use hopscript"
 
-import * as hh from "@host/hiphost";
+import * as hh from "@hop/hiphop";
 import { format } from "util";
 
 hiphop module prg() {