Add a kludge to the compare tool for unicode filenames
authorIan Lynagh <ian@well-typed.com>
Sun, 27 Jan 2013 16:26:35 +0000 (16:26 +0000)
committerIan Lynagh <ian@well-typed.com>
Sun, 27 Jan 2013 16:26:35 +0000 (16:26 +0000)
commitd1fd45d122131bb9b07784bf3afe280162089483
tree1253cd162308e697c06431ac9ec4cc12a6ff742c
parent5943a5b2cf7d5da2d253dec73ee5be6ce870e4ba
Add a kludge to the compare tool for unicode filenames

It thought that something impossible was happening when they
were involved.
distrib/compare/FilenameDescr.hs