From c7585f353a5b9f942809c31a04e8b595d7813bb0 Mon Sep 17 00:00:00 2001 From: Michael Sippel Date: Mon, 2 Oct 2023 15:07:42 +0200 Subject: [PATCH] make decoration comment style consistent --- src/bimap.rs | 5 ++--- src/dict.rs | 7 +++---- src/lexer.rs | 1 - src/term.rs | 5 ++--- 4 files changed, 7 insertions(+), 11 deletions(-) diff --git a/src/bimap.rs b/src/bimap.rs index 177c041..9ea311a 100644 --- a/src/bimap.rs +++ b/src/bimap.rs @@ -1,6 +1,6 @@ use std::{collections::HashMap, hash::Hash}; -//<<<<>>>><<>><><<>><<<*>>><<>><><<>><<<<>>>> +//<<<<>>>><<>><><<>><<<*>>><<>><><<>><<<<>>>>\\ pub struct Bimap { pub mλ: HashMap, @@ -21,5 +21,4 @@ impl Bimap { } } -//<<<<>>>><<>><><<>><<<*>>><<>><><<>><<<<>>>> - +//<<<<>>>><<>><><<>><<<*>>><<>><><<>><<<<>>>>\\ diff --git a/src/dict.rs b/src/dict.rs index 45620c5..83b63ee 100644 --- a/src/dict.rs +++ b/src/dict.rs @@ -1,6 +1,6 @@ use crate::bimap::Bimap; -//<<<<>>>><<>><><<>><<<*>>><<>><><<>><<<<>>>> +//<<<<>>>><<>><><<>><<<*>>><<>><><<>><<<<>>>>\\ #[derive(Eq, PartialEq, Hash, Clone, Debug)] pub enum TypeID { @@ -8,7 +8,7 @@ pub enum TypeID { Var(u64) } -//<<<<>>>><<>><><<>><<<*>>><<>><><<>><<<<>>>> +//<<<<>>>><<>><><<>><<<*>>><<>><><<>><<<<>>>>\\ pub struct TypeDict { typenames: Bimap, @@ -16,7 +16,7 @@ pub struct TypeDict { type_var_counter: u64, } -//<<<<>>>><<>><><<>><<<*>>><<>><><<>><<<<>>>> +//<<<<>>>><<>><><<>><<<*>>><<>><><<>><<<<>>>>\\ impl TypeDict { pub fn new() -> Self { @@ -57,4 +57,3 @@ impl TypeDict { } //<<<<>>>><<>><><<>><<<*>>><<>><><<>><<<<>>>> - diff --git a/src/lexer.rs b/src/lexer.rs index 4644ae6..8c56a0d 100644 --- a/src/lexer.rs +++ b/src/lexer.rs @@ -163,4 +163,3 @@ where It: Iterator } //<<<<>>>><<>><><<>><<<*>>><<>><><<>><<<<>>>>\\ - diff --git a/src/term.rs b/src/term.rs index 9b58b69..25fee14 100644 --- a/src/term.rs +++ b/src/term.rs @@ -1,6 +1,6 @@ use crate::TypeID; -//<<<<>>>><<>><><<>><<<*>>><<>><><<>><<<<>>>> +//<<<<>>>><<>><><<>><<<*>>><<>><><<>><<<<>>>>\\ #[derive(Clone, PartialEq, Eq, Hash, Debug)] pub enum TypeTerm { @@ -26,7 +26,7 @@ pub enum TypeTerm { Ladder(Vec< TypeTerm >), } -//<<<<>>>><<>><><<>><<<*>>><<>><><<>><<<<>>>> +//<<<<>>>><<>><><<>><<<*>>><<>><><<>><<<<>>>>\\ impl TypeTerm { pub fn unit() -> Self { @@ -81,4 +81,3 @@ impl TypeTerm { } //<<<<>>>><<>><><<>><<<*>>><<>><><<>><<<<>>>>\\ -