diff options
| author | ronny | 2001-07-25 17:23:59 +0000 |
|---|---|---|
| committer | ronny | 2001-07-25 17:23:59 +0000 |
| commit | 6d45ad29a9a8226368ebf7e7c7f53c4b2d3a062a (patch) | |
| tree | 3bf90397df9fb595eeb9f904095253d4f6b893c3 /frontend | |
| parent | accept "funny" type and constructor names in from ... import statements (diff) | |
bug fix parse_bug_special
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@583 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend')
| -rw-r--r-- | frontend/parse.icl | 37 |
1 files changed, 36 insertions, 1 deletions
diff --git a/frontend/parse.icl b/frontend/parse.icl index 9a6cd2e..d6107a6 100644 --- a/frontend/parse.icl +++ b/frontend/parse.icl @@ -620,8 +620,10 @@ optionalSpecials :: !ParseState -> (!Specials, !ParseState) optionalSpecials pState # (token, pState) = nextToken TypeContext pState | token == SpecialToken + # (token, pState) = nextToken GeneralContext pState + pState = begin_special_group token pState # (specials, pState) = wantList "<special statement>" try_substitutions pState - = (SP_ParsedSubstitutions specials, wantEndGroup "specials" pState) + = (SP_ParsedSubstitutions specials, end_special_group pState) // otherwise // token <> SpecialToken = (SP_None, tokenBack pState) where @@ -641,6 +643,39 @@ where (substs, pState) = want_rest_substitutions next_type_var pState = ([{ bind_src = type, bind_dst = type_var } : substs], pState) = ([{ bind_src = type, bind_dst = type_var }], tokenBack pState) + + begin_special_group token pState // For JvG layout + # (token, pState) + = case token of + SemicolonToken -> nextToken TypeContext pState + _ -> (token, pState) + # (ss_useLayout, pState) = accScanState UseLayout pState + | ss_useLayout + | token == CurlyOpenToken + = parseError "substitution" (Yes CurlyOpenToken) "in layout mode the keyword where is" pState + // otherwise + = tokenBack pState + // not ss_useLayout + | token == CurlyOpenToken + = pState + // otherwise + = tokenBack (parseError "substitution" (Yes token) "{" pState) + + end_special_group pState + # (ss_useLayout, pState) = accScanState UseLayout pState + (token, pState) = nextToken FunctionContext pState + | token == EndOfFileToken && ss_useLayout + = tokenBack pState + | ss_useLayout + = case token of + EndGroupToken -> pState + _ -> parseError "substitution" (Yes token) "end of substitution with layout" pState + // ~ ss_useLayout + | token == CurlyCloseToken + = pState + // otherwise // token <> CurlyCloseToken + = parseError "substitution" (Yes token) "end of substitution with layout, }," pState + /* For parsing right-hand sides of functions only */ |