
#14812: Dot-Notation for Flipped Function Application -------------------------------------+------------------------------------- Reporter: tepan | Owner: (none) Type: feature request | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.2.2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by svenpanne): I don't even think this should go into the proposal process. The ``Foo.Bar.baz`` notation has nothing to do with OO, it is just about hierarchical names, which is a lexical issue. Furthermore, apart from the offside rule, whitespace should not have a meaning at all. Another complication/quiz: What should ``Foo.bar`` mean at all then? The hierarchical name ``Foo.bar`` or ``bar Foo`` (flipped application of the function ``bar`` to the constructor ``Foo``)? It can't be the latter, otherwise hierarchical names wouldn't work, so in addition to one exception to the language (whitespace matters) it would introduce another exception (. means something different if things look like a hierarchical name). -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/14812#comment:3 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler