From 8ec95dfbed73e5dfbdfe0461cc2905055fb988bc Mon Sep 17 00:00:00 2001
From: Michael Sippel <micha@fragmental.art>
Date: Mon, 2 Oct 2023 01:27:50 +0200
Subject: [PATCH] make decoration comments symmetric

---
 src/lexer.rs      | 8 +++++---
 src/term.rs       | 4 +++-
 src/test/lexer.rs | 2 ++
 3 files changed, 10 insertions(+), 4 deletions(-)

diff --git a/src/lexer.rs b/src/lexer.rs
index 142725c..23d6c25 100644
--- a/src/lexer.rs
+++ b/src/lexer.rs
@@ -1,5 +1,5 @@
 
-//<<<<>>>><<>><><<>><<<*>>><<>><><<>><<<<>>>>
+//<<<<>>>><<>><><<>><<<*>>><<>><><<>><<<<>>>>\\
 
 #[derive(PartialEq, Eq, Clone, Debug)]
 pub enum LadderTypeToken {
@@ -20,7 +20,7 @@ pub enum LexError {
     InvalidChar,
 }
 
-//<<<<>>>><<>><><<>><<<*>>><<>><><<>><<<<>>>>
+//<<<<>>>><<>><><<>><<<*>>><<>><><<>><<<<>>>>\\
 
 #[derive(PartialEq, Eq, Clone, Debug)]
 enum LexerState {
@@ -41,7 +41,7 @@ impl LexerState {
     }
 }
 
-//<<<<>>>><<>><><<>><<<*>>><<>><><<>><<<<>>>>
+//<<<<>>>><<>><><<>><<<*>>><<>><><<>><<<<>>>>\\
 
 pub struct LadderTypeLexer<It>
 where It: std::iter::Iterator<Item = char>
@@ -145,3 +145,5 @@ where It: Iterator<Item = char>
     }
 }
 
+//<<<<>>>><<>><><<>><<<*>>><<>><><<>><<<<>>>>\\
+
diff --git a/src/term.rs b/src/term.rs
index f42e56a..3420218 100644
--- a/src/term.rs
+++ b/src/term.rs
@@ -40,7 +40,7 @@ impl TypeTerm {
     pub fn arg(&mut self, t: impl Into<TypeTerm>) -> &mut Self {
         match self {
             TypeTerm::App(args) => {
-                args.push(t.into());                
+                args.push(t.into());
             }
 
             _ => {
@@ -63,3 +63,5 @@ impl TypeTerm {
     }
 }
 
+//<<<<>>>><<>><><<>><<<*>>><<>><><<>><<<<>>>>\\
+
diff --git a/src/test/lexer.rs b/src/test/lexer.rs
index 54faca0..8017262 100644
--- a/src/test/lexer.rs
+++ b/src/test/lexer.rs
@@ -1,5 +1,7 @@
 use crate::lexer::*;
 
+//<<<<>>>><<>><><<>><<<*>>><<>><><<>><<<<>>>>\\
+
 #[test]
 fn test_lexer_symbol() {
     let mut lex = LadderTypeLexer::from("symbol".chars());