On Fri, Apr 1, 2011 at 20:53, Eric Merritt <[email protected]> wrote:
> Torben, > > I have added the keys to all implementations and have a set of > properties specified. I will push these changes tonight and I have > made sinan changes to support proper testing and a test directory. > 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. > > 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. 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.
