add dfa for longIDs (which are used for accessing things from structures/modules)

This commit is contained in:
2026-05-05 15:16:38 +01:00
parent 14e8a0b363
commit e0be1c7a3a

View File

@@ -4,8 +4,13 @@ struct
val intDfa = Dfa.fromString "[0-9]+"
val wordDfa = Dfa.fromString "0w[0-9]+"
val realDfa = "[0-9]+.[0-9]+"
val realDfa = Dfa.fromString "[0-9]+.[0-9]+"
val idDfa = Dfa.fromString "[a-zA-Z][a-zA-Z0-9_']*"
val longIdDfa =
Dfa.fromString "[a-zA-Z[(a-zA-Z0-9_']*(\\.[a-zA-Z][a-zA-Z0-9_']*)+"
Hello.world
fun skipFormattingChars (str, pos) =
if pos = String.size str then