X-Git-Url: https://git.distorted.org.uk/~mdw/sod/blobdiff_plain/388ab3827ab7c584c30723f5044c2a38cf6fe55d..db6c3279edc260e3e301df1c9b082b374cd002c7:/doc/parsing.tex diff --git a/doc/parsing.tex b/doc/parsing.tex index c3cc003..d0671a2 100644 --- a/doc/parsing.tex +++ b/doc/parsing.tex @@ -95,6 +95,9 @@ consumed any input items. {warning-with-location (condition-with-location warning) \\ \> \&key :location} \dhead{cls} + {information-with-location (condition-with-location information) \\ \> + \&key :location} + \dhead{cls} {enclosing-error-with-location (enclosing-error-with-location error) \\ \> \&key :condition :location} @@ -103,6 +106,10 @@ consumed any input items. (enclosing-condition-with-location warning) \\ \> \&key :condition :location} \dhead{cls} + {enclosing-information-with-location + (enclosing-condition-with-location information) \\ \> + \&key :condition :location} + \dhead{cls} {simple-condition-with-location (condition-with-location simple-condition) \\ \> \&key :format-control :format-arguments :location} @@ -113,6 +120,10 @@ consumed any input items. \dhead{cls} {simple-warning-with-location (warning-with-location simple-warning) \\ \> + \&key :format-control :format-arguments :location} + \dhead{cls} + {simple-information-with-location + (information-with-location simple-information) \\ \> \&key :format-control :format-arguments :location}} \end{describe*}