Skip to content

Commit 3ade405

Browse files
authored
Update lambdacalc.js
add optional `?` at end of identifier names
1 parent 1d33d36 commit 3ade405

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

lambdacalc.js

+2-2
Original file line numberDiff line numberDiff line change
@@ -17,10 +17,10 @@ CodeMirror.defineMode("lambdacalc", function(_config, modeConfig) {
1717
const SUPPRESS = "text";
1818
const FAIL = "error";
1919

20-
const defName = /[a-zA-Z][a-zA-Z0-9_\-']*/
20+
const defName = /[a-zA-Z][-'\w]*\??/
2121
const assign = /=/
2222
const brack = /\(|\)/
23-
const lamArg = /[a-zA-Z_][a-zA-Z0-9_\-']*|\./
23+
const lamArg = /[_a-zA-Z][-'\w]*\??|\./
2424
const numconst = /-?\d+/
2525

2626
function expectDefOrTerm(stream, state) {

0 commit comments

Comments
 (0)