Add ReturnType(ret) so we can more accurately track return values for

`if` statements

1 files changed, 1 insertions, 0 deletions

diff --git a/repl.c b/repl.c
index f4051451..e8cccfbc 100644
--- a/repl.c
+++ b/repl.c
@@ -98,6 +98,7 @@ const TypeInfo *type_to_type_info(type_t *t)
 {
     switch (t->tag) {
     case AbortType: return &$Abort;
+    case ReturnType: errx(1, "Shouldn't be getting a typeinfo for ReturnType");
     case VoidType: return &$Void;
     case MemoryType: return &$Memory;
     case BoolType: return &$Bool;