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