Division/ratio: in regex require space around "PER", optional for "/"

larsbarring · larsbarring · commit fa8cc7a55257 · 2025-11-30T16:42:23.000+01:00
see github comment #129 (comment)
diff --git a/lib/scanner.l b/lib/scanner.l
@@ -154,7 +154,7 @@ per                     [Pp][Ee][Rr]
     return SHIFT;
 }
 
-<INITIAL,ID_SEEN>{space}*({per}|"/"){space}* {
+<INITIAL,ID_SEEN>({space}+{per}{space}+|{space}*"/"{space}*) {
     BEGIN INITIAL;
     return DIVIDE;
 }

Original file line number	Diff line number	Diff line change
`@@ -154,7 +154,7 @@ per [Pp][Ee][Rr]`
`154`	`154`	`return SHIFT;`
`155`	`155`	`}`
`156`	`156`
`157`		`-<INITIAL,ID_SEEN>{space}({per}\|"/"){space} {`
	`157`	`+<INITIAL,ID_SEEN>({space}+{per}{space}+\|{space}"/"{space}) {`
`158`	`158`	`BEGIN INITIAL;`
`159`	`159`	`return DIVIDE;`
`160`	`160`	`}`