From c60bdaba4d07c492a9c9df1b1626920f732db0f1 Mon Sep 17 00:00:00 2001 From: dzaima Date: Fri, 28 Oct 2022 00:11:20 +0300 Subject: [PATCH] =?UTF-8?q?highlight=20=F0=9D=94=BD=F0=9D=94=BE?= =?UTF-8?q?=F0=9D=95=8E=F0=9D=95=8F=F0=9D=95=8A=20as=20functions,=20reduce?= =?UTF-8?q?=20mut.h=20to=20calls.h?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- src/main.c | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/main.c b/src/main.c index 8ed090c3..1d3ca565 100644 --- a/src/main.c +++ b/src/main.c @@ -31,7 +31,7 @@ static NOINLINE void repl_init() { #if USE_REPLXX #include #include - #include "utils/mut.h" + #include "utils/calls.h" #include "utils/cstr.h" i8 theme0[12][3] = { // {-1,-1,-1} for default/unchanged color, {-1,-1,n} for grayscale 0…23, else RGB 0…5 [ 0] = {-1,-1,-1}, // default @@ -73,12 +73,12 @@ static NOINLINE void repl_init() { static bool chr_num0(u32 c) { return chr_dig(c) || c==U'¯' || c==U'π' || c==U'∞'; } static bool chr_name0(u32 c) { return chr_low(c) || chr_upp(c) || c=='_'; } static bool chr_nameM(u32 c) { return chr_name0(c) || chr_num0(c); } - static u32* chrs_fn = U"!+-×÷⋆*√⌊⌈∧∨¬|=≠≤<>≥≡≢⊣⊢⥊∾≍⋈↑↓↕⌽⍉/⍋⍒⊏⊑⊐⊒∊⍷⊔«»"; + static u32* chrs_fn = U"!+-×÷⋆*√⌊⌈∧∨¬|=≠≤<>≥≡≢⊣⊢⥊∾≍⋈↑↓↕⌽⍉/⍋⍒⊏⊑⊐⊒∊⍷⊔«»𝔽𝔾𝕎𝕏𝕊"; static u32* chrs_m1 = U"`˜˘¨⁼⌜´˝˙"; static u32* chrs_m2 = U"∘⊸⟜○⌾⎉⚇⍟⊘◶⎊"; static u32* chrs_lit = U"⟨⟩[]·@‿"; static u32* chrs_dmd = U"←↩,⋄→⇐"; - static u32* chrs_blk = U"{}𝕨𝕩𝔽𝔾𝕎𝕏𝕗𝕘𝕣ℝ𝕤𝕊:?;"; + static u32* chrs_blk = U"{}𝕨𝕩𝕗𝕘𝕣𝕤:?;"; NOINLINE bool chr_in(u32 val, u32* chrs) { while(*chrs) if (val == *(chrs++)) return true; return false;