Fusion of recursive functions
This came up while playing with the ICFP2007 task.
I have a function dnaView :: DNA -> [D]; DNA is a [ByteString] and D is just the enum I|C|F|P. When I call a function that just pattern matches on the result, I think the pattern matching function should be fused with the view -- the view should run as a coroutine.
I've attached an example.
Trac metadata
| Trac field | Value |
|---|---|
| Version | 6.8.2 |
| Type | Bug |
| TypeOfFailure | OtherFailure |
| Priority | normal |
| Resolution | Unresolved |
| Component | Compiler |
| Test case | |
| Differential revisions | |
| BlockedBy | |
| Related | |
| Blocking | |
| CC | |
| Operating system | Windows |
| Architecture |
Edited by Thomas Miedema