13 Apr
2014
13 Apr
'14
7:24 a.m.
* Konstantine Rybnikov
Just FYI, this still gives a warning: ... case m of [] -> putStrLn "empty" (M.toList -> (x:_)) -> putStrLn $ "ok, some random elem is: " ++ show x
Does that surprise you? The compiler doesn't have any special knowledge about the M.toList function to infer that these two cases are exhaustive. Roman