From b9c20c43aa01b344fd566d568652ca1fc930f21f Mon Sep 17 00:00:00 2001 From: Humza Shahid Date: Wed, 1 Oct 2025 14:19:27 +0100 Subject: [PATCH] fix parse error with stateNum numbering: should only increment stateNum in computeAtom function, and never anywhere else --- fcore/search-list/nfa.sml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/fcore/search-list/nfa.sml b/fcore/search-list/nfa.sml index 0f5a761..e1766b8 100644 --- a/fcore/search-list/nfa.sml +++ b/fcore/search-list/nfa.sml @@ -113,7 +113,7 @@ struct else case computeAtom (pos, str, stateNum) of SOME (nextPos, curAtom, stateNum) => - (case climb (nextPos, str, curAtom, concatLevel, stateNum + 1) of + (case climb (nextPos, str, curAtom, concatLevel, stateNum) of SOME (pos, rhs, stateNum) => let val result = CONCAT (lhs, rhs) in SOME (pos, result, stateNum)