From f95aa1c394a2a1fbd99c37b7bd012b7ea0fe0ce5 Mon Sep 17 00:00:00 2001
From: Richard Feldman <oss@rtfeldman.com>
Date: Sun, 1 Sep 2019 00:51:22 -0400
Subject: [PATCH] Add type alias for String

---
 src/pretty_print_types.rs |  4 +++-
 tests/test_infer.rs       | 24 ++++++++++++------------
 2 files changed, 15 insertions(+), 13 deletions(-)

diff --git a/src/pretty_print_types.rs b/src/pretty_print_types.rs
index 56ee4b7bdc..6fa3224b3e 100644
--- a/src/pretty_print_types.rs
+++ b/src/pretty_print_types.rs
@@ -47,7 +47,9 @@ fn write_apply(module_name: String, type_name: String, args: Vec<Variable>, subs
     let write_parens = use_parens && !args.is_empty();
 
     // Hardcoded type aliases
-    if module_name == "Num" && type_name == "Num" {
+    if module_name == "String" && type_name == "String" {
+        buf.push_str("String");
+    } else if module_name == "Num" && type_name == "Num" {
         let arg = args.into_iter().next().unwrap_or_else(|| {
             panic!("Num did not have any type parameters somehow.")
         });
diff --git a/tests/test_infer.rs b/tests/test_infer.rs
index 600a6d4242..ff9918754e 100644
--- a/tests/test_infer.rs
+++ b/tests/test_infer.rs
@@ -88,7 +88,7 @@ mod test_infer {
             indoc!(r#"
                 "type inference!"
             "#),
-            "String.String"
+            "String"
         );
     }
 
@@ -98,7 +98,7 @@ mod test_infer {
             indoc!(r#"
                 ""
             "#),
-            "String.String"
+            "String"
         );
     }
 
@@ -192,7 +192,7 @@ mod test_infer {
             indoc!(r#"
                 [ "cowabunga" ]
             "#),
-            "List String.String"
+            "List String"
         );
     }
 
@@ -202,7 +202,7 @@ mod test_infer {
             indoc!(r#"
                 [[[ "foo" ]]]
             "#),
-            "List (List (List String.String))"
+            "List (List (List String))"
         );
     }
 
@@ -212,7 +212,7 @@ mod test_infer {
             indoc!(r#"
                 [ "foo", "bar" ]
             "#),
-            "List String.String"
+            "List String"
         );
     }
 
@@ -226,7 +226,7 @@ mod test_infer {
 
                 "type inference is \(whatItIs)!"
             "#),
-            "String.String"
+            "String"
         );
     }
 
@@ -291,7 +291,7 @@ mod test_infer {
             indoc!(r#"
                 \_ _ _ -> "test!"
             "#),
-            "*, *, * -> String.String"
+            "*, *, * -> String"
         );
     }
 
@@ -317,7 +317,7 @@ mod test_infer {
 
                 str
             "#),
-            "String.String"
+            "String"
         );
     }
 
@@ -353,7 +353,7 @@ mod test_infer {
 
                 f
             "#),
-            "*, *, * -> String.String"
+            "*, *, * -> String"
         );
     }
 
@@ -367,7 +367,7 @@ mod test_infer {
 
                 b
             "#),
-            "*, *, * -> String.String"
+            "*, *, * -> String"
         );
     }
 
@@ -381,7 +381,7 @@ mod test_infer {
 
                 b
             "#),
-            "String.String"
+            "String"
         );
     }
 
@@ -441,7 +441,7 @@ mod test_infer {
 
 //                 alwaysFoo 42
 //             "#),
-//             "String.String"
+//             "String"
 //         );
 //     }