search

BayesianLogic / blog

The BLOG programming language
http://bayesianlogic.github.io/
BSD 4-Clause "Original" or "Old" License
98 stars 31 forks source link

type-check ExplicitSetSpec properly #236

Closed cberzan closed 10 years ago

cberzan commented 10 years ago

@lileicc Tiny change ready for review.

Makes e.g. query size({1, 2, 3}) work.

lileicc commented 10 years ago

LGTM. nice catch!