#3583: Default view patterns
-----------------------------------------+----------------------------------
Reporter: ksf | Owner:
Type: feature request | Status: new
Priority: normal | Milestone: _|_
Component: Compiler | Version: 6.10.4
Resolution: | Keywords:
Difficulty: Moderate (less than a day) | Os: Unknown/Multiple
Testcase: | Architecture: Unknown/Multiple
Failure: None/Unknown |
-----------------------------------------+----------------------------------
Comment (by NeilMitchell):
There is a design for ViewPatterns using the (-> ...) syntax, which has
not yet been implemented. There is not a design for implicit view
patterns. How do you declare what becomes an implicit view pattern? Do you
declare them with the pattern keyword? Can you export/import/qualify them?
Can you have higher-order patterns? Do they interact with typing? Can you
add guards to these patterns? Can you overload these implicit patterns?
Lots of decisions need to be made before people get to the implementation
stage, so this isn't really a fixable ticket. [I'm not asking to answers
for all these questions - that's not really the point, I'm more
illustrating that it's probably not at the stage where this can be
"fixed". I suggest discussing the options on haskell-cafe@ for a good long
time first, then trying to tempt a compiler hacker.]
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/3583#comment:10>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
