From 44ff30e59908b8532f06b69a695cfda4cbfaafb8 Mon Sep 17 00:00:00 2001
From: Michael Sippel <micha@fragmental.art>
Date: Thu, 20 Feb 2025 05:26:37 +0100
Subject: [PATCH] encode all literal-character types as ascii code for
compatiblity with c symbol names
---
src/main.rs | 6 +-----
1 file changed, 1 insertion(+), 5 deletions(-)
diff --git a/src/main.rs b/src/main.rs
index 7aab3b3..60ea003 100644
--- a/src/main.rs
+++ b/src/main.rs
@@ -95,11 +95,7 @@ struct LdmcPrimCMorphism {
fn encode_type_to_symbol(dict: &mut impl TypeDict, t: &laddertypes::TypeTerm)-> String {
match t {
laddertypes::TypeTerm::Char(c) => {
- match *c {
- '\0' => { "NULL".into() },
- '\t' => { "TAB".into() },
- c => { format!("{}", c) }
- }
+ format!("{}", (*c as u64))
},
t => dict.unparse(t)
}