@@ -23,6 +23,7 @@ traceUnused n
2323 recused <- mapM (\ (argn, i, (g, j)) ->
2424 do u <- used [(n, i)] g j
2525 return (argn, u)) fargs
26+ logLvl 4 $ show n ++ " recused TRACE: " ++ show recused
2627 let fused = nub $ usedns ++ map fst (filter snd recused)
2728 logLvl 1 $ show n ++ " used args: " ++ show fused
2829 let unusedpos = mapMaybe (getUnused fused) (zip [0..] args)
@@ -50,7 +51,7 @@ used path g j
5051 recused <- mapM (\ (argn, j, (g', j')) ->
5152 used ((g,j):path) g' j') garg
5253 -- used on any route from here, or not used recursively
53− return (directuse || null recused || or recused)
54+ return (directuse || or recused)
5455 _ -> return True -- no definition, assume used
5556
5657getFargpos :: [(Name, [[Name]])] -> (Name, Int) -> [(Name, Int, (Name, Int))]