Rocksolid Light

Welcome to RetroBBS

mail  files  register  newsreader  groups  login

Message-ID:  

If A = B and B = C, then A = C, except where void or prohibited by law. -- Roy Santoro


devel / comp.lang.ada / Re: Ann: HAC v.0.2

SubjectAuthor
* Ann: HAC v.0.2Gautier write-only address
`- Re: Ann: HAC v.0.2Gautier write-only address

1
Ann: HAC v.0.2

<f7b62c84-c246-4f1b-9191-c91d159dfbdfn@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: comp.lang.ada
X-Received: by 2002:a05:600c:3505:b0:39c:93d4:5eec with SMTP id h5-20020a05600c350500b0039c93d45eecmr2956394wmq.179.1656142994959;
Sat, 25 Jun 2022 00:43:14 -0700 (PDT)
X-Received: by 2002:a25:784:0:b0:669:3a94:fe8b with SMTP id
126-20020a250784000000b006693a94fe8bmr2972890ybh.565.1656142994332; Sat, 25
Jun 2022 00:43:14 -0700 (PDT)
Path: i2pn2.org!i2pn.org!weretis.net!feeder8.news.weretis.net!proxad.net!feeder1-2.proxad.net!209.85.128.88.MISMATCH!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Sat, 25 Jun 2022 00:43:14 -0700 (PDT)
Injection-Info: google-groups.googlegroups.com; posting-host=2a02:1210:282b:1d00:301d:f002:8721:c9dd;
posting-account=gRqrnQkAAAAC_02ynnhqGk1VRQlve6ZG
NNTP-Posting-Host: 2a02:1210:282b:1d00:301d:f002:8721:c9dd
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <f7b62c84-c246-4f1b-9191-c91d159dfbdfn@googlegroups.com>
Subject: Ann: HAC v.0.2
From: gautier_niouzes@hotmail.com (Gautier write-only address)
Injection-Date: Sat, 25 Jun 2022 07:43:14 +0000
Content-Type: text/plain; charset="UTF-8"
 by: Gautier write-only a - Sat, 25 Jun 2022 07:43 UTC

HAC (HAC Ada Compiler) is a quick, small, open-source Ada
compiler, covering a subset of the Ada language.
HAC is itself fully programmed in Ada.

Web site: http://hacadacompiler.sf.net/
From there, links to sources, and an executable for Windows.

Source repositories:
#1 svn: https://sf.net/p/hacadacompiler/code/HEAD/tree/trunk/
#2 git: https://github.com/zertovitch/hac

* Main improvements since v.0.1:

- a program run by HAC can exchange data with the
programm running HAC, through dynamically registered call-backs
- see package HAC_Sys.Interfacing and demos:
src/apps/exchange_native_side.adb
src/apps/exchange_hac_side.adb

- the compiler checks that all choices in a CASE statement
are covered

- the compiler performs more compile-time range checks and
optimizes away useless run-time checks when it's safe to do so.

Enjoy!

Gautier

Re: Ann: HAC v.0.2

<65d240b2-d6cf-4dd2-b2d3-a6443c68ec22n@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: comp.lang.ada
X-Received: by 2002:ac8:5713:0:b0:31a:c706:50ef with SMTP id 19-20020ac85713000000b0031ac70650efmr16530197qtw.267.1656748115595;
Sat, 02 Jul 2022 00:48:35 -0700 (PDT)
X-Received: by 2002:a0d:ca90:0:b0:31b:8e8b:f026 with SMTP id
m138-20020a0dca90000000b0031b8e8bf026mr20864424ywd.217.1656748115125; Sat, 02
Jul 2022 00:48:35 -0700 (PDT)
Path: i2pn2.org!i2pn.org!weretis.net!feeder6.news.weretis.net!usenet.blueworldhosting.com!feed1.usenet.blueworldhosting.com!peer02.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.ada
Date: Sat, 2 Jul 2022 00:48:34 -0700 (PDT)
In-Reply-To: <f7b62c84-c246-4f1b-9191-c91d159dfbdfn@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=2a02:1210:282b:1d00:c52b:becd:ca51:a53e;
posting-account=gRqrnQkAAAAC_02ynnhqGk1VRQlve6ZG
NNTP-Posting-Host: 2a02:1210:282b:1d00:c52b:becd:ca51:a53e
References: <f7b62c84-c246-4f1b-9191-c91d159dfbdfn@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <65d240b2-d6cf-4dd2-b2d3-a6443c68ec22n@googlegroups.com>
Subject: Re: Ann: HAC v.0.2
From: gautier_niouzes@hotmail.com (Gautier write-only address)
Injection-Date: Sat, 02 Jul 2022 07:48:35 +0000
Content-Type: text/plain; charset="UTF-8"
X-Received-Bytes: 1420
 by: Gautier write-only a - Sat, 2 Jul 2022 07:48 UTC

There is a blog post about this release, with some explanations, here:
https://gautiersblog.blogspot.com/2022/06/hac-as-embedded-compiler.html
A list of releases can be found here:
https://sourceforge.net/p/hacadacompiler/news/


devel / comp.lang.ada / Re: Ann: HAC v.0.2

1
server_pubkey.txt

rocksolid light 0.9.81
clearnet tor