I get it now, thank you for the explanation. To be frank, in that situation, I would expect Dialyzer to tell me that there are branches that cannot be taken according to type definitions (e.g. "f1(_) -> error" and "f2(_) -> error"). -- Nicolas Martyanoff http://snowsyn.net khaelin@REDACTED