- {error-with-location (condition-with-location error) \\ \>
- \&key :location}
- \dhead{cls}
- {warning-with-location (condition-with-location warning) \\ \>
- \&key :location}
- \dhead{cls}
- {enclosing-error-with-location
- (enclosing-error-with-location error) \\ \>
- \&key :condition :location}
- \dhead{cls}
- {enclosing-warning-with-location
- (enclosing-condition-with-location warning) \\ \>
- \&key :condition :location}
+ {error-with-location (condition-with-location error) \\ \>
+ \&key :location}
+ \dhead{cls}
+ {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}
+ \dhead{cls}
+ {enclosing-warning-with-location
+ (enclosing-condition-with-location warning) \\ \>
+ \&key :condition :location}
+ \dhead{cls}
+ {enclosing-information-with-location
+ (enclosing-condition-with-location information) \\ \>
+ \&key :condition :location}