CDirent definition.

2003-03-18 Thread Thaddeus L. Olczyk
Looking through the sources of ghc, I could not find the definition/devclaration of CDirent used by the FFI version of Posix directory commands (readdir, opendir etc... ). All I could find was type CDirent = () I'm confused by this. Can anyone clarify? ___

Re: [OT[ proving programs for novices

2003-03-18 Thread Bill Wood
. . . > For imperative programming: > > D. Gries, The Science of Programming. Springer Verlag, New York, 1981. > > E.W. Dijkstra, A Discipline of Programming. Prentice-Hall, 1975. These are two excellant sources; I've learned from each and taught from each. However, they are bo