aboutsummaryrefslogtreecommitdiff
path: root/frontend
diff options
context:
space:
mode:
Diffstat (limited to 'frontend')
-rw-r--r--frontend/parse.icl3
-rw-r--r--frontend/scanner.icl3
2 files changed, 4 insertions, 2 deletions
diff --git a/frontend/parse.icl b/frontend/parse.icl
index f89af28..1204a1e 100644
--- a/frontend/parse.icl
+++ b/frontend/parse.icl
@@ -3783,7 +3783,8 @@ wantEndLocals pState
| ss_useLayout
= case token of
EndGroupToken -> pState
- InToken -> tokenBack pState // For let expressions with cases
+ InToken -> tokenBack (appScanState dropOffsidePosition pState) // PK
+ // InToken -> tokenBack pState // For let expressions with cases
_ -> parseError "local definitions" (Yes token) "end of locals with layout" pState
// ~ ss_useLayout
| token == CurlyCloseToken
diff --git a/frontend/scanner.icl b/frontend/scanner.icl
index 33f9081..dfff877 100644
--- a/frontend/scanner.icl
+++ b/frontend/scanner.icl
@@ -1671,7 +1671,8 @@ checkOffside pos index token scanState=:{ss_offsides,ss_scanOptions,ss_input}
= (newToken, scanState) // -->> ("new offsides",new_offsides)
= gen_end_groups (dec n) scanState
| token == InToken
- = (token, { scanState & ss_offsides = tl ss_offsides })
+// = (token, { scanState & ss_offsides = tl ss_offsides })
+ = (token, scanState) // PK: parser removes offsides
= newOffside token scanState
where
newOffside token scanState=:{ss_offsides,ss_scanOptions}