RE: SpecConstr

Simon Peyton-Jones <[email protected]> Thu, 30 Nov 2006 02:13:07 +0000

Newsgroups	gmane.comp.lang.haskell.cvs.all
Message-ID	<DCA83D5F3861C941808187D4D3878750344BABA9__44913.3849623196$1164852823$gmane$org@EA-EXMSG-C312.europe.corp.microsoft.com>

Roman

You wrote...

| A related problem is
|
| foo :: Int -> Int -> Int
| foo 0 n = 0
| foo m n = foo (m-n) n
| Here, n isn't getting unboxed although it could be if m is not 0 in the first iteration. Perhaps unrolling
| the loop once could help here.

I'm not sure when I fixed this, but it's working fine now.  Try it!

Simon