Re: DRAFT: Names spec

Mark S. Miller wrote: > 2008/4/6 Jeff Dyer <[EMAIL PROTECTED] >: > > > Every unforgeable namespace is considered non-equal to every other > namespace. > > *Implementation* > > fun compareNamespaces (n1: NAMESPACE, n2: NAMESPACE) : bool = > case (n1

Re: DRAFT: Names spec

2008/4/6 Jeff Dyer <[EMAIL PROTECTED]>: > Every unforgeable namespace is considered non-equal to every other > namespace. > > *Implementation* > > fun compareNamespaces (n1: NAMESPACE, n2: NAMESPACE) : bool = case (n1, n2) of (ForgeableNamespace s1, ForgeableNamespace s2) => s1 = s2 | _ => false

Re: DRAFT: Names spec

Jeff Dyer wrote: > Thanks for the notes. I'm drafting an update based on comments from Lars and > Graydon, so additional fixes are coming. I went through the rest of the document. The concepts look good so far. Waldemar ___ Es4-discuss mailing list

Re: DRAFT: Names spec

Thanks for the notes. I'm drafting an update based on comments from Lars and Graydon, so additional fixes are coming. Jd On 4/15/08 5:58 PM, Waldemar Horwat wrote: > My comments on 1.1: > > fun compareNamespaces (n1: NAMESPACE, n2: NAMESPACE) : bool = > case (n1, n2) of > (Forgeabl

Re: DRAFT: Names spec

My comments on 1.1: fun compareNamespaces (n1: NAMESPACE, n2: NAMESPACE) : bool = case (n1, n2) of (ForgeableNamespace s1, ForgeableNamespace s2) => s1 = s2 | _ => false An unforgeable namespace is not equal to itself??? (As an expository note, I don't like the name "compareFoo