Hi,
(I was trying to make H/Direct work with Hugs).
It was a lot of work to find it, but now I have removed the recursive
dependency between AddrBits and HDirect. AddrBits only needed
HDirect.Octet, which was the same as AddrBits.Octet, and HDirect.Ptr,
which was the same as Pointer.Ptr.
Now, I get another problem:
ERROR "../../lib/HDirect.lhs" (line 201): Type error in application
*** Expression : writeI64 ptr (toInt lo) (toInt hi)
*** Term : toInt hi
*** Type : Int
*** Does not match : Int32
I am sorry, but I have to give up at this point.
Regards,
Koen.
--
Koen Claessen http://www.cs.chalmers.se/~koen
phone:+46-31-772 5424 e-mail:[EMAIL PROTECTED]
-----------------------------------------------------
Chalmers University of Technology, Gothenburg, Sweden
