> On 7/31/05, David Roundy <[EMAIL PROTECTED]> 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. _______________________________________________ darcs-devel mailing list [email protected] http://www.abridgegame.org/cgi-bin/mailman/listinfo/darcs-devel
