Re: To not show undefined symbols if make has an error.
Alan Baljeu <[email protected]>
| Newsgroups | gmane.comp.ai.prolog.swi |
|---|---|
| Message-ID | <[email protected]> |
>I'd start using a console that allows for scrolling ... In >addition, there are the following work-arounds: I'm using PLWin. It has limited scrolling, but anyway it's a nuissance to have to. > - Use protocol/1 to log the session to a file. That would be worse. > - Simply use ?- [file]. to reload the CHR file. Possible. I'll have to write a new reload predicate that uses it. > - Get the latest version from git and use the new hook > prolog:make_hook/2, which is called before and after > reloading with a list of the files make reloads. The > default `after' hook calls list_undefined/1. So, after > adding: > > prolog:make_hook(_,_). I'm not ready to try the experimental branch, but this would be a good answer. Thanks Jan. Alan