Add support for zero-tuple

mjambon · mjambon · commit 8b3cf22ee640 · 2014-01-05T02:41:15.000-08:00
diff --git a/atd_parser.mly b/atd_parser.mly
@@ -136,6 +136,7 @@ cartesian_product:
 | x = annot_expr STAR l = cartesian_product   { x :: l }
 | x = annot_expr STAR y = annot_expr          { [ x; y ] }
 | x = annot_expr                              { [ x ] }
+|                                             { [] }
 ;
 
 annot_expr:
diff --git a/manual/atd-body.mlx b/manual/atd-body.mlx
@@ -380,7 +380,7 @@ discarding white\rval{space} and \rval{comment}s.
 
 \lval{expr-body} & ::= & \rval{args}? \rval{lident} & \\
                  &  |  & \str{(}
-                           \rval{cell} (\str{*} \rval{cell})*
+                           (\rval{cell} (\str{*} \rval{cell})*)?
                          \str{)} & \com{tuple type} \\
                  &  |  & \str{\{}
                            ((\rval{field} (\str{;} \rval{field})*) \str{;}?)?
diff --git a/test.atd b/test.atd
@@ -56,6 +56,9 @@ type tuple = (z * z * tuple option * kkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkk
 
 type tuple2 = (int * float)
 
+type singleton = (int)
+type zero_tuple = ()
+
 type 'a i1 =
     [ inherit 'a j2
     | I1 ]

Original file line number	Diff line number	Diff line change
`@@ -136,6 +136,7 @@ cartesian_product:`
`136`	`136`	`\| x = annot_expr STAR l = cartesian_product { x :: l }`
`137`	`137`	`\| x = annot_expr STAR y = annot_expr { [ x; y ] }`
`138`	`138`	`\| x = annot_expr { [ x ] }`
	`139`	`+\| { [] }`
`139`	`140`	`;`
`140`	`141`
`141`	`142`	`annot_expr:`