O padrão ativo '{0}' possui um tipo de resultado contendo variáveis de tipo que não são determinadas pela entrada. A causa ...

O padrão ativo '{0}' possui um tipo de resultado contendo variáveis de tipo que não são determinadas pela entrada. A causa comum é a falta da menção ao caso de resultado, por exemplo 'let (|A|B|) (x:int) = A x'. Isto pode ser corrigido com uma restrição de tipo, por exemplo 'let (|A|B|) (x:int) : Choice = A x'