Re: haskell's prefix exprs

2007-07-10 Thread Brian Hulley
Christian Maeder wrote: 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 s

RE: Unexpected boxing in generated code

2007-07-10 Thread Simon Peyton-Jones
Very curious. It does indeed look as though the strictness analyser is confused; but it should certainly not be confused by mutual recursion. I'll definitely look into it. But don't hold your breath -- it's a very busy fortnight. Simon | -Original Message- | From: [EMAIL PROTECTED] [

Re: haskell's prefix exprs

2007-07-10 Thread Christian Maeder
Brian Hulley schrieb: > Christian Maeder wrote: >> (In fact, maybe for haskell' "$" could be changed to a keyword.) >> > > Alternatively the # symbol could be removed from the pool of symbol > chars and used to construct syntactic sugar so you could use > > f = id #$ \_ -> [] > > to mean

RE: type error when compiling an older Haskell program

2007-07-10 Thread Scott Stoller
Simon Peyton-Jones writes: > | 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