diff options
Diffstat (limited to 'subprojects/frontend/src/language/problemLanguageSupport.ts')
-rw-r--r-- | subprojects/frontend/src/language/problemLanguageSupport.ts | 11 |
1 files changed, 4 insertions, 7 deletions
diff --git a/subprojects/frontend/src/language/problemLanguageSupport.ts b/subprojects/frontend/src/language/problemLanguageSupport.ts index 65fb50dc..246135d8 100644 --- a/subprojects/frontend/src/language/problemLanguageSupport.ts +++ b/subprojects/frontend/src/language/problemLanguageSupport.ts | |||
@@ -7,9 +7,7 @@ import { | |||
7 | LRLanguage, | 7 | LRLanguage, |
8 | } from '@codemirror/language'; | 8 | } from '@codemirror/language'; |
9 | import { styleTags, tags as t } from '@lezer/highlight'; | 9 | import { styleTags, tags as t } from '@lezer/highlight'; |
10 | import { LRParser } from '@lezer/lr'; | ||
11 | 10 | ||
12 | import { parser } from '../../build/generated/sources/lezer/problem'; | ||
13 | import { | 11 | import { |
14 | foldBlockComment, | 12 | foldBlockComment, |
15 | foldConjunction, | 13 | foldConjunction, |
@@ -21,8 +19,9 @@ import { | |||
21 | indentDeclaration, | 19 | indentDeclaration, |
22 | indentPredicateOrRule, | 20 | indentPredicateOrRule, |
23 | } from './indentation'; | 21 | } from './indentation'; |
22 | import { parser } from './problem.grammar'; | ||
24 | 23 | ||
25 | const parserWithMetadata = (parser as LRParser).configure({ | 24 | const parserWithMetadata = parser.configure({ |
26 | props: [ | 25 | props: [ |
27 | styleTags({ | 26 | styleTags({ |
28 | LineComment: t.lineComment, | 27 | LineComment: t.lineComment, |
@@ -86,8 +85,6 @@ const problemLanguage = LRLanguage.define({ | |||
86 | }, | 85 | }, |
87 | }); | 86 | }); |
88 | 87 | ||
89 | export function problemLanguageSupport(): LanguageSupport { | 88 | export default function problemLanguageSupport(): LanguageSupport { |
90 | return new LanguageSupport(problemLanguage, [ | 89 | return new LanguageSupport(problemLanguage, [indentUnit.of(' ')]); |
91 | indentUnit.of(' '), | ||
92 | ]); | ||
93 | } | 90 | } |