Hi, I tried to compile it using gcc 4.2.2,but I failed with an linking greencard-nhc98, which has a few symbols cannot be found such as "isnormal","isfinite". Then I tried compile it with ghc-6.8.2, it also failed. Could someone tell me whether nhc98 can be compile by ghc-6.8.2 now? Thanks. Best regards. pierric