You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
The manual says that .* and ./ bind more tightly than * and /. However, based on my experiments, Stan currently implements .* and ./ as having the same precedence as * and /.
Description:
We need to update the manual to list the precedence of ./ and .* to be the same as * and / (so less tight binding than \ ).
Additional Information:
Provide any additional information here.
Current Version:
v2.18.0
The text was updated successfully, but these errors were encountered:
Thanks for reporting. If you don't want these to get lost, they need to have the next release as a milestone. That's how we sort before releases to make sure all the little stuff gets done.
Summary:
The manual says that .* and ./ bind more tightly than * and /. However, based on my experiments, Stan currently implements .* and ./ as having the same precedence as * and /.
Description:
We need to update the manual to list the precedence of ./ and .* to be the same as * and / (so less tight binding than \ ).
Additional Information:
Provide any additional information here.
Current Version:
v2.18.0
The text was updated successfully, but these errors were encountered: