Hello, Haskellers.

I am working on HDBI and I faced with the problem.

There is an error when I close SQlite database, "unable to close due to unfinalized statements or unfinished backups".

This problems occurs when there is some not finalized statements related to this database.

So, I must protect the user from this error and garantee the finalisation of all the statements BEFORE the disconnection from

the database.

There is naive implementation of weak child list inherited from HDBC

Here you can see that ChildList is just MVar to list of weak pointers.

Every time when the statement is created the new weak pointer prepended to this list.

Every time when statement becomes not reachable the weak pointer becomes empty and it's finalizer is scheduled to execute in parralel thread.

The finalizer finishes the statement, so if finalizer is executed the statement is finished.

Before the actual call of disconnection the 'disconnect' method performs 'closeAllChildren'.

Call of 'closeAllChildren' performs finishing of just not empty weak pointers, because the finishing of not reachable statements is imposible.

You can see the implementation here

and here is the simplest code which cause an error

{-# LANGUAGE

OverloadedStrings

#-}

module Main where

import System.Mem

import Database.HDBI.SQlite

import Database.HDBI

perf c = do

runRaw c "create table integers (val)"

s <- prepare c "select * from integers"

return ()

main = do

c <- connectSqlite3 ":memory:"

perf c

performGC

disconnect c

If you remove 'performGC' error not occurs, because the weak pointer in ChildList is still not empty and

'finish' is performed in 'closeAllChildren'.

The problem occures when the statement becomes not reachable and weak pointer becomes empty,

The naive solution is to make 'closeAllChildren' to wait until all finalizers is completely performed. But how ?

Maybe you have the better solution to garantee that all statements are finished before the database disconnecting ?