From e500a24d2a27b8a6ab4d121526e8ca6334b7485e Mon Sep 17 00:00:00 2001
From: Michael Sippel <micha@fragmental.art>
Date: Sat, 1 Feb 2025 12:40:45 +0100
Subject: [PATCH] read morphism base from file

---
 src/main.rs | 30 ++++++------------------------
 1 file changed, 6 insertions(+), 24 deletions(-)

diff --git a/src/main.rs b/src/main.rs
index bcbda32..e76a145 100644
--- a/src/main.rs
+++ b/src/main.rs
@@ -69,39 +69,21 @@ fn parser(
 }
 
 fn main() {
-    println!("Hello, world!");
-
-    let src = "
-        morph_digit_as_char_to_uint8 (Radix:ℤ_16)
-            <Digit Radix> ~ Char ~ Ascii ~ Byte
-        --> <Digit Radix> ~ x86.UInt8 ~ Byte
-        @lib/libmorph_posint.so:src/posint.c
-
-        morph_string_as_nullterm_to_length_prefix ()
-            <Seq~<ValueDelim '\\0'> Char ~ Ascii>
-        --> <Seq~<LengthPrefix x86.UInt64> Char ~ Ascii>
-        @lib/libmorph_length-prefix.so:src/length_prefix.c
-
-        morph_string_as_length_prefix_to_nullterm ()
-            <Seq~<LengthPrefix x86.UInt64> Char ~ Ascii>
-        --> <Seq~<ValueDelim '\\0'> Char ~ Ascii>
-        @lib/libmorph_length-prefix.so:src/length_prefix.c
-    ";
-
     let type_dict = Arc::new(RwLock::new(BimapTypeDict::new()));
+    let src = std::fs::read_to_string(
+        std::env::args().nth(1).expect("expected file name")
+    ).expect("read");
 
-   let result = parser(type_dict.clone()).parse(src);
-
+    let result = parser(type_dict.clone()).parse(src.clone());
     match result {
         Ok(morphisms) => {
             println!("parse ok.");
-
             let mut dict = type_dict.write().unwrap();
 
             for m in morphisms {
                 println!("{}\n    {}\n---> \n    {}\n", m.symbol,
-                    m.src_type.normalize().sugar(&mut *dict).pretty(&mut *dict, 1),
-                    m.dst_type.normalize().sugar(&mut *dict).pretty(&mut *dict, 1),
+                    m.src_type.sugar(&mut *dict).pretty(&mut *dict, 1),
+                    m.dst_type.sugar(&mut *dict).pretty(&mut *dict, 1),
                 );
             }
         }