@@ -301,7 +301,7 @@ buildDepMap ci ctx mainName = addPostulates $ dfs S.empty M.empty [mainName]
301301 -- assumed to be a global reference
302302 | otherwise = M.singleton cd (M.singleton (n, Result) S.empty)
303303 where
304− specialMNs = [sMN 0 "__Unit", sMN 0 "__True", sMN 0 "__False"]
304+ specialMNs = map (sMN 0 . ("__" ++)) $ words "Unit True False II"
305305
306306 -- dependencies of de bruijn variables are described in `bs'
307307 getDepsTerm vs bs cd (V i) = (bs !! i) cd
@@ -377,9 +377,9 @@ buildDepMap ci ctx mainName = addPostulates $ dfs S.empty M.empty [mainName]
377377 getDepsArgs n (Just i, t) = getDepsTerm vs bs (S.insert (n, Arg i) cd) t -- conditional
378378 getDepsArgs n (Nothing, t) = getDepsTerm vs bs cd t -- unconditional
379379
380− -- projections (= methods)
380+ -- projections
381+ getDepsTerm vs bs cd (Proj t (-1)) = getDepsTerm vs bs cd t -- naturals, (S n) -> n
381382 getDepsTerm vs bs cd (Proj t i) = error $ "cannot[1] analyse projection !" ++ show i ++ " of " ++ show t
382− -- getDepsTerm vs bs cd t -- TODO?
383383
384384 -- the easy cases
385385 getDepsTerm vs bs cd (Constant _) = M.empty