Skip to content
This repository has been archived by the owner on Dec 11, 2022. It is now read-only.

The dictionary when filtering occurrences must be typed {Any,Any} #16

Closed
tpoisot opened this issue Feb 28, 2019 · 0 comments · Fixed by #19
Closed

The dictionary when filtering occurrences must be typed {Any,Any} #16

tpoisot opened this issue Feb 28, 2019 · 0 comments · Fixed by #19

Comments

@tpoisot
Copy link
Member

tpoisot commented Feb 28, 2019

Because the paging system uses Int for the number of pages, offset, etc., the Dict containing the query must be typed appropriately. One solution would be to use Pairs (as in mangal filtering), which can also be passed using ... (and this would remove two methods for `occurrences at the cost of breaking the current code (but I can probably still use the dict and give a deprecation warning).

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Projects
None yet
Development

Successfully merging a pull request may close this issue.

1 participant