Uncaught exception: Invalid_argument("equal: functional value") Fatal error: exception Invalid_argument("equal: functional value") Raised by primitive operation at unknown location Called from file "src/batEnum.ml", line 803, characters 16-23 Called from file "src/batEnum.ml", line 679, characters 9-12 Called from file "src/batEnum.ml", line 363, characters 16-26 Called from file "src/batEnum.ml", line 367, characters 2-8 Re-raised at file "src/batEnum.ml", line 346, characters 2-98 Called from file "src/batList.ml", line 579, characters 9-97 Called from file "pplacer_src/nbc.ml", line 247, characters 84-98