From b6c934b9f37360df175a237ac88fe71dcb459cde Mon Sep 17 00:00:00 2001
From: Sam Caldwell <samc@ccs.neu.edu>
Date: Tue, 25 Feb 2020 16:16:19 -0500
Subject: [PATCH] TODO: keep track of match branching

---
 racket/typed/core-expressions.rkt | 1 +
 1 file changed, 1 insertion(+)

diff --git a/racket/typed/core-expressions.rkt b/racket/typed/core-expressions.rkt
index 9361a2d..4f9095e 100644
--- a/racket/typed/core-expressions.rkt
+++ b/racket/typed/core-expressions.rkt
@@ -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 ... ...))])