[GHC] #7727: Nonsense evaluation: sequence [] = []

GHC ghc-devs at haskell.org
Fri Sep 27 08:09:06 CEST 2013


#7727: Nonsense evaluation: sequence [] = []
-------------------------------------+------------------------------------
        Reporter:  drb226            |            Owner:
            Type:  bug               |           Status:  new
        Priority:  normal            |        Milestone:  7.8.1
       Component:  GHCi              |          Version:  7.6.2
      Resolution:                    |         Keywords:
Operating System:  Unknown/Multiple  |     Architecture:  Unknown/Multiple
 Type of failure:  None/Unknown      |       Difficulty:  Unknown
       Test Case:                    |       Blocked By:
        Blocking:                    |  Related Tickets:
-------------------------------------+------------------------------------

Comment (by monoidal):

 Dan: GHC behaves correctly here, if you ask for `sequence [] :: [[Int]]`
 you'll get `[[Int]]`. So it's an issue with documentation, which is easy
 to change. What would you like to see there? Is it enough to add that
 given expression `e`, GHC first attempts typechecking `it <- e; print it`,
 and if that fails `it <- e`, and if that fails, `let it = e`? (See Simon's
 comment at #1201)

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



More information about the ghc-tickets mailing list