[m-dev.] for review: developer introduction for webpage
Tyson Dowd
trd at cs.mu.OZ.AU
Wed Jan 17 11:39:18 AEDT 2001
On 16-Jan-2001, Zoltan Somogyi <zs at cs.mu.OZ.AU> wrote:
> On 16-Jan-2001, Tyson Dowd <trd at cs.mu.OZ.AU> wrote:
> > I'm happy to mention that it is dangerous, but I'm not sure about
> > deleting it. If I delete the section people still aren't going to
> > know about the interdependencies, and they also won't know about this
> > potentially useful thing.
> >
> > (if you don't agree, see last paragraph)
>
> My point is that the technique you describe is *not* useful for people
> who don't know the dependencies.
Fine, it's deleted.
> > I was thinking that this document is intended for a wider audience of
> > people who might not be interested in submitting to the project.
> > With that audience I didn't want the document to sound like a lot of
> > "thou must" statements -- I was going to let them make up their own
> > minds about their software development practices.
>
> You are right, we shouldn't talk about about "must", but "may" is too weak.
> If someone extends Mercury and writes a paper about the extension, I would
> strongly prefer that the extension pass bootcheck and the test case (because
> otherwise the paper is suspect) even if they don't check the extension back in.
>
> We should therefore use "should".
Done.
--
Tyson Dowd #
# Surreal humour isn't everyone's cup of fur.
trd at cs.mu.oz.au #
http://www.cs.mu.oz.au/~trd #
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to: mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions: mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------
More information about the developers
mailing list