Skip to content

Conversation

@ston88
Copy link

@ston88 ston88 commented Oct 2, 2019

Thanks for making this repo!

My dialyzer showed error "breaks the contract" when passing a map or list(map) as the argument for functions PushNotification.push/1 and PushNotification.push_list/1 respectively.

I found out that those functions were expecting the type PushMessage.t() instead of map.

Please let me know what do you guys think!

Kind Regards

@fmarkwong
Copy link

I'm running into this issue too and have to dialyzer ignore the line. @ston88 solution looks good. cc: @rdrop

@rdrop
Copy link
Owner

rdrop commented Jan 17, 2020

I'll look into this and confirm next week, thanks for the PR

@mrmurphy
Copy link

mrmurphy commented Jun 7, 2021

Me too, I ended up dropping this attribute above my function to quiet the error:

@dialyzer {:no_return, g: 0}

@hogiyogi
Copy link

hogiyogi commented Jul 5, 2023

Ran into this as well. Would love to get this accepted into the library. Is this still maintained?

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.

5 participants