File "
virtue.ml", line 462, characters 12-24:
Error: This expression has type
int * ((int * int -> int * int) list -> exn) *
(exn -> (int * int -> int * int) list)
but an expression was expected of type
int * ((< .. > as 'a) list -> exn) * (exn -> 'a list)
The code in question:
(fun id ->
let m = Modifier.attach id in
[ m Cast.total'k (fun (v,b) -> (v, max 1 (b-3))) (* <-- line 462 *)
; m Lab.total'k (fun (v,b) -> (v, max 1 (b-3))) ])
For reference, the signature of Modifier.attach:
Db.key -> int * ('a list -> exn) * (exn -> 'a list) -> 'a -> Modifier.deleter
OCaml version is 4.00.0 -- I know I should upgrade. Keep meaning to, I
guess I will if I wake up and there's no helpful soul explaining what could
be wrong here. :)
Thank-you for any help. My eyes are starting to bug-out looking at this.
-Tony