#1584: problem presenting with explicit pattern matching
-------------------------+--------------------------------------------------
Reporter: guest | Owner:
Type: bug | Status: closed
Priority: normal | Milestone:
Component: Compiler | Version: 6.6.1
Severity: normal | Resolution: invalid
Keywords: | Difficulty: Unknown
Os: Linux | Testcase:
Architecture: x86 |
-------------------------+--------------------------------------------------
Changes (by igloo):
* resolution: => invalid
* status: new => closed
Comment:
Thanks for the detailed report! However, hugs also disagrees with you, as
does my by-hand evaluation:
{{{
prop_test231
= step (1,2,3,1) (Tower [2] [1] [3])
= let pi = peg 2 (Tower [2] [1] [3])
pa = peg 3 (Tower [2] [1] [3])
pf = peg 1 (Tower [2] [1] [3])
in mkTower (1,2,3,1) (tail pi) pa (head pi : pf)
= let pi = [1]
pa = [3]
pf = [2]
in mkTower (1,2,3,1) (tail pi) pa (head pi : pf)
= mkTower (1,2,3,1) [] [3] [1,2]
= Tower [3] [1,2] []
!= Tower [1,2] [] [3]
}}}
Thanks
Ian
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/1584>
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
