Unnamed repository; edit this file 'description' to name the repository.
Diffstat (limited to 'runtime/queries/koka/indents.scm')
| -rw-r--r-- | runtime/queries/koka/indents.scm | 38 |
1 files changed, 0 insertions, 38 deletions
diff --git a/runtime/queries/koka/indents.scm b/runtime/queries/koka/indents.scm deleted file mode 100644 index e496f30b..00000000 --- a/runtime/queries/koka/indents.scm +++ /dev/null @@ -1,38 +0,0 @@ -[ - (opexpr [index: (arguments) call: (arguments)]) ; Applications. - (atom ["[" "("]) ; Lists and tuples. - (funbody) - (block) - (constructor) - (handlerexpr) - (opclausex) -] @indent - -[ - (typedecl - [(typeid) (opdecls)]) ; Avoid matching single-operation effects. - (externdecl) - (matchexpr) - (matchrule) - - ; For ifexprs, branches (once they exist) will contain blocks if they're - ; indented so we just need to make sure the initial indent happens when we're - ; creating them. - "then" - "else" -] @indent @extend - -(matchrule "->" @indent @extend) - -; Handling for error recovery. -(ERROR "fun") @indent @extend -(ERROR "match") @indent @extend -(ERROR "->" @indent.always @extend) - -; Don't outdent on function parameter declarations. -(atom ")" @outdent @extend.prevent-once) - -[ - "]" - "}" -] @outdent @extend.prevent-once |