Add list datatype into generator type table.

generator/js_of_ast.ml

@@ -14,13 +14,20 @@ open Types
 open Typedtree
   
 let hashtbl_size = 256
+
+(* val type_tbl : (string, string list * string list) Hashtbl.t
+ * Mapping constructor names to a pair of module list and constructor names list *)
 let type_tbl     = Hashtbl.create hashtbl_size
+(* Hard-code the special-syntax of the list datatype *)
+let _            = Hashtbl.add type_tbl "[]" ([], [])
+let _            = Hashtbl.add type_tbl "::" ([], ["head"; "tail"])
+
 let record_tbl   = Hashtbl.create hashtbl_size
 let module_list  = ref []
 let module_code  = ref []
 let module_created = ref []
 module L = Logged (Token_generator) (struct let size = 256 end)
-  
+
 (**
  * Debug-purpose functions
  *)

generator/stdlib_ml/stdlib.mli

+(* Following type definition for lists hardcoded into OCaml/generator:
+type 'a list =
+| []
+| :: [@f head, tail] of 'a * 'a list
+*)
+
 val add : 'a -> 'b -> 'c
 val ( + ) : 'a -> 'b -> 'c
 val sub : 'a -> 'a -> 'a