primrose/haddock2

Author	SHA1	Message	Date
Léana 江	29c015b793	style(lexer): make binding naming consistent	2025-09-24 22:25:45 +08:00
Léana 江	c4d59d3236	ref(lexer): rename MathsBracket -> MathMultiline	2025-09-24 21:35:21 +08:00
Léana 江	6ec47dad04	ref(lexer): rename MathParen -> MathInline	2025-09-24 21:31:26 +08:00
Léana 江	7ceb9b0277	ref(moduleName): break into multiple smaller functions upperId has been changed to only use isUpper because an non alphabetical character would be false anyway	2025-09-24 21:25:46 +08:00
Léana 江	fdb9070e99	fix(lexer): handle crlf in newline Do we support windows 🤔	2025-09-24 21:25:46 +08:00
Léana 江	39cfe2035d	test: freeze the callstack for better failure messages (#1 ) This would make the function `shouldLexTo` be transparent in the error reporting! Before all errors would point to this line. Reviewed-on: elland/haddock2#1 Co-authored-by: Léana 江 <leana.jiang+git@icloud.com> Co-committed-by: Léana 江 <leana.jiang+git@icloud.com>	2025-09-24 11:01:52 +00:00
Igor Ranieri	7ae868932d	Add located combinator; improved anchor matches with tests	2025-09-24 10:13:16 +02:00
Igor Ranieri	8887476626	Embed Anchor content inside token	2025-09-24 09:48:01 +02:00
Igor Ranieri	82e1c76fe7	Added anchors	2025-09-21 21:21:26 +02:00
Igor Ranieri	7c4603528d	Improved bare link parser	2025-09-21 21:15:44 +02:00
Igor Ranieri	82dcb6913e	Parse links, module names	2025-09-21 21:00:05 +02:00
Igor Ranieri	7d4cab4857	Adjusted others, labeled link	2025-09-21 13:30:01 +02:00
Igor Ranieri	4ef8d2c28c	Check delimiters by hand to keep accurate source pos	2025-09-21 12:34:30 +02:00
Igor Ranieri	7ef411b134	Added maths bracketing	2025-09-21 11:00:22 +02:00
Igor Ranieri	9efc312597	Unicode with splits. Doesn't feel right.	2025-09-21 10:41:38 +02:00
Igor Ranieri	e81f1ea4f7	Improved lexer funcs	2025-09-21 10:36:25 +02:00
Igor Ranieri	f586b90434	Added minimal tests for bare lexer	2025-09-21 10:01:12 +02:00
Igor Ranieri	c299af1c06	Hspec error for lexer	2025-09-21 09:54:45 +02:00
Igor Ranieri	68f9b88c83	Basic lexer testing	2025-09-21 09:54:10 +02:00
Igor Ranieri	c9f61c4e06	Init	2025-09-21 08:19:01 +02:00

20 commits