cortav  Diff

Differences From Artifact [2576638f1f]:

• File cortav.lua — part of check-in [9c67b0312c] at 2021-12-20 00:09:46 on branch trunk — split cortav into modules, enable use as library, create extension mechanism stub, fix up docs (user: lexi, size: 31410) [annotate] [blame] [check-ins using]

To Artifact [e2f30c819c]:

• File cortav.lua — part of check-in [709518a06e] at 2021-12-20 00:14:03 on branch trunk — error improvements, sirsem bug fix (user: lexi, size: 31344) [annotate] [blame] [check-ins using]

   806    806   		{seq = '##', parse = insert_var_ref(true)};
   807    807   		{seq = '#', parse = insert_var_ref(false)};
   808    808   	}
   809    809   end
   810    810   
   811    811   function ct.parse_span(str,ctx)
   812    812   	local function delimited(start, stop, s)
   813         -		-- local r = { pcall(ss.str.delimit, 'utf8', start, stop, s) }
   814         -		-- if r[1] then return table.unpack(r, 2) end
   815         -		-- ctx:fail(tostring(e))
   816         -		return ss.str.delimit(ss.str.enc.utf8, start, stop, s)
          813  +		local r = { pcall(ss.str.delimit, nil, start, stop, s) }
          814  +		if r[1] then return table.unpack(r, 2) end
          815  +		ctx:fail(tostring(r[2]))
   817    816   	end
   818    817   	local buf = ""
   819    818   	local spans = {}
   820    819   	local function flush()
   821    820   		if buf ~= "" then
   822    821   			table.insert(spans, buf)
   823    822   			buf = ""