Changes between Initial Version and Version 2 of Ticket #3306


Ignore:
Timestamp:
Jun 17, 2009 7:47:30 PM (5 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