removing ad hoc Show instances?

[Aaron Tomb]

I'm very much in favor of this change. In my opinion, Show should
never be written manually.

Aaron

On Tue, Sep 25, 2012 at 5:02 PM, Mark Tullsen <tullsen at galois.com> wrote:
> Hi all,
>
> I'm brand new to the list and I thought I'd start with discussing a somewhat pervasive change I'd really like to make to language-c:
>
>   Remove all ad hoc Show instances and replace them with deriving Show.
>
>     (I'll forgo an excursus on the significant advantages of this and my diatribe against ad hoc Show instances.)
>
>   The old ad hoc show code could be either
>     1. dropped (but see Q2 below)
>     2. moved to a new class, ConciseShow, for instance.
>
> Two questions
>
>   - Q1. Are people opposed-to/supportive-of this change?
>   - Q2. Is functional code dependent on the Show instance definitions?
>         (my suspicion is that the answer is yes, requiring us to add a new class, e.g, ConciseShow)
>
> Other discussion?
>
> (We are using language-c for a [another] real project here at Galois and we'd very much like to support this project,
> I *really* don't want to fork off an internal version of it :-).
>
> Thanks,
>
> Mark
>
> --
> Mark Tullsen, Ph.D.                       Email: tullsen at galois.com
> Galois, Inc.                              Phone: (503) 808-7159
> 421 SW 6th Ave, Ste 300                   Fax:   (503) 350-0833
> Portland, OR 97204
>
>
> _______________________________________________
> Language-c mailing list
> Language-c at projects.haskell.org
> http://projects.haskell.org/cgi-bin/mailman/listinfo/language-c