Unexpected boxing in generated code

2007-07-09 Thread Neil Mitchell
Hi, I've got an inner loop that I think I can see is strict in the Int argument being passed around, but that GHC 6.6.1 isn't unboxing. In the following example both functions take a GHC.Base.Int, which I think should be an Int#. Rec { f60_rS5 :: GHC.Prim.State# GHC.Prim.RealWorld -> GHC.Base.In

haskell's prefix exprs

2007-07-09 Thread Christian Maeder
Hi, I would like haskell to accept the following (currently illegal) expressions as syntactically valid prefix applications: f = id \ _ -> [] g = id let x = [] in x h = id case [] of [] -> [] i = id do [] j = id if True then [] else [] The rational is that expressions starting with a keyword sho

RE: type error when compiling an older Haskell program

2007-07-09 Thread Simon Peyton-Jones
| Add {-# OPTIONS_GHC -fno-mono-pat-binds #-} | | You are the fourth person to discover monomorphic pattern bindings :) Yes, the details are here http://hackage.haskell.org/trac/haskell-prime/wiki/MonomorphicPatternBindings If you could snip out the code that gave rise to the error, I'll