[Haskell-cafe] Where's the case? or The difference between simpl and prep

2013-03-14 Thread Tom Ellis
The -ddump-simpl output below doesn't contain a case corresponding to the seq in sum', but the -ddump-prep does. Isn't the output from simpl the input to prep? If so, where does the case reappear from? If not, how are simpl and prep related? It seems to have something to do with Str=DmdType SS

Re: [Haskell-cafe] Where's the case? or The difference between simpl and prep

2013-03-14 Thread Simon Peyton-Jones
Check out http://hackage.haskell.org/trac/ghc/wiki/Commentary/Compiler/HscMain and the notes at the top of http://darcs.haskell.org/ghc/compiler/coreSyn/CorePrep.lhs Beyond that I'm happy to help Simon | -Original Message- | From: haskell-cafe-boun...@haskell.org

Re: [Haskell-cafe] Where's the case? or The difference between simpl and prep

2013-03-14 Thread Tom Ellis
On Thu, Mar 14, 2013 at 10:43:14PM +, Simon Peyton-Jones wrote: | -Original Message- | From: Tom Ellis | The -ddump-simpl output below doesn't contain a case corresponding to the | seq in sum', but the -ddump-prep does. Isn't the output from simpl the | input to prep? If