How could I skip constraint-solving in ATS?

Google Group
1

First, do you really want to do it?

For people who want to run their code first and do constraint-solving later,
here is a way to do it:

patsopt --constraint-ignore -o foo_dats.c foo.dats; patscc -o foo foo_dats.c

Please do not blame me if your see run-time crashes :slight_smile:

Cheers!

2

The patscc flag for doing this is -CSignore:

patscc -CSignore -o foo foo.dats

The support for this flag will be available in ATS2-0.0.5, which should be
released around Jan 15.On Thursday, January 9, 2014 12:07:08 PM UTC-5, gmhwxi wrote:

First, do you really want to do it?

For people who want to run their code first and do constraint-solving
later,
here is a way to do it:

patsopt --constraint-ignore -o foo_dats.c foo.dats; patscc -o foo
foo_dats.c

Please do not blame me if your see run-time crashes :slight_smile:

Cheers!