Add clean user-facing Fill class and remove _untypedFillN

Author: tbagrel1

memory/Main.hs

@@ -1,16 +1,39 @@
 module Main (main) where
 
 import qualified Bench.Compact.Pure as Compact
+import Bench.Compact.SExpr
 import Test.Tasty.Bench (defaultMain)
+import System.Environment
+import Control.DeepSeq (rnf)
+import Control.Exception (evaluate)
 
--- Launch with
+-- Launch regular benchmark with
 -- stack bench linear-base:bench:memory --ba '+RTS -T'
 
+-- Profile parseWithoutDest with
+-- stack bench --library-profiling --executable-profiling --ghc-options '-fprof-late' linear-base:bench:memory --ba '+RTS -p -RTS runParseWithoutDest'
+
+-- Profile parseUsingDest with
+-- stack bench --library-profiling --executable-profiling --ghc-options '-fprof-late' linear-base:bench:memory --ba '+RTS -p -RTS runParseUsingDest'
+
 -- remove useless lines in profiling results with
 -- .*?0\.0    0\.0     0\.0    0\.0\n
 
+-- remove all lines with no individual contribution to alloc with
+-- .*?([0-9]+\.[0-9])\s+?0\.0\s+?([0-9]+\.[0-9])\s+([0-9]+\.[0-9])\n
+
 main :: IO ()
 main = do
-  defaultMain
-    [ Compact.benchmarks
-    ]
+  args <- getArgs
+  case args of
+    "runParseWithoutDest" : _ -> do
+        sampleData <- loadSampleData
+        let res = parseWithoutDest sampleData
+        evaluate $ rnf $ res
+    "runParseUsingDest" : _ -> do
+        sampleData <- loadSampleData
+        let res = parseUsingDest sampleData
+        evaluate $ rnf $ res
+    _ -> defaultMain
+            [ Compact.benchmarks
+            ]

src/Compact/Pure.hs

@@ -12,7 +12,7 @@ module Compact.Pure
     pattern RegionContext,
     withRegion,
     Dest,
-    fill,
+    Fill (fill),
     (<|),
     fillComp,
     (<|.),