@@ -572,6 +572,9 @@ buildDepMap ci used externs ctx startNames
572 getDepsTerm vs bs cd (Proj t (-1)) = getDepsTerm vs bs cd t -- naturals, (S n) -> n
572 getDepsTerm vs bs cd (Proj t (-1)) = getDepsTerm vs bs cd t -- naturals, (S n) -> n
573 getDepsTerm vs bs cd (Proj t i) = error $ "cannot[1] analyse projection !" ++ show i ++ " of " ++ show t
573 getDepsTerm vs bs cd (Proj t i) = error $ "cannot[1] analyse projection !" ++ show i ++ " of " ++ show t
576+ getDepsTerm vs bs cd (Inferred t) = getDepsTerm vs bs cd t
575 -- the easy cases
578 -- the easy cases
576 getDepsTerm vs bs cd (Constant _) = M.empty
579 getDepsTerm vs bs cd (Constant _) = M.empty
577 getDepsTerm vs bs cd (TType _) = M.empty
580 getDepsTerm vs bs cd (TType _) = M.empty