Return error when calling filter() with a wrong type in Gizmo#849

Merged

dennwc merged 1 commit intocayleygraph:masterfrom dennwc:gizmo_filter_err

Oct 7, 2019

+11

Commits on Oct 7, 2019

gizmo: return error when calling filter() with a wrong type; fixes cayleygraph#833
dennwc
committed