From 6099566cfe4264bc8dbc9d385caded8b413f42b3 Mon Sep 17 00:00:00 2001 From: Peter Harpending Date: Wed, 13 May 2026 00:37:44 -0700 Subject: [PATCH] fix wrong regex for sophia constructors Sophia constructors (Foo, Bar, Baz) cannot have quotes in them Found this in testing. Source: https://git.qpq.swiss/QPQ-AG/sophia/src/commit/dbab49936daad7d82bae7cf7336b1ce82e7ab779/src/so_scan.erl#L23 --- docs/sophia_syntax.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/sophia_syntax.md b/docs/sophia_syntax.md index 3f9d84f..0f7aa07 100644 --- a/docs/sophia_syntax.md +++ b/docs/sophia_syntax.md @@ -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`) -- 2.30.2