20 Feb
2016
20 Feb
'16
5:02 p.m.
Hi, Am Freitag, den 19.02.2016, 12:27 -0500 schrieb Ömer Sinan Ağacan:
Should I try replacing these cases with panics and try to validate?
of course you can, but I have seen cases where due to type families and stuff you can have a type-correct program that „looks wrongly typed“ from the point of view of the strictness analyzer. So in these cases it is indeed the right thing to throw away the conflicting information and continue. Greetings, Joachim -- Joachim “nomeata” Breitner mail@joachim-breitner.de • https://www.joachim-breitner.de/ XMPP: nomeata@joachim-breitner.de • OpenPGP-Key: 0xF0FBF51F Debian Developer: nomeata@debian.org