commit 96db04c77b0eaf347800af9cadf59c095c461f1e
parent cd1d4c9dbed56348903f9ac3d92524db1cbf17d5
Author: Robert Russell <robert@rr3.xyz>
Date: Thu, 21 May 2026 09:49:16 -0700
vis: delete unused lexers
Diffstat:
2 files changed, 0 insertions(+), 161 deletions(-)
diff --git a/vis/lexers/lean.lua b/vis/lexers/lean.lua
@@ -1,24 +0,0 @@
-local M = {_NAME = "lean"}
-
-local l = require("lexer")
-local P, R, S = lpeg.P, lpeg.R, lpeg.S
-local T = l.token
-
-local function I(s) -- Case-insensitive string match
- local p = P(true)
- for i = 1, #s do
- local c = s:sub(i, i)
- p = p * (P(c:lower()) + P(c:upper()))
- end
- return p
-end
-
--- TODO
-
-M._rules = {
-}
-
-M._tokenstyles = {
-}
-
-return M
diff --git a/vis/lexers/suq.lua b/vis/lexers/suq.lua
@@ -1,137 +0,0 @@
-local M = {_NAME = "suq"}
-
-local l = require("lexer")
-local P, R, S = lpeg.P, lpeg.R, lpeg.S
-local T = l.token
-
-local any = P(1)
-
-local dec = R"09"
-local bin = R"01"
-local qat = R"03"
-local oct = R"07"
-local hex = R("09", "AF", "af")
-
-local dec_ = dec + "_"
-local bin_ = bin + "_"
-local qat_ = qat + "_"
-local oct_ = oct + "_"
-local hex_ = hex + "_"
-
-local alpha = R("AZ", "az")
-local letter = alpha + dec + "_"
-local word = (alpha + P"_") * letter^0
-
-local hws = S"\t "
-local vws = S"\n\r"
-local ws = hws + vws
-
-local function I(s) -- Case-insensitive string match
- local p = P(true)
- for i = 1, #s do
- local c = s:sub(i, i)
- p = p * (P(c:lower()) + P(c:upper()))
- end
- return p
-end
-
-local function N(p, min, max)
- max = max or min
- return p^min - p^(max+1)
-end
-
-local whitespace = T("whitespace", ws^1)
-
-local comment_keyword = T("comment_keyword", I"todo" + I"xxx" + I"fixme")
-local comment_text = T("comment_text", (any - comment_keyword - P"\n")^1)
-local comment = T("comment_text", P"\\\\") * (comment_text + comment_keyword)^0 * T("whitespace", P"\n")
-
-local numterm = any - letter
-local function numerals(nums)
- return P"_"^0 * nums^1 * (nums + "_")^0
-end
-local numlit_dec = dec^1 * dec_^0 * (P"." * numerals(dec))^-1 * #numterm
-local numlit_bin = P"0" * S"bB" * numerals(bin) * (P"." * numerals(bin))^-1 * #numterm
-local numlit_qat = P"0" * S"qQ" * numerals(qat) * (P"." * numerals(qat))^-1 * #numterm
-local numlit_oct = P"0" * S"oO" * numerals(oct) * (P"." * numerals(oct))^-1 * #numterm
-local numlit_hex = P"0" * S"xX" * numerals(hex) * (P"." * numerals(hex))^-1 * #numterm
-local numlit = T("numlit", numlit_dec + numlit_bin + numlit_qat + numlit_oct + numlit_hex)
-
-local escape = T("escape",
- P"\\" * S"'\"\\nrt"
- + P"\\" * hex * hex
- + P"\\u" * N(hex, 4)
- + P"\\U" * N(hex, 6))
-local bad_escape = T("bad_escape", P"\\" * any)
-
-local charlit_text = T("charlit_text", (any - S"'\\")^1)
-local charlit_delim = T("charlit_delim", P"'")
-local charlit = charlit_delim * (charlit_text + escape + bad_escape)^0 * charlit_delim
-
-local strlit_text = T("strlit_text", (any - S"\"\\")^1)
-local strlit_delim = T("strlit_delim", P"\"")
-local strlit = strlit_delim * (strlit_text + escape + bad_escape)^0 * strlit_delim
-
-local delimiter = T("delimiter", S"(){}[];,")
-
-local operator = T("operator", S"!%^&*-+=|:.<>?~")
-
-local keyword = T("keyword", l.word_match{
- "type", "fn", "match", "with", "if", "then", "else", "iff", "do", "for", "in",
-})
-
-local type_defs = l.word_match{
- "Unit", "Void", "Char", "Str", "Ptr", "Bool",
-}
-local type_cons = P"#" * #(S"({[")
-local type_num = S"INF" * (dec^1 + P"size") * #(any - letter)
-local type_ = T("type", type_defs + type_cons + type_num)
-
-local cons = T("cons", P"@" * (#(S"({[") + word))
-
-local tick = P"`" * (any - S"`")^0 * P"`"
-local identifier = T("identifier", word + tick)
-
-M._rules = {
- {"whitespace", whitespace},
- {"comment", comment},
- {"numlit", numlit},
- {"charlit", charlit},
- {"strlit", strlit},
- {"delimiter", delimiter},
- {"operator", operator},
- {"keyword", keyword},
- {"type", type_},
- {"cons", cons}, -- XXX
- {"identifier", identifier},
-
- {"error", T("error", any)}, -- TODO: TEMP
-}
-
-M._tokenstyles = {
- whitespace = l.STYLE_WHITESPACE,
-
- comment_text = l.STYLE_COMMENT,
- comment_keyword = l.STYLE_COMMENT_KEYWORD,
-
- numlit = l.STYLE_NUMBER,
-
- escape = l.STYLE_ESCAPE,
- bad_escape = l.STYLE_ERROR,
-
- charlit_delim = l.STYLE_NUMBER,
- charlit_text = l.STYLE_NUMBER,
-
- strlit_delim = l.STYLE_STRING,
- strlit_text = l.STYLE_STRING,
-
- delimiter = l.STYLE_DELIMITER,
- operator = l.STYLE_OPERATOR,
-
- keyword = l.STYLE_KEYWORD,
- ["type"] = l.STYLE_TYPE,
- ["cons"] = l.STYLE_FUNCTION, -- XXX
- identifier = l.STYLE_IDENTIFIER,
-}
-
-return M
