on master help sign in
Merge branch 'master' of github.com:idris-lang/idris-dev
commitac2a6f29c137b351a95fac8c96af8ae50e2165c2 authorTenor Biel <tenorbiel@gmail.com> dateFri 9 Jan 2015, 22:21 (12 years ago) parent9680cbc68e96f0
1 file changed+1−1
src/Idris/Erasure.hs+1−1
src/Idris/Erasure.hs+1−1
@@ -300,7 +300,7 @@ buildDepMap ci ctx mainName = addPostulates $ dfs S.empty M.empty [mainName]
300300 casedVar = fromMaybe (error $ "nonpatvar in case: " ++ show n) (M.lookup n vs)
301301
302302 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
304304 getDepsAlt fn es vs var (ConstCase c sc) = getDepsSC fn es vs sc
305305 getDepsAlt fn es vs var (DefaultCase sc) = getDepsSC fn es vs sc
306306 getDepsAlt fn es vs var (SucCase n sc)