Data_encoding: Ignore is actually a `Fixed 0

This commit is contained in:
Benjamin Canou 2018-05-24 00:31:32 +02:00
parent d1c2f631d5
commit b0be5b630d

View File

@ -159,7 +159,7 @@ let rec classify : type a. a t -> Kind.t = fun e ->
| Union (kind, _, _) -> (kind :> Kind.t)
| Mu (kind, _, _) -> (kind :> Kind.t)
(* Variable *)
| Ignore -> `Variable
| Ignore -> `Fixed 0
| Array _ -> `Variable
| List _ -> `Variable
(* Recursive *)