compile: 
File "toposort.ml", line 39, characters 4-5:
Error: The type of this expression, ('_a, '_b) Hashtbl.t,
       contains type variables that cannot be generalized
finished

all tasks finished, build successfully