Skip to content

Conversation

andyglow
Copy link
Owner

@andyglow andyglow commented Sep 14, 2020

int-map eliminated in favor of string-map with key type handling

@coveralls
Copy link

coveralls commented Sep 14, 2020

Coverage Status

Coverage decreased (-0.8%) to 75.216% when pulling 72971dc on arbitraty-map-key into 7205ee9 on master.

@andyglow andyglow linked an issue Sep 14, 2020 that may be closed by this pull request
- bump scala version for travis
@andyglow andyglow merged commit bd17e36 into master Sep 14, 2020
@andyglow andyglow deleted the arbitraty-map-key branch September 14, 2020 20:30
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

allow arbitrary keys for Maps

2 participants