Skip to content

Commit d8bff85

Browse files
Fix owl benchmark type error
1 parent 787fd72 commit d8bff85

File tree

2 files changed

+4
-3
lines changed

2 files changed

+4
-3
lines changed

Makefile

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -135,6 +135,7 @@ _opam/%: _opam/opam-init/init.sh ocaml-versions/%.json
135135
@{ case "$*" in \
136136
*5.0*) opam pin add -n --yes --switch $* sexplib0.v0.15.0 https://github.com/shakthimaan/sexplib0.git#multicore; \
137137
esac };
138+
opam pin add -n --yes --switch $* dune https://github.com/dra27/dune/archive/2.9.3-5.0.0.tar.gz
138139
opam pin add -n --yes --switch $* base https://github.com/kit-ty-kate/base/archive/500-015.tar.gz
139140
opam pin add -n --yes --switch $* coq-core https://github.com/ejgallego/coq/archive/refs/tags/multicore-2021-09-29.tar.gz
140141
opam pin add -n --yes --switch $* coq-stdlib https://github.com/ejgallego/coq/archive/refs/tags/multicore-2021-09-29.tar.gz

benchmarks/owl/test_owl.ml

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
open Owl
22

3-
let size = try int_of_string Sys.argv.(1) with _ -> 2048
3+
let size = 2048
44

5-
let () =
5+
let _ =
66
let a = Mat.sequential size size in
7-
Mat.(a * a)
7+
Mat.(a * a);;

0 commit comments

Comments
 (0)