diff --git a/ir.py b/ir.py index 141d8b5..034e35e 100644 --- a/ir.py +++ b/ir.py @@ -278,7 +278,7 @@ class Switch: if n in self.branches: return Some(self.branches[n]) else: - return None + return Some(self.fallback) raise Exception('Attempted to switch on non-integer value') raise Exception('Unreachable')