#8091: retry# lacks strictness information
-------------------------------------+-------------------------------------
Reporter: parcs | Owner: (none)
Type: bug | Status: closed
Priority: normal | Milestone:
Component: Compiler | Version: 7.6.3
Resolution: fixed | 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 bgamari):
#13916 leads me to believe this is strictness signature is too strong.
Consider this program,
{{{#!hs
loop :: [TMVar a] -> STM a -> STM a
loop [] m = m
loop (x:xs) m = loop xs (m `orElse` takeTMVar x)
doIt :: [TMVar Int] -> STM Int
doIt xs = atomically $ loop xs retry
}}}
GHC will currently give `loop` a strictness signature of
`