[commit: ghc] wip/oneShot: Add oneShot demo file (04ad665)

[git at git.haskell.org]

Repository : ssh://git@git.haskell.org/ghc

On branch  : wip/oneShot
Link       : http://ghc.haskell.org/trac/ghc/changeset/04ad66536daf9e2eaa0f3c2133112d3b21904b2c/ghc

>---------------------------------------------------------------

commit 04ad66536daf9e2eaa0f3c2133112d3b21904b2c
Author: Joachim Breitner <mail at joachim-breitner.de>
Date:   Mon Oct 6 23:04:02 2014 +0200

    Add oneShot demo file
    
    (if you remove {-# GHC_OPTIONS -fno-call-arity #-} then both functions
    have the same Core).
    
    Obviously, this patch is not meant to be merged.


>---------------------------------------------------------------

04ad66536daf9e2eaa0f3c2133112d3b21904b2c
 OneShotTest.hs | 22 ++++++++++++++++++++++
 1 file changed, 22 insertions(+)

diff --git a/OneShotTest.hs b/OneShotTest.hs
new file mode 100644
index 0000000..b595285
--- /dev/null
+++ b/OneShotTest.hs
@@ -0,0 +1,22 @@
+{-# OPTIONS_GHC -fno-call-arity #-}
+
+module OneShotTest (foldlB, foldlA, fooA, fooB, fooC) where
+
+import GHC.Prim (oneShot)
+
+foldlA, foldlB :: (x -> a -> a) -> a -> [x] -> a
+
+foldlA k a xs = foldr (\v f a -> f (v `k` a)) id xs a
+{-# INLINEABLE foldlA #-}
+
+foldlB k a xs = foldr (\v f -> oneShot (\ a -> f (v `k` a))) id xs a
+{-# INLINEABLE foldlB #-}
+
+f :: Int -> Bool
+f 0 = True
+f 1 = False
+{-# NOINLINE f #-}
+
+fooA = foldlA (+) 0 . filter f
+fooB = foldlB (+) 0 . filter f
+fooC = foldl (+) 0 . filter f