How to model C macro defined constants?

Google Group
1

Following this book section
http://www.ats-lang.org/DOCUMENT/INT2PROGINATS/HTML/x2038.html I tried:

macdef RTLD_GLOBAL = $extype(int, “RTLD_GLOBAL”)

But patsopt complained:

/home/haitao/pugi-store/pl_dlcall.dats: 201(line=5, offs=22) – 208(line=5,
offs=29): error(parsing): the syntactic entity [d0exp] is needed.

Haitao

2

Hongwei,

You mentioned you are interested in fixing bugs by your students. Here is
one that is in the demo code in the introduction book and I just checked
that it is still there. All $exttype should really be $extval in the lower
half of the page:

http://www.ats-lang.org/DOCUMENT/INT2PROGINATS/HTML/x2038.html

HaitaoOn Thu, Jan 23, 2014 at 11:39 AM, Brandon Barker brandon...@gmail.comwrote:

Yeah, the above line in that book even says extval (highlighted in red -
not sure how I missed it). I was able to run a program making use of this.

On Thursday, January 23, 2014 2:24:14 PM UTC-5, H Zhang wrote:

Okay I will use extval for now. At least it now parses. Thanks!

On Thursday, January 23, 2014 11:17:45 AM UTC-8, Brandon Barker wrote:

I think it is a typo: extval seems to work, not extype in this case.

On Thursday, January 23, 2014 2:08:45 PM UTC-5, H Zhang wrote:

Apparently it is a syntax error so I assume some syntax has changed and
the book section is not up-to-date?

On Thursday, January 23, 2014 10:58:59 AM UTC-8, Brandon Barker wrote:

apparently it doesn’t matter, I tested both cases.

Brandon Barker
brand...@gmail.com

On Thu, Jan 23, 2014 at 1:48 PM, Brandon Barker brand...@gmail.comwrote:

I wonder if it matters if this is a #define’d variable or not.

On Thursday, January 23, 2014 1:43:26 PM UTC-5, H Zhang wrote:

Following this book section http://www.ats-lang.org/DOCUME
NT/INT2PROGINATS/HTML/x2038.html I tried:

macdef RTLD_GLOBAL = $extype(int, “RTLD_GLOBAL”)

But patsopt complained:

/home/haitao/pugi-store/pl_dlcall.dats: 201(line=5, offs=22) –
208(line=5, offs=29): error(parsing): the syntactic entity [d0exp] is
needed.

Haitao

–
You received this message because you are subscribed to the Google
Groups “ats-lang-users” group.
To unsubscribe from this group and stop receiving emails from it,
send an email to ats-lang...@googlegroups.com.
To post to this group, send email to ats-l...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/
msgid/ats-lang-users/7f9f4c8b-73b8-4f60-ab35-7c8a2d08cf02%
40googlegroups.com.

–
You received this message because you are subscribed to a topic in the
Google Groups “ats-lang-users” group.
To unsubscribe from this topic, visit
https://groups.google.com/d/topic/ats-lang-users/HpryPGywycg/unsubscribe.
To unsubscribe from this group and all its topics, send an email to
ats-lang-user...@googlegroups.com.
To post to this group, send email to ats-lan...@googlegroups.com.
To view this discussion on the web visit
https://groups.google.com/d/msgid/ats-lang-users/c21472e7-0c0c-42b7-b4c7-c62c43c75b72%40googlegroups.com
.

3

Apparently it is a syntax error so I assume some syntax has changed and the
book section is not up-to-date?On Thursday, January 23, 2014 10:58:59 AM UTC-8, Brandon Barker wrote:

apparently it doesn’t matter, I tested both cases.

Brandon Barker
brand...@gmail.com <javascript:>

On Thu, Jan 23, 2014 at 1:48 PM, Brandon Barker <brand...@gmail.com<javascript:> wrote:

I wonder if it matters if this is a #define’d variable or not.

On Thursday, January 23, 2014 1:43:26 PM UTC-5, H Zhang wrote:

Following this book section http://www.ats-lang.org/
DOCUMENT/INT2PROGINATS/HTML/x2038.html I tried:

macdef RTLD_GLOBAL = $extype(int, “RTLD_GLOBAL”)

But patsopt complained:

/home/haitao/pugi-store/pl_dlcall.dats: 201(line=5, offs=22) –
208(line=5, offs=29): error(parsing): the syntactic entity [d0exp] is
needed.

Haitao

–
You received this message because you are subscribed to the Google Groups
“ats-lang-users” group.
To unsubscribe from this group and stop receiving emails from it, send an
email to ats-lang...@googlegroups.com <javascript:>.
To post to this group, send email to ats-l...@googlegroups.com<javascript:>
.
To view this discussion on the web visit
https://groups.google.com/d/msgid/ats-lang-users/7f9f4c8b-73b8-4f60-ab35-7c8a2d08cf02%40googlegroups.com
.

4

I think it is a typo: extval seems to work, not extype in this case.On Thursday, January 23, 2014 2:08:45 PM UTC-5, H Zhang wrote:

