From dbbd98a06f7802cc309e2884f7dfabf71942c115 Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Sun, 3 May 2020 08:31:25 +0200
Subject: synth: use tri_state_type for seq_assign_value.

---
 src/synth/synth-environment-debug.adb | 13 ++++++++-----
 1 file changed, 8 insertions(+), 5 deletions(-)

(limited to 'src/synth/synth-environment-debug.adb')

diff --git a/src/synth/synth-environment-debug.adb b/src/synth/synth-environment-debug.adb
index 81e8b17af..3278e8ba9 100644
--- a/src/synth/synth-environment-debug.adb
+++ b/src/synth/synth-environment-debug.adb
@@ -84,11 +84,14 @@ package body Synth.Environment.Debug is
          New_Line;
       end;
       Put_Line (" value:");
-      if Rec.Val.Is_Static then
-         Put_Line ("   static");
-      else
-         Dump_Partial_Assign (Rec.Val.Asgns);
-      end if;
+      case Rec.Val.Is_Static is
+         when Unknown =>
+            Put_Line ("   ??? (unknown)");
+         when True =>
+            Put_Line ("   static");
+         when False =>
+            Dump_Partial_Assign (Rec.Val.Asgns);
+      end case;
    end Dump_Assign;
 
    procedure Dump_Phi (Id : Phi_Id)
-- 
cgit v1.2.3