atstype_boxed(postiats_tyrec_123) atslab__54321

Google Group
1

I so wish you had kept the source for this :slight_smile:

I took a look at the source code for patsopt but could not
figure out how to generate such output. I can generate something
like

atstype_tybox(…)

but that is really a different issue.On Friday, October 2, 2015 at 7:40:16 PM UTC-4, Barry Schwartz wrote:

I should have saved an example, but didn’t, because the code that
produced this (despite passing type checking) was a buggy
mess. Anyway, what causes me to get C code like

atstype_boxed(postiats_tyrec_123) atslab__54321 ;

that then fails in the C compiler? Apparently because the compiler
does not expect to see an argument to atstype_boxed.

2

Thanks!

I tried a few more examples following what you described, but could still
not trigger the problem.

When did you noticed the problem? I remember fixing a problem involving
atstype_boxed/atstype_unboxed
recently (within last two weeks).On Sun, Oct 4, 2015 at 12:08 PM, Barry Schwartz < chemoe...@chemoelectric.org> wrote:

gmhwxi gmh...@gmail.com skribis:

I so wish you had kept the source for this :slight_smile:

In the future I think I will check such stuff in on branches.

–
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.
Visit this group at http://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit
https://groups.google.com/d/msgid/ats-lang-users/20151004160853.GB8095%40crud
.