Trivial improvements to the name generation

vult-dsp · Jul 14, 2020 · e6c9df5 · e6c9df5
1 parent 46a4787
commit e6c9df5
Show file tree

Hide file tree

Showing 4 changed files with 5 additions and 5 deletions.
diff --git a/src/generators/generate.ml b/src/generators/generate.ml
@@ -202,8 +202,8 @@ let makeParams (args : args) (params : params) (used : used_function Maps.IdMap.
       { repl = params.repl
       ; code = args.code
       ; cleanup = args.roots <> []
-      ; functions = NameTable.make ()
-      ; variables = NameTable.make ()
+      ; functions = NameTable.make 0
+      ; variables = NameTable.make 1
       ; shorten = args.shorten
       ; used
       }

diff --git a/src/generators/progToCode.ml b/src/generators/progToCode.ml
@@ -443,7 +443,7 @@ let isRoot used =
    | _ -> false
 
 
-let refreshTable (p : parameters) = { p with variables = NameTable.make () }
+let refreshTable (p : parameters) = { p with variables = NameTable.make 1 }
 
 let rec convertStmt (p : parameters) (s : stmt) : cstmt =
    match s with

diff --git a/src/util/nameTable.ml b/src/util/nameTable.ml
@@ -3,7 +3,7 @@ type t =
    ; table : (string, string) Hashtbl.t
    }
 
-let make () = { n = Random.State.make [| 0 |]; table = Hashtbl.create 128 }
+let make seed = { n = Random.State.make [| seed |]; table = Hashtbl.create 128 }
 
 let generateChar t _ =
    let base = if Random.State.bool t.n then 97 else 65 in

diff --git a/src/version.ml b/src/version.ml
@@ -1 +1 @@
-let version = "\nv0.4.10\n"
+let version = "\nv0.4.11\n"