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 m...@joachim-breitner.de • https://www.joachim-breitner.de/ XMPP: nome...@joachim-breitner.de • OpenPGP-Key: 0xF0FBF51F Debian Developer: nome...@debian.org
signature.asc
Description: This is a digitally signed message part
_______________________________________________ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
