Received: from localhost (daemon@localhost) 
        by CS.UTK.EDU with SMTP (cf v2.9s-UTK)
	id RAA26094; Mon, 25 Mar 1996 17:02:14 -0500
Received: by CS.UTK.EDU (bulk_mailer v1.4); Mon, 25 Mar 1996 17:01:41 -0500
Received: from wilma.cs.utk.edu (WILMA.CS.UTK.EDU [128.169.94.141]) by CS.UTK.EDU with ESMTP (cf v2.9s-UTK)
	id RAA26050; Mon, 25 Mar 1996 17:01:39 -0500
Received: from LOCALHOST by wilma.cs.utk.edu with SMTP (cf v2.11c-UTK)
          id RAA18491; Mon, 25 Mar 1996 17:01:37 -0500
Message-Id: <199603252201.RAA18491@wilma.cs.utk.edu>
X-Mailer: exmh version 1.6.5 12/11/95
X-URI: http://www.cs.utk.edu/~moore/
From: Keith Moore <moore@cs.utk.edu>
To: Chris Newman <chrisn+@cmu.edu>
cc: drums@cs.utk.edu, moore@cs.utk.edu
Subject: Re: Domain literals 
In-reply-to: Your message of "Mon, 25 Mar 1996 16:20:51 EST."
             <827788851.1232.0@nifty.andrew.cmu.edu> 
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Date: Mon, 25 Mar 1996 17:01:31 -0500
Sender: moore@cs.utk.edu

> I propose we change the grammar from:
> 
>      domain      ::=  sub-domain *("." sub-domain)
>      sub-domain  ::=  domain-ref / domain-literal
> 
> to:
> 
>      domain      ::=  domain-name / domain-literal
>      domain-name ::=  domain-ref *("." domain-ref)

This looks good to me.

(I take it domain-ref ::= atom ?)

Keith