git.iko.soy/Idris-dev
on master help sign in
Merge pull request #2955 from jfdm/fix-benchmarks

Update Benchmark to respect new visibility rules.

commit01dc140f63d48050b5162c6902ff1706bb45a946 authorJan de Muijnck-Hughes <jfdm@users.noreply.github.com> dateMon 8 Feb 2016, 16:58 (11 years ago) parent6dd63939cf2c02
2 files changed+4−1
compare with master
unifiedsplit
benchmarks/quasigroups/Parser.idr+2 benchmarks/quasigroups/Solver.idr+2−1
benchmarks/quasigroups/Parser.idr+2
@@ -5,6 +5,8 @@ import Data.Vect
55
66import Solver
77
8+%access public export
9+
810ParseErr : Type
911ParseErr = String
1012
benchmarks/quasigroups/Solver.idr+2−1
@@ -6,6 +6,7 @@ import Data.Vect
66import Data.Vect.Quantifiers
77
88%default total
9+%access public export
910
1011Cell : Nat -> Type
1112Cell n = Maybe (Fin n)
@@ -32,7 +33,7 @@ unlines (l::ls) = pack (foldl addLine (unpack l) (map unpack ls))
3233 addLine : List Char -> List Char -> List Char
3334 addLine w s = w ++ ('\n' :: s)
3435
35−instance Show (Board n) where
36+Show (Board n) where
3637 show (MkBoard rs) = unlines (map showRow rs)
3738
3839updateAt : Fin n -> Vect n a -> (a -> a) -> Vect n a