merged

driver.html

@@ -84,7 +84,7 @@
 }
 
 #disp_env_pane {
-   height: 150px;
+   height: 180px;
 }
 
 .CodeMirror-selected { background: #F3F781; }

generator/js_of_ast.ml

@@ -864,6 +864,7 @@ and js_of_path_longident path ident =
   | "&&"  -> "&&"
   | "||"  -> "||"
   (* for float: *)
+  | "="  -> "=="
   | "+."  -> "+"
   | "*."  -> "*"
   | "-."  -> "-"
@@ -880,8 +881,6 @@ and js_of_path_longident path ident =
   | "/"  -> "/"
   (* for string *)
   | "^"   -> "+" (* !!TODO: we want to claim ability to type our sublanguage, so we should not use this *)
-  (* for equality *)
-  | "="   -> "=="
   | res   -> 
       let res = if !generate_qualified_names && (Path.head path).Ident.name <> "Stdlib" 
                    then ppf_path path else res in

generator/tests/jsref/JsSyntax.ml

@@ -674,3 +674,39 @@ type codetype =
 | Coq_codetype_global [@f]
 | Coq_codetype_eval [@f]
 
+(*
+let thebound = 
+                                           ((fun p -> 1. +. (2. *. p))
+                                           ((fun p -> 1. +. (2. *. p))
+                                           ((fun p -> 1. +. (2. *. p))
+                                           ((fun p -> 1. +. (2. *. p))
+                                           ((fun p -> 1. +. (2. *. p))
+                                           ((fun p -> 1. +. (2. *. p))
+                                           ((fun p -> 1. +. (2. *. p))
+                                           ((fun p -> 1. +. (2. *. p))
+                                           ((fun p -> 1. +. (2. *. p))
+                                           ((fun p -> 1. +. (2. *. p))
+                                           ((fun p -> 1. +. (2. *. p))
+                                           ((fun p -> 1. +. (2. *. p))
+                                           ((fun p -> 1. +. (2. *. p))
+                                           ((fun p -> 1. +. (2. *. p))
+                                           ((fun p -> 1. +. (2. *. p))
+                                           ((fun p -> 1. +. (2. *. p))
+                                           ((fun p -> 1. +. (2. *. p))
+                                           ((fun p -> 1. +. (2. *. p))
+                                           ((fun p -> 1. +. (2. *. p))
+                                           ((fun p -> 1. +. (2. *. p))
+                                           ((fun p -> 1. +. (2. *. p))
+                                           ((fun p -> 1. +. (2. *. p))
+                                           ((fun p -> 1. +. (2. *. p))
+                                           ((fun p -> 1. +. (2. *. p))
+                                           ((fun p -> 1. +. (2. *. p))
+                                           ((fun p -> 1. +. (2. *. p))
+                                           ((fun p -> 1. +. (2. *. p))
+                                           ((fun p -> 1. +. (2. *. p))
+                                           ((fun p -> 1. +. (2. *. p))
+                                           ((fun p -> 1. +. (2. *. p))
+                                           ((fun p -> 1. +. (2. *. p))
+                                           1.)))))))))))))))))))))))))))))))
+
+*)
\ No newline at end of file

navig-driver.js

@@ -86,6 +86,7 @@ var source_files = [
   'var x = 2;\nx',
   '"use strict";\nvar x = 1;\nx++;\nx',
   '{} + {}',
+  'x = [1]',
   'throw 3',
   'var x = { a : 1, b : 2 }; ',
   'var x = { a : 1 };\n x.b = 2;\nx',
@@ -1405,8 +1406,9 @@ readSourceParseAndRun();
 //  $("#reach_condition").val("I_line()");
 //  button_test_handler();
 
-//setExample(3);
+//
 //stepTo(5873);
+setExample(3);
 
 function showCurrent() {
   console.log(tracer_items[tracer_pos]);