RE: building 5.04.3 on sparc-solaris-2.6

2003-03-18 Thread Simon Marlow
I'm trying to build ghc-5.04.3 from source on a sparc-solaris-2.6 machine, using 5.02.3. It throws up the following build error. Any ideas what might be going wrong? I'm not sure, and I'm afraid our one and only Sparc box has just died, probably permanently :-( The 5.04.3 build *did* go

Re: building 5.04.3 on sparc-solaris-2.6

2003-03-18 Thread Malcolm Wallace
Simon Marlow [EMAIL PROTECTED] writes: I'm trying to build ghc-5.04.3 from source on a sparc-solaris-2.6 machine, using 5.02.3. It throws up the following build error. Any ideas what might be going wrong? I'm not sure, and I'm afraid our one and only Sparc box has just died, probably

RE: building 5.04.3 on sparc-solaris-2.6

2003-03-18 Thread Simon Marlow
Simon Marlow [EMAIL PROTECTED] writes: I'm trying to build ghc-5.04.3 from source on a sparc-solaris-2.6 machine, using 5.02.3. It throws up the following build error. Any ideas what might be going wrong? I'm not sure, and I'm afraid our one and only Sparc box has just died,

Re: floating point literals

2003-03-18 Thread Dean Herington
Simon Marlow wrote: On Mon, Mar 17, 2003 at 10:33:47AM +, Ross Paterson wrote: GHC doesn't recognize literals like 9e2, and nor does lex. Correction: GHC doesn't recognize 9e2 lex is confused by 0xy, 0oy, 9e+y and 9.0e+y Fixed GHC, I'll leave lex to someone more familiar with

Re: floating point literals

2003-03-18 Thread Jon Fairbairn
On 2003-03-18 at 12:44EST Dean Herington wrote: Simon Marlow wrote: On Mon, Mar 17, 2003 at 10:33:47AM +, Ross Paterson wrote: GHC doesn't recognize literals like 9e2, and nor does lex. Fixed GHC, I'll leave lex to someone more familiar with the code... Cheers, Simon

RE: Stricness of floor etc

2003-03-18 Thread Simon Marlow
Looking at ghc --show-iface .../ghc/lib/ghc-5.05/imports/base/GHC/Float.hi I see floor1 :: forall b. (GHC.Real.Integral b) = Double - b __S L properFraction2 :: forall b. (GHC.Real.Integral b) = Double - (b, Double) __S L

Re: Stricness of floor etc

2003-03-18 Thread Ian Lynagh
On Tue, Mar 18, 2003 at 10:22:52AM -, Simon Marlow wrote: floor1 :: forall b. (GHC.Real.Integral b) = Double - b __S L This floor is the dictionary selector, and for various (complicated looking) reasons it is lazy in its dictionary argument. Aha! Thanks.

Class or parameterized type?

2003-03-18 Thread oleg
Hello! Example: I wish to define a structured container type, let's call it a RatsNest, that is type-variable in two ways: (a) it is parameterized by a type of some class, let's call it RatsTail, such that a RatsNest is a structure of things that have common properties. Certain

Re: data vs. newtype, abstractly

2003-03-18 Thread Fergus Henderson
On 09-Mar-2003, Hal Daume III [EMAIL PROTECTED] wrote: well, yes, but if you export: mkN :: Int - N mkD :: Int - D or something like that, then they'll still bea ble to tell the difference, right? Not necessarily. For example mkD could be defined as mkD x = x `seq` D x in

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 both a