Commit a5d8af4a authored by Bastian Kauschke's avatar Bastian Kauschke

update benchmarks

parent f45a0ba5
......@@ -38,7 +38,7 @@ benchIdentity = bgroup "Identity" $
benchMarkov :: Benchmark
benchMarkov = bgroup "Ax(R^X)" $
let
functors = map (map functorExprParser) registeredFunctors
functors = map dynFunctorExprParser registeredFunctors
Right f = annotateSorts <$> parseFunctorExpression functors "" "{a,b,c,d,e}x(R^X)"
in
[ benchParser "simple" f
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment