"Matt Jackson" <mjj@frogdream.com> writes: > Raśl Pedroche <r_pedroche@yahoo.com> writes: > > > > > > > Have converted to FreeBSD 4.0 and NNTPcache 2.4.0b4 and I still see the > > > same problem. > > > > It also doesn't work on Linux 2.2.14/NNTPCache 2.4.0b4. > > I discovered that 2.4.0b worked on Linux when compiled with -g but not > when optimised. > > -- > Matt Jackson | "The world is a book, and those who > mjj@frogdream.com | don't travel read only one page." > http://www.frogdream.com | - St Augustine 2.4.0b? -- Stefan Kahrs in [Kah96] discusses the notion of completeness--programs which never go wrong can be type-checked--which complements Milner's notion of soundness--type-checked programs never go wrong [Mil78].
