Incompatibilidade de tipos de dados. O tipo de módulo de condição {1} gera dados {2} que são incompatíveis com o tipo de ...