From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-0.9 required=5.0 tests=BAYES_00,FORGED_GMAIL_RCVD,
	FREEMAIL_FROM autolearn=no autolearn_force=no version=3.4.4
X-Google-Thread: 103376,24d7acf9b853aac8
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII
Path: 
 g2news1.google.com!postnews.google.com!v8g2000yqe.googlegroups.com!not-for-mail
From: Natacha Kerensikova <lithiumcat@gmail.com>
Newsgroups: comp.lang.ada
Subject: Re: S-expression I/O in Ada
Date: Sat, 14 Aug 2010 03:27:15 -0700 (PDT)
Organization: http://groups.google.com
Message-ID: <8f73cb40-3988-4039-9ffa-822d703f4a1d@v8g2000yqe.googlegroups.com>
References: <547afa6b-731e-475f-a7f2-eaefefb25861@k8g2000prh.googlegroups.com>
 <87aap6wcdx.fsf@ludovic-brenta.org> <87vd7jliyi.fsf@ludovic-brenta.org>
 <699464f5-7f04-4ced-bc09-6ffc42c5322a@w30g2000yqw.googlegroups.com>
 <87k4nylb8c.fsf@ludovic-brenta.org>
 <4c617774$0$6765$9b4e6d93@newsspool3.arcor-online.net>
 <2610d347-27cf-4c88-ac18-84f73c7da858@h32g2000yqm.googlegroups.com>
 <i41g2p$1sfo$1@adenine.netfront.net> <878w4blhzj.fsf@ludovic-brenta.org>
 <85fc256b-bb92-43f5-9de7-5148f5b23622@k10g2000yqa.googlegroups.com>
 <87vd7fk1ar.fsf@ludovic-brenta.org>
 <518d22c5-2a6e-49b3-8022-b82f4402f216@m1g2000yqo.googlegroups.com>
 <d5637cd3-acf5-48f2-9b15-f0be88544dbb@z10g2000yqb.googlegroups.com>
NNTP-Posting-Host: 178.83.214.115
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable
X-Trace: posting.google.com 1281781635 26335 127.0.0.1 (14 Aug 2010 10:27:15
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Sat, 14 Aug 2010 10:27:15 +0000 (UTC)
Complaints-To: groups-abuse@google.com
Injection-Info: v8g2000yqe.googlegroups.com; posting-host=178.83.214.115;
 posting-account=aMKgaAoAAAAoW4eaAiNFNP4PjiOifrN6
User-Agent: G2/1.0
X-HTTP-UserAgent: Mozilla/5.0 (X11; U; FreeBSD i386; en-US; rv:1.9.2.3)
 Gecko/20100524 Firefox/3.6.3,gzip(gfe)
Xref: g2news1.google.com comp.lang.ada:13270
Date: 2010-08-14T03:27:15-07:00
List-Id: <comp.lang.ada>

On Aug 13, 11:08=A0am, Ludovic Brenta <ludo...@ludovic-brenta.org>
wrote:
> Natacha Kerensikova wrote on comp.lang.ada:
> > Consider these two objects:
>
> > L--A--tcp-connect
> > =A0 =A0|
> > =A0 =A0L--A--host
> > =A0 =A0| =A0|
> > =A0 =A0| =A0A--foo.example
>
> This part cannot exist: the second L cannot have more than 2 children;
> here you gave it three (A, A and the next L). The dot notation would
> have prevented that mistake :)

No, it has only two children: the A connected to "host" and the L you
haven't quoted. All the nodes in both my graphs have exactly one
"right child", which is their value, and zero or one (but not more)
"lower child" being the next element in the list, i.e. the second
argument of cons.

So if you really want a dot notation, here is the first object:
(tcp-connect .
   (
       (host . (foo.example . nil))
   .
      ((port . (80          . nil)) . nil)
   )
)

while the second one is:

(tcp-connect .
   (
      (
          (host . (foo.example . nil))
      .
         ((port . (80          . nil)) . nil)
      )
   .
      nil
   )
)

I hope my vertical alignment will make these cons pairs clear enough.


Hoping to finally understand,
Natacha