atds: Support top-level lists

That was easy.

Author: aij

atds/TODO

@@ -1,11 +1,6 @@
-Now:
-- update documentation for ArrayList and for variants
-
-Later:
 - produce an output tree using Atd.Indent rather fprintf
   (for clarity and atdj performance)
 - translate atd syntax tree first, then generate code instead of doing
   everything in the same pass (for clarity and atdj performance)
 - merge into atdgen
-- support top-level lists
 - add location information to exceptions (need own parser)

atds/src/atds_trans.ml

@@ -138,7 +138,7 @@ and trans_outer env (Atd.Ast.Type (_, (name, _, annots), atd_ty)) =
       trans_sum name env (loc, v, a)
   | Record (loc, v, a) ->
       trans_record name env (loc, v, a)
-  | Name _ | Tuple _ ->
+  | Name _ | Tuple _ | List _ ->
       trans_alias name env annots atd_ty
   | x -> type_not_supported x
 

atds/test/test.atd

@@ -1,6 +1,8 @@
 (* Sum (enum) *)
 type e = [ Alpha | Beta ]
 
+type es = e list
+
 (* Record with optional field *)
 type simple_record = {
   int_field: int;

atds/test/test.expected.scala

@@ -57,6 +57,9 @@ object E {
   }
 
 }
+
+type Es = List[E]
+
 case class SimpleRecord(
   int_field : Int,
   opt : Option[Boolean],