@@ -407,6 +407,7 @@ buildSCG (_, n) = do
407407 let newscg = buildSCG' ist sc args
408408 logLvl 5 $ show newscg
409409 addToCG n ( cg { scg = newscg } )
410+ [] -> logLvl 5 $ "Could not build SCG for " ++ show n ++ "\n"
410411
411412buildSCG' :: IState -> SC -> [Name] -> [SCGEntry]
412413buildSCG' ist sc args = nub $ scg sc (zip args args)
@@ -505,6 +506,8 @@ checkSizeChange n = do
505506 let tot = map (checkMP ist (length (argsdef cg))) ms
506507 logLvl 3 $ "Paths for " ++ show n ++ " yield " ++ (show tot)
507508 return (noPartial tot)
509+ [] -> do logLvl 5 $ "No paths for " ++ show n
510+ return Unchecked
508511
509512type MultiPath = [SCGEntry]
510513