Compiling ATS2 in less than 2 seconds

Google Group
1

Today, I cleaned up the build process for ATS2:

  1. There is now an option for not using libgmp

  2. I also made sure that ATS2 can be built using tcc (TinyCC).
    On my rather old laptop, if I do ‘make -j4 CCOMP=tcc’, then
    the ATS2 compiler (patsopt) can be built in about 1.5 seconds.
    Pretty fast.

Cheers!

2

The C code for ATS2 is generated from about 150K lines of ATS1 source.
So that is 2 seconds for quite some amount of code.On Wednesday, May 21, 2014 5:35:47 PM UTC-4, gmhwxi wrote:

Today, I cleaned up the build process for ATS2:

  1. There is now an option for not using libgmp

  2. I also made sure that ATS2 can be built using tcc (TinyCC).
    On my rather old laptop, if I do ‘make -j4 CCOMP=tcc’, then
    the ATS2 compiler (patsopt) can be built in about 1.5 seconds.
    Pretty fast.

Cheers!

3

If libgmp is not used, then the constraint-solving may not be done
properly due to possible arithmetic overflows and/or underflows.

This option probably only makes sense for people who have difficulty
installing libgmp.On Wednesday, May 21, 2014 6:11:14 PM UTC-4, Chris Double wrote:

On Thu, May 22, 2014 at 9:35 AM, gmhwxi <gmh...@gmail.com <javascript:>> wrote:

  1. There is now an option for not using libgmp

What is the effect of not using libgmp? Does it impact the way the
type checking works or impose limits?

–
http://www.bluishcoder.co.nz