d3dc418 · Idris-dev · git.iko.soy

git.iko.soy/Idris-dev

on master help sign in

Add names in types to call graph

d3dc418Edwin Brady11 years ago

src/Idris/Coverage.hs+1

@@ -474,6 +474,7 @@ buildSCG (_, n) = do

474 let newscg = buildSCG' ist (rights pats) args

475 logCoverage 5 $ "SCG is: " ++ show newscg

476 addToCG n ( cg { scg = newscg } )

477+ _ -> return () -- CG comes from a type declaration only

477 [] -> logCoverage 5 $ "Could not build SCG for " ++ show n ++ "\n"

478 [] -> logCoverage 5 $ "Could not build SCG for " ++ show n ++ "\n"

478 x -> error $ "buildSCG: " ++ show (n, x)

479 x -> error $ "buildSCG: " ++ show (n, x)

479

480

src/Idris/Elab/Type.hs+4

@@ -102,6 +102,10 @@ buildType info syn fc opts n ty' = do

102 logElab 3 ("Implicit " ++ show n ++ " " ++ show impls)

103 addIBC (IBCImp n)

104

105+ -- Add the names referenced to the call graph

106+ addCalls n (freeNames cty)

107+ addIBC (IBCCG n)

108+

105 when (Constructor `notElem` opts) $ do

109 when (Constructor `notElem` opts) $ do

106 let pnames = getParamsInType i [] impls cty

110 let pnames = getParamsInType i [] impls cty

107 let fninfo = FnInfo (param_pos 0 pnames cty)

111 let fninfo = FnInfo (param_pos 0 pnames cty)