[darcs-devel] darcs patch: fix darcs --commands, which was broken by subcommand c...

Florian Weimer fw at deneb.enyo.de
Fri Aug 5 12:30:44 PDT 2005


> On 7/31/05, David Roundy <droundy at abridgegame.org> wrote:
>> Am I stuck in a corner here?
>
> You can't make the compiler do what you want. But you *can* enforce it
> as a code policy.

Without a lot of bureaucracy, you cannot really enforce coding styles
which aren't checked by the compiler.

> Just don't use them as accessors.

Maybe your first suggestions (separate types) isn't such a bad idea.

Has anybody taken this to the GHC people?  Obviously, GHC has the
necessary information to emit the dynamic check (and maybe even to
elide it if it's not needed), so it should be possible to warn about
them.




More information about the darcs-devel mailing list