--- parser/parser.ml	2007/07/10 16:58:57	24
+++ parser/parser.ml	2007/07/10 16:59:08	26
@@ -69,7 +69,9 @@
     | e1 = expr; "@"; e2 = expr -> mk loc (Op ("@",[e1;e2])) ]
     |
     [ e1 = expr; "*"; e2 = expr -> mk loc (Op ("*",[e1;e2]))  ]
-
+    |
+    [ e = expr;  "."; l = [LIDENT | UIDENT] -> mk loc (Dot (e,Types.label l)) ]  
+ 
     | "no_appl" 
     [ c = const -> mk loc (Cst c)
     | "("; l = LIST1 expr SEP ","; ")" -> tuple loc l