fyquah / hardcaml_arty

A hardcaml library to interface with arty boards

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Error while testing

eliquinox opened this issue · comments

While attempting to test from withing top level project directory, I get the following error:

$ dune test
File "test/infrastructure/test_uart_state_machine.ml", line 20, characters 31-56:
20 |       (Cyclesim.create ~config:Cyclesim.Config.trace_all circuit) in
                                    ^^^^^^^^^^^^^^^^^^^^^^^^^
Error: The function applied to this argument has type
         ?is_internal_port:(Signal.t -> Base.bool) ->
         ?combinational_ops_database:Hardcaml.Combinational_ops_database.t ->
         (Cyclesim.Port_list.t, Cyclesim.Port_list.t) Cyclesim.t
This argument cannot be applied with label ~config

Could it be my Ocaml set up?

Reinstalled a fresh opam switch with 4.14.0 base compiler and all works well.