Apparently it is a syntax error so I assume some syntax has changed and
the book section is not up-to-date?

On Thursday, January 23, 2014 10:58:59 AM UTC-8, Brandon Barker wrote:

apparently it doesn’t matter, I tested both cases.

Brandon Barker
brand...@gmail.com

On Thu, Jan 23, 2014 at 1:48 PM, Brandon Barker brand...@gmail.comwrote:

I wonder if it matters if this is a #define’d variable or not.

On Thursday, January 23, 2014 1:43:26 PM UTC-5, H Zhang wrote:

Following this book section http://www.ats-lang.org/
DOCUMENT/INT2PROGINATS/HTML/x2038.html I tried:

macdef RTLD_GLOBAL = $extype(int, “RTLD_GLOBAL”)

But patsopt complained:

/home/haitao/pugi-store/pl_dlcall.dats: 201(line=5, offs=22) –
208(line=5, offs=29): error(parsing): the syntactic entity [d0exp] is
needed.

Haitao

–
You received this message because you are subscribed to the Google
Groups “ats-lang-users” group.
To unsubscribe from this group and stop receiving emails from it, send
an email to ats-lang...@googlegroups.com.
To post to this group, send email to ats-l...@googlegroups.com.
To view this discussion on the web visit
https://groups.google.com/d/msgid/ats-lang-users/7f9f4c8b-73b8-4f60-ab35-7c8a2d08cf02%40googlegroups.com
.

5

Thanks! Fixed.On Wednesday, March 19, 2014 11:39:35 AM UTC-4, H Zhang wrote:

Hongwei,

You mentioned you are interested in fixing bugs by your students. Here is
one that is in the demo code in the introduction book and I just checked
that it is still there. All $exttype should really be $extval in the lower
half of the page:

http://www.ats-lang.org/DOCUMENT/INT2PROGINATS/HTML/x2038.html

Haitao

On Thu, Jan 23, 2014 at 11:39 AM, Brandon Barker <brand...@gmail.com<javascript:> wrote:

Yeah, the above line in that book even says extval (highlighted in red -
not sure how I missed it). I was able to run a program making use of this.

On Thursday, January 23, 2014 2:24:14 PM UTC-5, H Zhang wrote:

Okay I will use extval for now. At least it now parses. Thanks!

On Thursday, January 23, 2014 11:17:45 AM UTC-8, Brandon Barker wrote:

I think it is a typo: extval seems to work, not extype in this case.

On Thursday, January 23, 2014 2:08:45 PM UTC-5, H Zhang wrote:

Apparently it is a syntax error so I assume some syntax has changed
and the book section is not up-to-date?

On Thursday, January 23, 2014 10:58:59 AM UTC-8, Brandon Barker wrote:

apparently it doesn’t matter, I tested both cases.

Brandon Barker
brand...@gmail.com

On Thu, Jan 23, 2014 at 1:48 PM, Brandon Barker <brand...@gmail.com wrote:

I wonder if it matters if this is a #define’d variable or not.

On Thursday, January 23, 2014 1:43:26 PM UTC-5, H Zhang wrote:

Following this book section http://www.ats-lang.org/DOCUME
NT/INT2PROGINATS/HTML/x2038.html I tried:

macdef RTLD_GLOBAL = $extype(int, “RTLD_GLOBAL”)

But patsopt complained:

/home/haitao/pugi-store/pl_dlcall.dats: 201(line=5, offs=22) –
208(line=5, offs=29): error(parsing): the syntactic entity [d0exp] is
needed.

Haitao

–
You received this message because you are subscribed to the Google
Groups “ats-lang-users” group.
To unsubscribe from this group and stop receiving emails from it,
send an email to ats-lang...@googlegroups.com.
To post to this group, send email to ats-l...@googlegroups.com.
To view this discussion on the web visit
https://groups.google.com/d/msgid/ats-lang-users/7f9f4c8b-
73b8-4f60-ab35-7c8a2d08cf02%40googlegroups.com.

–
You received this message because you are subscribed to a topic in the
Google Groups “ats-lang-users” group.
To unsubscribe from this topic, visit
https://groups.google.com/d/topic/ats-lang-users/HpryPGywycg/unsubscribe.
To unsubscribe from this group and all its topics, send an email to
ats-lang...@googlegroups.com <javascript:>.
To post to this group, send email to ats-l...@googlegroups.com<javascript:>
.
To view this discussion on the web visit
https://groups.google.com/d/msgid/ats-lang-users/c21472e7-0c0c-42b7-b4c7-c62c43c75b72%40googlegroups.com
.

6

I wonder if it matters if this is a #define’d variable or not.On Thursday, January 23, 2014 1:43:26 PM UTC-5, H Zhang wrote:

Following this book section
http://www.ats-lang.org/DOCUMENT/INT2PROGINATS/HTML/x2038.html I tried:

macdef RTLD_GLOBAL = $extype(int, “RTLD_GLOBAL”)

But patsopt complained:

/home/haitao/pugi-store/pl_dlcall.dats: 201(line=5, offs=22) –
208(line=5, offs=29): error(parsing): the syntactic entity [d0exp] is
needed.

