Termination analysis: add support for polymorphic variant creation.

Author: cristianoc

Changes.md

@@ -3,6 +3,7 @@
 - Exception analysis: add support for Belt modules.
 - Termination analysis: add support for try blocks.
 - Termination analysis: add support for array creation.
+- Termination analysis: add support for polymorphic variant creation.
 
 # 2.14.0
 - Fix issue where type dependencies could get lost if the last file processed is an interface file.

examples/termination/src/TestCyberTruck.res

@@ -440,7 +440,7 @@ module TerminationTypes = {
 let rec testTry = () => {
   try raise(Not_found) catch {
   | Not_found =>
-    progress()
+    let _ = #abc(progress())
     testTry()
   | _ =>
     let _ = [(), progress(), ()]

examples/termination/src/termination.txt

@@ -598,7 +598,7 @@
   Termination Analysis for testTry
 
   Termination Analysis
-  File "./TestCyberTruck.res", line 440, characters 18-164
+  File "./TestCyberTruck.res", line 440, characters 18-178
   testTry returns Progress with trace [progress:Progress; testTry:Progress || progress:Progress; testTry:Progress]
 
   Termination Analysis Stats

src/Arnold.re

@@ -1154,7 +1154,7 @@ module Compile = {
       let cE = e |> expression(~ctx);
       let cCases = cases |> List.map(case(~ctx)) |> Command.nondet;
       Command.(cE +++ cCases);
-    | Texp_variant(_) => assert(false)
+    | Texp_variant(_label, eOpt) => eOpt |> expressionOpt(~ctx)
     | Texp_while(_) => assert(false)
     | Texp_for(_) => assert(false)
     | Texp_send(_) => assert(false)