Fix optional integer promotion

1 files changed, 21 insertions, 0 deletions

diff --git a/test/optionals.tm b/test/optionals.tm
index e5ee9bcc..e2cdf9a6 100644
--- a/test/optionals.tm
+++ b/test/optionals.tm
@@ -19,6 +19,12 @@ func maybe_int(should_i:Bool)->Int?:
     else:
         return !Int
 
+func maybe_int64(should_i:Bool)->Int64?:
+    if should_i:
+        return 123_i64
+    else:
+        return !Int64
+
 func maybe_array(should_i:Bool)->[Int]?:
     if should_i:
         return [10, 20, 30]
@@ -93,6 +99,21 @@ func main():
 
     do:
         !! ...
+        !! Int64s:
+        >> yep := maybe_int64(yes)
+        = 123_i64?
+        >> nope := maybe_int64(no)
+        = !Int64
+        >> if yep:
+            >> yep
+            = 123_i64
+        else: fail("Falsey: $yep")
+        >> if nope:
+            fail("Truthy: $nope")
+        else: !! Falsey: $nope
+
+    do:
+        !! ...
         !! Arrays:
         >> yep := maybe_array(yes)
         = [10, 20, 30]?