let itl_len = List.length itl in
let (name,_,ty,cl) = List.nth itl i in
let cl_len = List.length cl in
- if (itl_len = 1 && cl_len <= 1) then
+ if (cl_len = 0 || (itl_len = 1 && cl_len = 1)) then
let non_informative,ugraph =
if cl_len = 0 then true,ugraph
else
is_non_informative ~logger [Some (C.Name name,C.Decl ty)]
paramsno (snd (List.nth cl 0)) ugraph
in
- (* is a singleton or empty non recursive and non informative
+ (* is it a singleton or empty non recursive and non informative
definition? *)
non_informative, ugraph
else
- false,ugraph
+ false,ugraph
| _ ->
raise (TypeCheckerFailure
(lazy ("Unknown mutual inductive definition:" ^