[GHC] #14617: Join point test join001 doesn't seem to be properly automated
GHC
ghc-devs at haskell.org
Tue Dec 26 04:48:57 UTC 2017
#14617: Join point test join001 doesn't seem to be properly automated
-------------------------------------+-------------------------------------
Reporter: dfeuer | Owner: (none)
Type: bug | Status: new
Priority: normal | Milestone: 8.6.1
Component: Test Suite | Version: 8.2.2
Keywords: JoinPoints | Operating System: Unknown/Multiple
Architecture: | Type of failure: None/Unknown
Unknown/Multiple |
Test Case: | Blocked By:
Blocking: | Related Tickets:
Differential Rev(s): | Wiki Page:
-------------------------------------+-------------------------------------
The test `join001` was presumably used for manual testing (poring over the
Core by hand). Unfortunately, the test suite runs it in an utterly bland
fashion that doesn't appear to check whether the join point transformation
is working as intended. The other join point tests run in this fashion
(`join005` and `join006`) include notes indicating that Core Lint will
trip if the desired property doesn't hold; there is no such note here.
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/14617>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
More information about the ghc-tickets
mailing list