Merge pull request 'fix wrong regex for sophia constructors' (#991) from prh-docs-fix into master

Reviewed-on: #991 Reviewed-by: Craig Everett <craigeverett@qpq.swiss>
2026-07-25 00:15:17 +09:00
parent dbab49936d 6099566cfe
commit c8cd4816bd
1 changed files with 1 additions and 1 deletions
@@ -18,7 +18,7 @@ interface main using as for hiding
 ### Tokens

 - `Id = [a-z_][A-Za-z0-9_']*` identifiers start with a lower case letter.
- `Con = [A-Z][A-Za-z0-9_']*` constructors start with an upper case letter.
+- `Con = [A-Z][A-Za-z0-9_]*` constructors start with an upper case letter.
 - `QId = (Con\.)+Id` qualified identifiers (e.g. `Map.member`)
 - `QCon = (Con\.)+Con` qualified constructor
 - `TVar = 'Id` type variable (e.g `'a`, `'b`)