@@ -407,6 +407,7 @@ buildSCG (_, n) = do
407 let newscg = buildSCG' ist sc args
407 let newscg = buildSCG' ist sc args
408 logLvl 5 $ show newscg
408 logLvl 5 $ show newscg
409 addToCG n ( cg { scg = newscg } )
409 addToCG n ( cg { scg = newscg } )
410+ [] -> logLvl 5 $ "Could not build SCG for " ++ show n ++ "\n"
411buildSCG' :: IState -> SC -> [Name] -> [SCGEntry]
412buildSCG' :: IState -> SC -> [Name] -> [SCGEntry]
412buildSCG' ist sc args = nub $ scg sc (zip args args)
413buildSCG' ist sc args = nub $ scg sc (zip args args)
@@ -505,6 +506,8 @@ checkSizeChange n = do
505 let tot = map (checkMP ist (length (argsdef cg))) ms
506 let tot = map (checkMP ist (length (argsdef cg))) ms
506 logLvl 3 $ "Paths for " ++ show n ++ " yield " ++ (show tot)
507 logLvl 3 $ "Paths for " ++ show n ++ " yield " ++ (show tot)
507 return (noPartial tot)
508 return (noPartial tot)
509+ [] -> do logLvl 5 $ "No paths for " ++ show n
509type MultiPath = [SCGEntry]
512type MultiPath = [SCGEntry]