Haitao

7

Okay I will use extval for now. At least it now parses. Thanks!On Thursday, January 23, 2014 11:17:45 AM UTC-8, Brandon Barker wrote:

I think it is a typo: extval seems to work, not extype in this case.

On Thursday, January 23, 2014 2:08:45 PM UTC-5, H Zhang wrote:

Apparently it is a syntax error so I assume some syntax has changed and
the book section is not up-to-date?

On Thursday, January 23, 2014 10:58:59 AM UTC-8, Brandon Barker wrote:

apparently it doesn’t matter, I tested both cases.

Brandon Barker
brand...@gmail.com

On Thu, Jan 23, 2014 at 1:48 PM, Brandon Barker brand...@gmail.comwrote:

I wonder if it matters if this is a #define’d variable or not.

On Thursday, January 23, 2014 1:43:26 PM UTC-5, H Zhang wrote:

Following this book section http://www.ats-lang.org/
DOCUMENT/INT2PROGINATS/HTML/x2038.html I tried:

macdef RTLD_GLOBAL = $extype(int, “RTLD_GLOBAL”)

But patsopt complained:

/home/haitao/pugi-store/pl_dlcall.dats: 201(line=5, offs=22) –
208(line=5, offs=29): error(parsing): the syntactic entity [d0exp] is
needed.

Haitao

–
You received this message because you are subscribed to the Google
Groups “ats-lang-users” group.
To unsubscribe from this group and stop receiving emails from it, send
an email to ats-lang...@googlegroups.com.
To post to this group, send email to ats-l...@googlegroups.com.
To view this discussion on the web visit
https://groups.google.com/d/msgid/ats-lang-users/7f9f4c8b-73b8-4f60-ab35-7c8a2d08cf02%40googlegroups.com
.

8

Yeah, the above line in that book even says extval (highlighted in red -
not sure how I missed it). I was able to run a program making use of this.On Thursday, January 23, 2014 2:24:14 PM UTC-5, H Zhang wrote:

Okay I will use extval for now. At least it now parses. Thanks!

On Thursday, January 23, 2014 11:17:45 AM UTC-8, Brandon Barker wrote:

I think it is a typo: extval seems to work, not extype in this case.

On Thursday, January 23, 2014 2:08:45 PM UTC-5, H Zhang wrote:

Apparently it is a syntax error so I assume some syntax has changed and
the book section is not up-to-date?

On Thursday, January 23, 2014 10:58:59 AM UTC-8, Brandon Barker wrote:

apparently it doesn’t matter, I tested both cases.

Brandon Barker
brand...@gmail.com

On Thu, Jan 23, 2014 at 1:48 PM, Brandon Barker brand...@gmail.comwrote:

I wonder if it matters if this is a #define’d variable or not.

On Thursday, January 23, 2014 1:43:26 PM UTC-5, H Zhang wrote:

Following this book section http://www.ats-lang.org/
DOCUMENT/INT2PROGINATS/HTML/x2038.html I tried:

macdef RTLD_GLOBAL = $extype(int, “RTLD_GLOBAL”)

But patsopt complained:

/home/haitao/pugi-store/pl_dlcall.dats: 201(line=5, offs=22) –
208(line=5, offs=29): error(parsing): the syntactic entity [d0exp] is
needed.

Haitao

–
You received this message because you are subscribed to the Google
Groups “ats-lang-users” group.
To unsubscribe from this group and stop receiving emails from it, send
an email to ats-lang...@googlegroups.com.
To post to this group, send email to ats-l...@googlegroups.com.
To view this discussion on the web visit
https://groups.google.com/d/msgid/ats-lang-users/7f9f4c8b-73b8-4f60-ab35-7c8a2d08cf02%40googlegroups.com
.

9

apparently it doesn’t matter, I tested both cases.

Brandon Barker
brandon…@gmail.comOn Thu, Jan 23, 2014 at 1:48 PM, Brandon Barker brandon...@gmail.comwrote:

I wonder if it matters if this is a #define’d variable or not.

On Thursday, January 23, 2014 1:43:26 PM UTC-5, H Zhang wrote:

Following this book section http://www.ats-lang.org/
DOCUMENT/INT2PROGINATS/HTML/x2038.html I tried:

macdef RTLD_GLOBAL = $extype(int, “RTLD_GLOBAL”)

But patsopt complained:

/home/haitao/pugi-store/pl_dlcall.dats: 201(line=5, offs=22) –
208(line=5, offs=29): error(parsing): the syntactic entity [d0exp] is
needed.

Haitao

–
You received this message because you are subscribed to the Google Groups
“ats-lang-users” group.
To unsubscribe from this group and stop receiving emails from it, send an
email to ats-lang-user...@googlegroups.com.
To post to this group, send email to ats-lan...@googlegroups.com.
To view this discussion on the web visit
https://groups.google.com/d/msgid/ats-lang-users/7f9f4c8b-73b8-4f60-ab35-7c8a2d08cf02%40googlegroups.com
.