[darcs-users] ratification (haskell_policy / hlint)

Jason Dagit dagit at codersbase.com
Wed Sep 2 15:00:45 UTC 2009


On Wed, Sep 2, 2009 at 6:11 AM, Eric Kow<kowey at darcs.net> wrote:

> Transparency: Explicit ratification is more transparent; you get
> something baked right into the source file "yes, this is a banned
> function, but we are using it because it's acceptable in this specific
> context"
>
> I'd like this to be settled by consensus if possible.  But you know
> where I stand if this keeps dragging out.

I agree that explicit-per-use ratification is my preferred approach
here.  I agree almost completely on the grounds of transparency.

Neil:  Is it possible for hlint to read comments?  As a random example:
do c <- hGetContents h {-# HLINT: ignore "This use is safe." #-}
   return c

It's entirely possible that using the # like that would cause GHC's
parser to choke, so view this as an illustrative example only :)

Perhaps, it should work more like haddock where you use | and ^ to
effectively point forward or backwards in the source at the usage.  I
like the idea of being able to have a "comment" inside the ignore
directive.

Jason


More information about the darcs-users mailing list