> > The types in general looks alright - I read somewhere that dialyzer does not > support parameterised opaque types. I am in the process of rebuilding my > .dialyzer_plt, so I will check tomorrow.
Let me know what your findings are. I am very curious. >> >> Right now the name 'proper' is completely non-googleable. Its almost >> impossible to find information about the project unless know exactly >> where to look for it. I wonder if the proper folks would be willing to >> consider a name change to something that is more amenable to finding >> information. I would like to suggest that to them, what do you think? > > That sounds like a good idea - I also went through the google dead end... > though "proper erlang" does show the right links, but that could be due to > my search history. do you know any of the proper folks. Otherwise I am just going to contact them through github. > > Cheers, > Torben > >> >> Eric >> >> On Thu, Mar 31, 2011 at 3:57 PM, Eric Merritt <[email protected]> >> wrote: >> >>> >> >>> This document is a great start, and I think it covers basically most >> >>> of >> >>> the things that need to be covered. I however offer a few suggestions: >> >>> 1. Remove references to both Martin and Eric. I am sure they will be >> >>> nice >> >>> enough to let you use your words verbatim(or close to) without putting >> >>> up a >> >>> fight. Just focus on the concepts, not where the idea came from. >> >> >> >> I have no problem with that - a quick nod from Martin and Eric will do >> >> the >> >> trick for me! >> > >> > Thats just fine with me. No need for attribution here, its a group >> > document. >> > >> >> -- >> You received this message because you are subscribed to the Google Groups >> "erlware-dev" group. >> To post to this group, send email to [email protected]. >> To unsubscribe from this group, send email to >> [email protected]. >> For more options, visit this group at >> http://groups.google.com/group/erlware-dev?hl=en. >> > > > > -- > http://www.linkedin.com/in/torbenhoffmann > -- You received this message because you are subscribed to the Google Groups "erlware-dev" group. To post to this group, send email to [email protected]. To unsubscribe from this group, send email to [email protected]. For more options, visit this group at http://groups.google.com/group/erlware-dev?hl=en.
