TODO: keep track of match branching
This commit is contained in:
parent
480feb961c
commit
c38a47f5e3
|
@ -158,6 +158,7 @@
|
|||
[⊢ (match- e- [p- s-] ...
|
||||
[_ (#%app- error- "incomplete pattern match")])
|
||||
(⇒ : (U τ-s ...))
|
||||
;; TODO losing branching information here
|
||||
(⇒ ν-ep (eps ... ...))
|
||||
(⇒ ν-f #,(make-Branch #'((fs ...) ...)))
|
||||
(⇒ ν-s (ss ... ...))])
|
||||
|
|
Loading…
Reference in New Issue