[docs] add #:error conclusion

2016-10-03 16:01:36 -04:00 · 2016-10-03 16:01:36 -04:00 · 0d3b9b6550
commit 0d3b9b6550
parent 140843cf06
1 changed files with 3 additions and 1 deletions
--- a/turnstile/scribblings/reference.scrbl
+++ b/turnstile/scribblings/reference.scrbl
@ -86,7 +86,9 @@ and then press Control-@litchar{\}.
               [⊢ [_ ≫ expr-template ⇒ type-template]]
               [⊢ [_ ≫ expr-template (⇒ key type-template) ooo ...]]
               [≻ expr-template]
-               [_ ≻ expr-template]]
+               [_ ≻ expr-template]
+               [#:error expr-template]
+               [_ #:error expr-template]]
   [⇐-conclusion [⊢ expr-template]
                 [⊢ [_ ≫ expr-template ⇐ _]]]
   [ooo ...])