On Fri, 2015-05-22 at 17:34 -0500, Andrés Sicard-Ramírez wrote: > On 22 May 2015 at 10:19, Sergei Meshveliani <mechvel at botik.ru> wrote: > > I have tested it on the docon-A application. > > This does not reveal any errors. > > Which version of GHC did you use? > ghc-7.8.3, MAlonzo, Debian Linux. ------ Sergei