Don't colorize top-level lets

lang/printer/src/render/latex.rs

@@ -43,7 +43,6 @@ where
             Anno::Ctor => "\\polCtor{",
             Anno::Dtor => "\\polDtor{",
             Anno::Type => "\\polType{",
-            Anno::Identifier => "\\polCtor{", // TODO: Change this?
             Anno::Comment => "\\polComment{",
             // Produce a backslash
             Anno::Backslash => "\\polBackslash{",

lang/printer/src/render/termcolor.rs

@@ -9,7 +9,6 @@ const KEYWORD: Color = Color::Magenta;
 const CTOR: Color = Color::Blue;
 const DTOR: Color = Color::Green;
 const TYPE: Color = Color::Red;
-const IDENTIFIER: Color = Color::Blue; // TODO: Change this?
 const COMMENT: Color = Color::Cyan;
 const ERROR: Color = Color::Red;
 
@@ -68,7 +67,6 @@ impl Anno {
             Anno::Ctor => CTOR.spec(),
             Anno::Dtor => DTOR.spec(),
             Anno::Type => TYPE.spec(),
-            Anno::Identifier => IDENTIFIER.spec(),
             Anno::Comment => COMMENT.spec(),
             Anno::Backslash => KEYWORD.spec(),
             Anno::BraceOpen => Default::default(),

lang/printer/src/theme.rs

@@ -7,7 +7,6 @@ pub trait ThemeExt<'a> {
     fn ctor(&'a self, text: &str) -> Builder<'a>;
     fn dtor(&'a self, text: &str) -> Builder<'a>;
     fn typ(&'a self, text: &str) -> Builder<'a>;
-    fn identifier(&'a self, text: &str) -> Builder<'a>;
     fn comment(&'a self, text: &str) -> Builder<'a>;
 }
 
@@ -28,10 +27,6 @@ impl<'a> ThemeExt<'a> for Alloc<'a> {
         self.text(text.to_owned()).annotate(Anno::Type)
     }
 
-    fn identifier(&'a self, text: &str) -> Builder<'a> {
-        self.text(text.to_owned()).annotate(Anno::Identifier)
-    }
-
     fn comment(&'a self, text: &str) -> Builder<'a> {
         self.text(text.to_owned()).annotate(Anno::Comment)
     }

lang/printer/src/types.rs

@@ -8,7 +8,6 @@ pub enum Anno {
     Ctor,
     Dtor,
     Type,
-    Identifier,
     Comment,
     Backslash,
     BraceOpen,

lang/printer/src/ust.rs

@@ -228,7 +228,7 @@ impl<'a> Print<'a> for Let {
         let head = alloc
             .keyword(LET)
             .append(alloc.space())
-            .append(alloc.identifier(name))
+            .append(name)
             .append(params.print(cfg, alloc))
             .append(print_return_type(cfg, alloc, typ))
             .group();