Added Brainfold benchmarks

benchmarking/README.md

@@ -1,12 +1,29 @@
-# To run Coalton Benchmarks:
+## To run the Coalton library Benchmarks:
 
 `(ql:quickload :coalton/benchmarks)` or `(asdf:load-system :coalton/benchmarks)`
 
 `(in-package #:coalton-benchmarks)`
 
 `(run-coalton-benchmarks)`
 
-# Using Coalton Benchmarks
+# Using Coalton benchmarking
+
+## Benchmark Settings
+
+### Verbose
+Coalton benchmarking prints to the repl by default, though this setting can be turned off with:
+
+```
+(cl:setf *coalton-verbose-benchmarking* cl:nil)
+```
+### Printing width
+This controls how wide the benchmark is printed to the repl, in characters. This can be changed using:
+```
+(cl:setf *coalton-benchmark-width* 90) 
+```
+
+###  Print time in cientific notation
+By default, times are printed using scientific notation. This can be turned off using:
 
 ## Defining benchmarks:
 
@@ -27,22 +44,7 @@ Benchmarks can be defined in any Coalton package:
       Unit)))
 ```
 
-## Benchmark Settings
-
-### Verbose
-Coalton benchmarking prints to the repl by default, though this setting can be turned off with:
-
-```
-(cl:setf *coalton-verbose-benchmarking* cl:nil)
-```
-### Printing width
-This controls how wide the benchmark is printed to the repl, in characters. This can be changed using:
-```
-(cl:setf *coalton-benchmark-width* 90) 
-```
 
-###  Print time in cientific notation
-By default, times are printed using scientific notation. This can be turned off using:
 
 ```
 (cl:setf *coalton-benchmark-sci-notation* cl:nil) 
@@ -111,4 +113,4 @@ Package benchmarks can be reexported to other packages:
    "coalton-benchmarks/gabriel")
 ```
 
-This is useful unifying benchmarks at the top of package-per-file projects.
+This is especially useful for package-per-file projects.

examples/small-coalton-programs/small-coalton-programs.asd

@@ -1,5 +1,5 @@
 (asdf:defsystem #:small-coalton-programs
-  :depends-on (#:coalton)
+  :depends-on (#:coalton #:coalton/benchmarking)
   :pathname "src/"
   :serial t
   :components ((:file "package")

examples/small-coalton-programs/src/brainfold.lisp

@@ -17,7 +17,8 @@
 (cl:defpackage #:brainfold
   (:use
    #:coalton
-   #:coalton-prelude)
+   #:coalton-prelude
+   #:coalton-benchmarking)
   (:local-nicknames
    (#:vec #:coalton-library/vector)
    (#:iter #:coalton-library/iterator)
@@ -31,12 +32,14 @@
   (:export
    #:eval
    #:run-program
-   #:run-file
-
+   #:run-file)
+  (:export
    ;; Examples
    #:hello-world
    #:gnarly-hello-world
-   #:squares))
+   #:squares)
+  (:export
+   #:run-brainfold-benchmarks))
 
 (in-package #:brainfold)
 
@@ -305,3 +308,36 @@
 
   (define (squares)
     (run-program "++++[>+++++<-]>[<+++++>-]+<+[>[>+>+<<-]++>>[<<+>>-]>>>[-]++>[-]+>>>+[[-]++++++>>>]<<<[[<++++++++<++>>-]+<.<[>----<-]<]<<[>>>>>[>>>[-]+++++++++<[>-<-]+++++++++>[-[<->-]+[<<<]]<[>+<-]>]<<-]<<-]")))
+
+(define-benchmark bf-hello 1
+  (fn ()
+    (hello-world)
+    Unit))
+
+(define-benchmark bf-hello10 10
+  (fn ()
+    (hello-world)
+    Unit))
+
+(define-benchmark bf-gnarly 1
+  (fn ()
+    (gnarly-hello-world)
+    Unit))
+
+(define-benchmark bf-gnarly10 10
+  (fn ()
+    (gnarly-hello-world)
+    Unit))
+
+(define-benchmark squares 1
+  (fn ()
+    (squares)
+    Unit))
+
+(define-benchmark squares10 10
+  (fn ()
+    (squares)
+    Unit))
+
+(cl:defun run-brainfold-benchmarks ()
+  (run-package-benchmarks "brainfold"))