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

Why is `K_DEFINE` missing from church_prime/grammar.y? #651

Open fsaad opened 8 years ago

fsaad commented 8 years ago

It is not the %fallback block of church_prime/grammar.y file but exists in church_prime/scan.py.

riastradh-probcomp commented 8 years ago

Might just be an oversight. Check to make sure the grammar still works with it. (Though I doubt it's terribly useful to use as a variable name.)