git.iko.soy/Idris-dev
on master help sign in
Merge branch 'master' of github.com:idris-lang/idris-dev
ac2a6f2Tenor Biel
src/Idris/Erasure.hs+1−1
compare with master
unifiedsplit
@@ -300,7 +300,7 @@ buildDepMap ci ctx mainName = addPostulates $ dfs S.empty M.empty [mainName]
300 casedVar = fromMaybe (error $ "nonpatvar in case: " ++ show n) (M.lookup n vs)
300 casedVar = fromMaybe (error $ "nonpatvar in case: " ++ show n) (M.lookup n vs)
301
301
302 getDepsAlt :: Name -> [Name] -> Vars -> VarInfo -> CaseAlt -> Deps
302 getDepsAlt :: Name -> [Name] -> Vars -> VarInfo -> CaseAlt -> Deps
303− getDepsAlt fn es vs var (FnCase n ns sc) = error "an FnCase encountered" -- TODO: what's this?
303+ getDepsAlt fn es vs var (FnCase n ns sc) = M.empty -- can't use FnCase at runtime
304 getDepsAlt fn es vs var (ConstCase c sc) = getDepsSC fn es vs sc
304 getDepsAlt fn es vs var (ConstCase c sc) = getDepsSC fn es vs sc
305 getDepsAlt fn es vs var (DefaultCase sc) = getDepsSC fn es vs sc
305 getDepsAlt fn es vs var (DefaultCase sc) = getDepsSC fn es vs sc
306 getDepsAlt fn es vs var (SucCase n sc)
306 getDepsAlt fn es vs var (SucCase n sc)