Replace Sys.time by Unix.time in main.ml.

[Faustine.git] / interpreter / symbol.ml

diff --git a/interpreter/symbol.ml b/interpreter/symbol.ml
index 4d58697..f523823 100644 (file)
--- a/interpreter/symbol.ml
+++ b/interpreter/symbol.ml
@@ -68,7 +68,18 @@ let dictionary_of_symbol : symbol -> (int * int) * int * string =
     |Select2    ->  ((3, 1), 0, "Select2")
     |Select3     ->  ((4, 1), 0, "Select3")
     |Rdtable    ->  ((3, 1), rdtable_memory_length, "Rdtalbe")
-    |Rwtable    ->  ((5, 1), rwtable_memory_length, "Rwtable");;
+    |Rwtable    ->  ((5, 1), rwtable_memory_length, "Rwtable")
+    |Button      ->  ((0, 1), 0, "Button")
+    |Checkbox    ->  ((0, 1), 0, "Checkbox")
+    |Vslider     ->  ((0, 1), 0, "Vslider")
+    |Hslider     ->  ((0, 1), 0, "Hslider")
+    |Vgroup      ->  ((0, 1), 0, "Vgroup")
+    |Hgroup      ->  ((0, 1), 0, "Hgroup")
+    |Tgroup      ->  ((0, 1), 0, "Tgroup")
+    |Hbargraph   ->  ((0, 1), 0, "Hbargraph")
+    |Vbargraph   ->  ((0, 1), 0, "Vbargraph")
+    |Nentry      ->  ((0, 1), 0, "Nentry")
+    |Attach      ->  ((2, 1), 0, "Attach") ;;
 
 let dimension_of_symbol : symbol -> int * int =
   fun (s : symbol) ->