Tintware Documentation : Tint Programming Language : Tint Reference : Contexts : context.errorSyntax#(%context.error) #(%context.error,%module,%error) %context is the name of a context, typically obtained from #(tint.context). %module is the name of a module where the error was detected and %error is a description of the error. Each context keeps track of which errors have occurred in that context, but not yet been checked. #(%context.error) will return the errors which have occurred. The other form is used to specify that a particular error has occurred. Syntax#(not-defined)#(#(tint.context).error) tint: unknown: not-defined #(#(tint.context).error,mod,err)#(#(tint.context).error) mod: err |