tok

groupoid · Mar 17, 2024 · a7edc35 · a7edc35
1 parent 01d9ace
commit a7edc35
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 9 deletions.
diff --git a/lib/syntax/automath.ex b/lib/syntax/automath.ex
@@ -10,7 +10,7 @@ defmodule AUTOMATH do
       CoC Syntax:
 
       *₁₀₁        -- 101-th Universe
-      [x : A) Exp -- Universal Quantifier
+      [x : A] Exp -- Universal Quantifier
       (x : A) Exp -- Lambda
       M N         -- Application
       L₁          -- Variable with de Bruijn index 1

diff --git a/src/syntax/morte/om_tok.erl b/src/syntax/morte/om_tok.erl
@@ -1,15 +1,11 @@
 -module(om_tok).
 -description('Tokenizer').
 -compile(export_all).
--define(is_space(C), C==$\r; C==$\s; C==$\t).
 -define(is_num(C),   C>=$0,  C=<$9 ).
--define(is_alpha(C), C>=$a,  C=<$z;  C>=$A,  C=<$Z;
-                     C==$&;  C==$|;  C>=$0,  C=<$9;
-                     C==$@;  C==$#;  C==$_;  C==$/;
-                     C==$-;  C==$+;  C==$[;  C==$];
-                     C==$<;  C==$>;  C==$=;  C==$.).
--define(is_termi(C), C==$!;  C==$$;  C==$%;  C==$:;
-                     C==$;;  C==$~;  C==$^;  C==$?).
+-define(is_space(C), C==$\r; C==$\s; C==$\t).
+-define(is_termi(C), C==$!;  C==$$;  C==$%;  C==$:; C==$;;  C==$~;  C==$^;  C==$?).
+-define(is_alpha(C), C>=$a,  C=<$z;  C>=$A,  C=<$Z; C==$&;  C==$|;  C>=$0,  C=<$9;  C==$@;  C==$#;
+                     C==$_;  C==$/;  C==$-;  C==$+; C==$[;  C==$];  C==$<;  C==$>;  C==$=;  C==$.).
 
 tokens(P,<<>>,                    _, {_,C}, Acc)  -> om:rev(stack(P,C,Acc));
 tokens(P,<<"--"/utf8, R/binary>>, L, {_,C}, Acc)  -> tokens(P,R,L,{c,[]},     stack(P,C,Acc));