fix(library/init/lean/compiler/ir/emitutil): missing FnBody.case

2019-05-21 08:11:48 -07:00 · 2019-05-21 08:11:48 -07:00 · f84ea28923
commit f84ea28923
parent dbe2bebc06
1 changed files with 1 additions and 0 deletions
--- a/library/init/lean/compiler/ir/emitutil.lean
+++ b/library/init/lean/compiler/ir/emitutil.lean
@ -92,6 +92,7 @@ local infix ` >> `:50 := Function.comp
 partial def collectFnBody : FnBody → Collector
 | (FnBody.vdecl x t _ b)  := collectVar x t >> collectFnBody b
 | (FnBody.jdecl j xs v b) := collectJP j xs >> collectParams xs >> collectFnBody v >> collectFnBody b
+| (FnBody.case _ _ alts)  := λ s, alts.foldl (λ s alt, collectFnBody alt.body s) s
 | e                       := if e.isTerminal then id else collectFnBody e.body

 def collectDecl : Decl → Collector