Re: question about hsc2hs

Ross Paterson writes:

If you compile your C program with -D_FILE_OFFSET_BITS=64 you'll get the same numbers that hsc2hs does.

Aha, that was the key to solve my problem: programs or libraries compiled with that flag must use statfs64() instead of statfs(). Binding to the former in my .hsc produces correct results. Thanks for the hint, Ross. Cheers, jao