
diff -r bff0011cdf42 -r 9cf0b79dfb7f src/Tools/Haskell/Test.thy
--- a/src/Tools/Haskell/Test.thy	Mon Dec 10 23:19:37 2018 +0100
+++ b/src/Tools/Haskell/Test.thy	Mon Dec 10 23:36:29 2018 +0100
@@ -15,7 +15,9 @@
 
       val modules = files
         |> map (Path.implode #> unsuffix ".hs" #> space_explode "/" #> space_implode ".");
-      val _ = GHC.new_project tmp_dir {name = "isabelle", depends = [], modules = modules};
+      val _ =
+        GHC.new_project tmp_dir
+          {name = "isabelle", depends = ["bytestring", "utf8-string", "network"], modules = modules};
 
       val (out, rc) =
         Isabelle_System.bash_output




