Add dependency on expressions in function default arguments

Any function call in a default argument will be requried by callers of
the outer function.

src/Juvix/Compiler/Internal/Extra/DependencyBuilder.hs

@@ -192,6 +192,7 @@ goFunctionDefHelper f = do
     goInstance f
   goExpression (Just (f ^. funDefName)) (f ^. funDefType)
   goExpression (Just (f ^. funDefName)) (f ^. funDefBody)
+  mapM_ (goExpression (Just (f ^. funDefName))) (catMaybes (concat (f ^. funDefDefaultSignature ^.. defaultSignature)))
 
 -- constructors of an inductive type depend on the inductive type, not the other
 -- way round; an inductive type depends on the types of its constructors

test/Compilation/Positive.hs

@@ -387,5 +387,10 @@ tests =
       "Test065: Arithmetic simplification"
       $(mkRelDir ".")
       $(mkRelFile "test065.juvix")
-      $(mkRelFile "out/test065.out")
+      $(mkRelFile "out/test065.out"),
+    posTest
+      "Test066: Import function with a function call in default argument"
+      $(mkRelDir "test066")
+      $(mkRelFile "M.juvix")
+      $(mkRelFile "out/test066.out")
   ]

tests/Compilation/positive/out/test066.out

@@ -0,0 +1 @@
+0

tests/Compilation/positive/test066/M.juvix

@@ -0,0 +1,6 @@
+module M;
+
+import Stdlib.Prelude open;
+import N open;
+
+main : Nat := f;

tests/Compilation/positive/test066/N.juvix

@@ -0,0 +1,7 @@
+module N;
+
+import Stdlib.Prelude open;
+
+mkNat (n : Nat) : Nat := n;
+
+f {a : Nat := mkNat 0} : Nat := a;