almost there

Author: thma

app/Main.hs

@@ -69,6 +69,9 @@ fibonacci = [r|
 |]
 
 
+printCS :: CL -> IO ()
+printCS cl = putStrLn ("code size: " ++ show (codeSize cl))
+
 -- data CL = Com Combinator | INT Integer | CL :@ CL
 codeSize :: CL -> Int
 codeSize (Com _) = 1
@@ -87,43 +90,43 @@ showCompilations source = do
   let expr = compileBracket env
   putStrLn "The main expression compiled to SICKBY combinator expressions by recursice bracket abstraction:"
   print expr
-  print $ codeSize expr
+  printCS expr
   putStrLn ""
 
   putStrLn "applying plain Kiselyov compilation:"
   print $ compilePlain env
-  print $ codeSize $ compilePlain env
+  printCS $ compilePlain env
   putStrLn ""
 
   let exprK = compileK env
   putStrLn "The main expression compiled to SICKBY combinator expressions with K-optimization:"
   print exprK
-  print $ codeSize exprK
+  printCS exprK
   putStrLn ""
 
 
   let expr' = compileEta env
   putStrLn "The main expression compiled to SICKBY combinator expressions with Eta-optimization:"
   print expr'
-  print $ codeSize expr'
+  printCS expr'
   putStrLn ""
 
   let expr'' = compileBulk env
   putStrLn "The main expression compiled to SICKBY combinator expressions with bulk combinators:"
   print expr''
-  print $ codeSize expr''
+  printCS expr''
   putStrLn ""
 
   let expr''' = compileBulkLinear env
   putStrLn "The main expression compiled to SICKBY combinator expressions with bulk combinators and linear elimination:"
   print expr'''
-  print $ codeSize expr'''
+  printCS expr'''
   putStrLn ""
 
   let expr'''' = compileBulkLog env
   putStrLn "The main expression compiled to SICKBY combinator expressions with bulk combinators and logarithmic elimination:"
   print expr''''
-  print $ codeSize expr''''
+  printCS expr''''
   putStrLn ""