[GHC] #3583: Default view patterns

[GHC]

#3583: Default view patterns
---------------------------------+------------------------------------------
    Reporter:  ksf               |        Owner:                  
        Type:  feature request   |       Status:  new             
    Priority:  normal            |    Milestone:                  
   Component:  Compiler          |      Version:  6.10.4          
    Severity:  normal            |   Resolution:                  
    Keywords:                    |   Difficulty:  Unknown         
    Testcase:                    |           Os:  Unknown/Multiple
Architecture:  Unknown/Multiple  |  
---------------------------------+------------------------------------------
Comment (by ksf):

 Erm yes. The idea is to desugar

 {{{
 foo Bar = baz
 }}}

 into

 {{{
 foo (view -> Bar) = baz
 }}}

 , "view" being a member of a magic typeclass types have to instantiate to
 be eligible for this transformation. The rationale is to make the syntax
 as free of clutter as is the case with matching on plain constructors, to
 facilitate usage of view patterns and abstraction from concrete
 representations.

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/3583#comment:2>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler