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

Web site: http://hacadacompiler.sf.net/

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.095:

- range checks on discrete subtype assignment (:=) and
conversion
- short-circuit logical operators: "and then", "or else"
- for S = Scalar subtype: S'First, S'Last, S'Succ, S'Pred, S'Pos,
S'Val, S'Image, S'Value, S'Range attributes
- for A = array object or array subtype: A'First [(N)],
A'Last [(N)], A'Range [(N)], A'Length [(N)] attributes
- "&", "<", ">", "=", "/=" operators defined for the String type
(additionally to HAL.VString type)
- CASE choices admit ranges
- forward declarations for subprograms

Enjoy!

Gautier

PS: for Windows there is an integrated editor that embeds HAC:
LEA: http://l-e-a.sf.net

Thanks Gautier for the latest updates to HAC.

I just ran the gallery test on my macOS and I got a constraint error
while running attributes.adb. Here is the output:

Attributes Standard subtypes are indicated with '*'
========== HAL subtypes are indicated with '#'

S'First and S'Last attributes for scalar subtype S:

* Integer's bounds : -9223372036854775808 .. 9223372036854775807
* Natural's bounds : 0 .. 9223372036854775807
* Positive's bounds : 1 .. 9223372036854775807
Some_Range's bounds : -123 .. 456
* Boolean's bounds : False .. True
A_to_Z's bounds : A .. Z

Execution of ../hac terminated by unhandled exception
raised CONSTRAINT_ERROR : erroneous memory access
Load address: 0x10f8a0000
Call stack traceback locations:
0x10f9d02a7 0x7ff80fc2ae2b 0x10f9bcee4

If I comment out line number 47 (which uses Real'First and Real'Last)
then the code runs without error.

For gnatmake I used the AdaCore 2019 version,

GNATMAKE Community 2019 (20190517-83)
Copyright (C) 1995-2019, Free Software Foundation, Inc.

and I'm running this on macOS 12.1

Cheers,
Leo

Hi Leo,
Thanks for the feedback. I ran into issues using an old version of GNAT (not the same year, for another machine, ...) so hopefully my fix solves your issue(s) as well.
The fix is commit d523657 on git/github, 588 on svn/sourceforge.
One issue involves the HAC_Image function (a "nice image" for floating-point numbers) and is not yet resolved (might be in that old GNAT's run-time library), but the attributes.adb examples turns around that one.
Cheers,
Gautier

> One issue involves the HAC_Image function (a "nice image" for floating-point numbers) and is not yet resolved (might be in that old GNAT's run-time library), but the attributes.adb examples turns around that one.

Issue was in System.Img_Real, procedure Set_Image_Real, as in GNAT GPL 2017. Obviously it has been fixed since then.

Thanks Gautier, it all works fine now.
Keep up the great work :)
Cheers, Leo

On 23/1/2022 11:58 pm, Gautier write-only address wrote:
>> One issue involves the HAC_Image function (a "nice image" for floating-point numbers) and is not yet resolved (might be in that old GNAT's run-time library), but the attributes.adb examples turns around that one.
>
> Issue was in System.Img_Real, procedure Set_Image_Real, as in GNAT GPL 2017. Obviously it has been fixed since then.