[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