GHC-7.8 warning on rules that may not fire

2014-03-14 Thread Henning Thielemann
With GHC-7.8 I get lots of warnings like src/Foo/Bar.hs:215:6: Warning: Rule foo may never fire because ‘bar’ might inline first Probable fix: add an INLINE[n] or NOINLINE[n] pragma on ‘bar’ So far I thought that rewrite RULES always have precedence to INLINE. Has this changed? I

RE: GHC-7.8 warning on rules that may not fire

2014-03-14 Thread Simon Peyton Jones
You may think they are fragile, but not as fragile as saying nothing and hoping for the best, which is *super*-fragile. You can't rely on rules to take priority, because the rule only fires if it matches, and it may only match if some other inlining has taken place. (We tried that originally.)

Re: GHC-7.8 warning on rules that may not fire

2014-03-14 Thread Henning Thielemann
Am 14.03.2014 18:05, schrieb Simon Peyton Jones: You may think they are fragile, but not as fragile as saying nothing and hoping for the best, which is *super*-fragile. You can't rely on rules to take priority, because the rule only fires if it matches, and it may only match if some other

Re: Problem with cabal's --enable-library-coverage on 7.8.1rc2

2014-03-14 Thread Federico Mastellone
I don’t know the cause of the error, I commented on this related cabal issue I found: https://github.com/haskell/cabal/issues/1700 On Mar 10, 2014, at 14:41, Carter Schonwald carter.schonw...@gmail.com wrote: So, was the issue cabal not catching the linker error? On Mon, Mar 10, 2014 at

RC2 build failure on Debian: armhf

2014-03-14 Thread Joachim Breitner
Hi, armhf still fails like in RC1: https://buildd.debian.org/status/fetch.php?pkg=ghcarch=armhfver=7.8.20140228-1stamp=1394723755 [..] 0% ( 0 / 5) in 'WwLib' 0% ( 0 / 2) in 'DmdAnal' 0% ( 0 / 2) in 'WorkWrap' compiler/typecheck/TcSplice.lhs-boot:29:1: TcSplice.tcTopSpliceExpr

splicing varPs in quasi-quote brackets

2014-03-14 Thread Christian Höner zu Siederdissen
Hello everybody, I wrote me this nice function 'buildRns' which splices in $(varP w) nice and recursively. Unfortunately, this only seems to work in the 7.8 branch, not in 7.6.3. Is this indeed new, or am I missing something obvious? The message is: ADP/Fusion/TH.hs:106:86: Parse error in

Re: splicing varPs in quasi-quote brackets

2014-03-14 Thread adam vogt
Hello Christian, It seems new to me that $( ) is allowed in patterns. I would have used lamE in something like: [| $(varE v) = return . SM.concatMapM $(lamE [varP v] (buildRns f (xs++[w]) ys))) |] Regards, Adam ___ Glasgow-haskell-users mailing list