--- a/src/urweb.grm	Sat Aug 22 16:32:31 2009 -0400
+++ b/src/urweb.grm	Tue Aug 25 13:57:56 2009 -0400
@@ -1087,6 +1087,13 @@
                                                        (EField (e, ident), loc))
                                                    (EVar (#1 path, #2 path, Infer), s (pathleft, pathright)) idents
                                          end)
+       | LPAREN eexp RPAREN DOT idents  (let
+                                             val loc = s (LPARENleft, identsright)
+                                         in
+                                             foldl (fn (ident, e) =>
+                                                       (EField (e, ident), loc))
+                                                   eexp idents
+                                         end)
        | AT path DOT idents             (let
                                              val loc = s (ATleft, identsright)
                                          in