search

probcomp / Venturecxx

Primary implementation of the Venture probabilistic programming system
http://probcomp.csail.mit.edu/venture/
GNU General Public License v3.0
28 stars 6 forks source link

and(True, True) gives a parse error #613

Open axch opened 8 years ago

axch commented 8 years ago 
venture[script] > True && False
False
venture[script] > and(True, False)
*** text_parse: Syntax error at '(' (token 16)
{'text_index': [3, 3]}
venture[script] > (and(True, False))
False

Presumably this is because the second form is being confused for the mutrec rule. The two other forms are workarounds, but we should probably figure out how to make this parse cleanly. I am surprised Lemonde doesn't report a parse conflict about this.