From f934e87b1dbec3c2017c885296d2bc18f6487cdc Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Niels=20M=C3=BCndler?= <n.muendler@posteo.de>
Date: Sun, 31 Dec 2023 11:56:45 +0100
Subject: [PATCH] Reuse "convert_tag_to_constr"

---
 crates/uplc/src/pretty.rs | 12 ++++--------
 1 file changed, 4 insertions(+), 8 deletions(-)

diff --git a/crates/uplc/src/pretty.rs b/crates/uplc/src/pretty.rs
index 4991c0ca4..1da5c6bee 100644
--- a/crates/uplc/src/pretty.rs
+++ b/crates/uplc/src/pretty.rs
@@ -1,7 +1,7 @@
 use crate::{
     ast::{Constant, Program, Term, Type},
     flat::Binder,
-    machine::runtime::Compressable,
+    machine::runtime::{convert_tag_to_constr, Compressable},
     machine::value::from_pallas_bigint,
 };
 use pallas_primitives::babbage::{Constr, PlutusData};
@@ -317,15 +317,11 @@ impl Constant {
                 tag,
                 any_constructor,
                 fields,
-                ..
             }) => RcDoc::text("Constr")
                 .append(RcDoc::space())
-                .append(RcDoc::as_string(match tag {
-                    121..=127 => tag - 121,
-                    1280..=1400 => tag - 1280 + 7,
-                    102 => any_constructor.unwrap(),
-                    _ => panic!("unknown tag {}", tag),
-                }))
+                .append(RcDoc::as_string(
+                    convert_tag_to_constr(*tag).unwrap_or_else(|| any_constructor.unwrap()),
+                ))
                 .append(RcDoc::space())
                 .append(RcDoc::text("["))
                 .append(RcDoc::intersperse(