QPQ-AG/sophia
11
0
Fork 0
Code Issues 43 Pull Requests 7 Actions Packages Projects Releases 16 Wiki Activity

fix wrong regex for sophia constructors #991

Open
pharpend wants to merge 1 commits from prh-docs-fix into master
pull from: prh-docs-fix
merge into: QPQ-AG:master
Conversation 1 Commits 1 Files Changed 1
+1 -1
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
docs/sophia_syntax.md
+1 -1
View File
@@ -18,7 +18,7 @@ interface main using as for hiding
### Tokens ### Tokens
- `Id = [a-z_][A-Za-z0-9_']*` identifiers start with a lower case letter. - `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`) - `QId = (Con\.)+Id` qualified identifiers (e.g. `Map.member`)
- `QCon = (Con\.)+Con` qualified constructor - `QCon = (Con\.)+Con` qualified constructor
- `TVar = 'Id` type variable (e.g `'a`, `'b`) - `TVar = 'Id` type variable (e.g `'a`, `'b`)