Changes between Initial Version and Version 2 of Ticket #3306


Ignore:
Timestamp:
Jun 17, 2009 7:47:30 PM (6 years ago)
Author:
simonpj
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #3306 – Description

    initial v2  
    66{{{
    77(A)   data RecContTest a where
    8          Show a => C { showable :: Show a => a } :: RecContTest a
     8         Show a => C { showable :: a } :: RecContTest a
    99
    1010(B)   data RecContTest a where
    11          C :: Show a => { showable :: Show a => a } -> RecContTest a
     11         C :: Show a => { showable :: a } -> RecContTest a
    1212}}}
    1313The latter (B) looks best to me. I dislike (A) because part of the type (the "Show a =>") occurs before the constructor name C, and part appears after.  On the other hand, (B) has something that looks vaguely like a type