9 Nov
2003
9 Nov
'03
10:18 p.m.
"Helmut" == Helmut Eller e9626484@stud3.tuwien.ac.at:
Helmut> Christophe Rhodes csr21@cam.ac.uk writes:
Raymond Toy rtoy@earthlink.net writes:
Would it be better if the message wasn't zero-length? I can look into changing that if it makes slime work better, and if the messages still make sense.
Helmut> That would definitely be better. It should be enough to pass Helmut> the message to WARN or ERROR and slime will pick it up and Helmut> place an annotation somewhere near the macro call.
Well, SERIES warnings are rather important -- miss one and your code will probably be incorrect. Perhaps this should this be fixed in SERIES, then?
I'm afraid someone more knowledgeable than me would have to do it.
--J.