Rocksolid Light

Welcome to RetroBBS

mail  files  register  newsreader  groups  login

Message-ID:  

Try `stty 0' -- it works much better.


devel / comp.lang.scheme / How to type annotate in chicken-scheme.

SubjectAuthor
o How to type annotate in chicken-scheme.Alain De Vos

1
How to type annotate in chicken-scheme.

<ff474b1b-3595-4aac-b02d-28e43a46793en@googlegroups.com>

  copy mid

https://www.rocksolidbbs.com/devel/article-flat.php?id=199&group=comp.lang.scheme#199

  copy link   Newsgroups: comp.lang.scheme
X-Received: by 2002:a0c:ef8e:0:b0:53a:8c5d:fe22 with SMTP id w14-20020a0cef8e000000b0053a8c5dfe22mr334242qvr.103.1675069249231;
Mon, 30 Jan 2023 01:00:49 -0800 (PST)
X-Received: by 2002:a05:6808:6185:b0:364:951b:5b6c with SMTP id
dn5-20020a056808618500b00364951b5b6cmr3569222oib.294.1675069248938; Mon, 30
Jan 2023 01:00:48 -0800 (PST)
Path: i2pn2.org!i2pn.org!usenet.blueworldhosting.com!feed1.usenet.blueworldhosting.com!peer01.iad!feed-me.highwinds-media.com!news.highwinds-media.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.scheme
Date: Mon, 30 Jan 2023 01:00:48 -0800 (PST)
Injection-Info: google-groups.googlegroups.com; posting-host=2a02:a03f:e3ec:e300:9057:1f3b:7912:e3ba;
posting-account=VpiXgAkAAABF4-NnCw6cQzXTkQlLwvXJ
NNTP-Posting-Host: 2a02:a03f:e3ec:e300:9057:1f3b:7912:e3ba
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <ff474b1b-3595-4aac-b02d-28e43a46793en@googlegroups.com>
Subject: How to type annotate in chicken-scheme.
From: alaindvos@gmail.com (Alain De Vos)
Injection-Date: Mon, 30 Jan 2023 09:00:49 +0000
Content-Type: text/plain; charset="UTF-8"
X-Received-Bytes: 1140
 by: Alain De Vos - Mon, 30 Jan 2023 09:00 UTC

I have:
(define-record mxy x y)

I want to annotate that the fields x and y are integers.

1
server_pubkey.txt

rocksolid light 0.9.8
clearnet tor