anoma/juvix
1
1
Fork 0
mirror of https://github.com/anoma/juvix.git synced 2025-01-05 22:46:08 +03:00
Code Issues Projects Releases Wiki Activity

Fix benchmarks test compilation (#2552)

Browse Source 
The benchmarks build has been broken for some time because one of the
juvix programs was not compiling.
This commit is contained in:
Paul Cadman 2023-12-10 12:13:56 +01:00 committed by GitHub
parent d3e862fc51
commit 170a4d39c0
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
tests/benchmark/mapfun/juvix/mapfun.juvix
View File

@ -1,9 +1,7 @@
-- successively map K functions to a list of N integers
module mapfun;
import Stdlib.Prelude open hiding {+};
import Stdlib.Data.Int open;
import Stdlib.Data.Int.Ord open;
import Stdlib.Prelude open;
mapfun : {A : Type} → List (A → A) → List A → List A
| nil xs := xs