Need error messages for various truncation situations about stanc3 HOT 6 CLOSED

This should be fixed now. Definitely was a bug.

from stanc3.

from stanc3.

Those error messages are coming from Stan on develop, I can try pulling again and see if they go away.

from stanc3.

Oh, I made a mistake when I first wrote the post and edited it in github and I see that you replied to the old post. Try
model { 1 ~ bernoulli(0.2) T[0.1, 1.1]; }

from stanc3.

from stanc3.

Right. The following does compile, on stanc2:

model { 1 ~ bernoulli(0.2) T[0, 1]; }

So the problem was merely the signature of the bounds.

I think stanc3 currently does check the existence of a cdf, but I don't think it checks the type of the cdf. I hadn't realised that the bounds can sometimes be integer and that that needs to be checked. Therefore, it was not throwing an error.

By the way, the following also compiles on stanc2, which shouldn't, so that's a bug:

model { 1 ~ bernoulli(0.2) T[0, 1.1]; }

from stanc3.