- Glasgow-haskell-users

patch-applied messages
by Christian Maeder 01 Apr '08

01 Apr '08

(resent this request for cvs-ghc(a)haskell.org to glasgow-haskell-users) Hi, could the actual change-diff of patches also be posted via this list (or a web-link to the change)? I think this was the case with the old cvs repository. This would teach a bit Haskell programming and how to write expressive log messages. Currently I never look up changes, although the log messages make me curious sometimes. (I rarely use darcs.) Cheers Christian This is just an example (with an uninteresting diff) > Tue Mar 25 17:49:32 PDT 2008 Ian Lynagh <igloo(a)earth.li> > * Remove a redundant type sig > > M ./compiler/ghci/InteractiveUI.hs -1

1 1

64-bit breakdown
by Jay Scott 31 Mar '08

31 Mar '08

I have a MacBook (which is a Core 2 Duo) running Mac OS X 10.4. On this platform, gcc makes 32-bit executables by default, but if you give it - m64 it makes them 64-bit. I've tried it, and it works. gcc gives its version as "i686-apple-darwin8-gcc-4.0.1 (GCC) 4.0.1 (Apple Computer, Inc. build 5367)" But 64-bit doesn't work with my ghc installation (6.8.2 from the binary distribution on the downloads page). If I compile a "Hello World" program with -fvia-c -optc-m64, it fails, saying -- Warning: retaining unknown function `_siC_entry.eh' in output from C compiler Warning: retaining unknown function `_Main_main_entry.eh' in output from C compiler Warning: retaining unknown function `_ZCMain_main_entry.eh' in output from C compiler Prologue junk?: _siC_entry: LFB142: subq $8, %rsp LCFI0: -- I don't need to solve this, but I thought I should make sure it's known. Jay

2 1

Expected behavior of "deriving Ord"?
by Conal Elliott 31 Mar '08

31 Mar '08

I have an algebraic data type (not newtype) that derives Ord: data AddBounds a = MinBound | NoBound a | MaxBound deriving (Eq, Ord, Read, Show) I was hoping to get a min method defined in terms of the min method of the type argument (a). Instead, I think GHC is producing something in terms of compare or (<=). Maybe it's defaulting min altogether. What is the expected behavior in (a) the language standard and (b) GHC? The reason I care is that my type parameter a turns out to have partial information, specifically lower bounds. The type of min allows this partial info to be used in producing partial info about the result, while the type of (<=) and compare do not. Thanks, - Conal

3 9

building against gmp in a nonstandard location
by prj＠po.cwru.edu 30 Mar '08

30 Mar '08

I'm having some trouble building ghc against gmp installed in an unusual place. (Actually, I install every package in its own directory, but gmp seems to be the one causing trouble here.) First attempt: adding the necessary -I, -L, and -Xlinker -R options to CPPFLAGS/LDFLAGS when invoking ./configure, and I also created mk/build.mk to add the -I flags to SRC_CC_OPTS and SRC_HSC2HS_OPTS, and -optc-I, -optl-L, and -optl-Xlinker -optl-R flags to SRC_HC_OPTS. This method worked for ghc 6.6.1, but 6.8.2 gives me: /command/ghc -H16m -O -O2 -optc-I/nil -optc-I/package/host/code.dogmap.org/foreign/ghc-6.8.2+spf+0/conf/gmp/include -optc-I/package/host/code.dogmap.org/foreign/ghc-6.8.2+spf+0/conf/ncurses/include -optc-I/package/host/code.dogmap.org/foreign/ghc-6.8.2+spf+0/conf/readline/include -optc-I/package/host/code.dogmap.org/foreign/ghc-6.8.2+spf+0/conf/binutils/include -optc-pipe -optl-pipe -optc-Os -optl-Os '-optc-march=pentium3' '-optl-march=pentium3' '-optc-mfpmath=sse' '-optl-mfpmath=sse' -optc-msse -optl-msse -optc-mmmx -optl-mmmx -optl-L/nil -optl-L/package/host/code.dogmap.org/foreign/ghc-6.8.2+spf+0/conf/gmp/library -optl-L/package/host/code.dogmap.org/foreign/ghc-6.8.2+spf+0/conf/ncurses/library -optl-L/package/host/code.dogmap.org/foreign/ghc-6.8.2+spf+0/conf/readline/library -optl-L/package/host/code.dogmap.org/foreign/ghc-6.8.2+spf+0/conf/binutils/library -optl-Xlinker -optl-R -optl-Xlinker -optl/package/host/code.dogmap.org/foreign/ghc-6.8.2+spf+0/conf/gmp/library -optl-Xlinker -optl-R -optl-Xlinker -optl/package/host/code.dogmap.org/foreign/ghc-6.8.2+spf+0/conf/ncurses/library -optl-Xlinker -optl-R -optl-Xlinker -optl/package/host/code.dogmap.org/foreign/ghc-6.8.2+spf+0/conf/readline/library -optl-Xlinker -optl-R -optl-Xlinker -optl/package/host/code.dogmap.org/foreign/ghc-6.8.2+spf+0/conf/binutils/library -istage1/utils -istage1/basicTypes -istage1/types -istage1/hsSyn -istage1/prelude -istage1/rename -istage1/typecheck -istage1/deSugar -istage1/coreSyn -istage1/vectorise -istage1/specialise -istage1/simplCore -istage1/stranal -istage1/stgSyn -istage1/simplStg -istage1/codeGen -istage1/main -istage1/profiling -istage1/parser -istage1/cprAnalysis -istage1/ndpFlatten -istage1/iface -istage1/cmm -istage1/nativeGen -Wall -fno-warn-name-shadowing -fno-warn-orphans -Istage1 -cpp -fglasgow-exts -fno-generics -Rghc-timing -I. -Iparser -package unix -ignore-package lang -recomp -Rghc-timing -H16M '-#include "cutils.h"' -DUSING_COMPAT -i../compat -ignore-package Cabal -package directory -package pretty -package containers -c stranal/StrictAnal.lhs -o stage1/stranal/StrictAnal.o -ohi stage1/stranal/StrictAnal.hi <<ghc: 34287668 bytes, 7 GCs, 122880/180224 avg/max bytes residency (2 samples), 19M in use, 0.02 INIT (0.00 elapsed), 0.20 MUT (0.33 elapsed), 0.10 GC (0.10 elapsed) :ghc>> make[1]: *** No rule to make target `stage1//package/host/code.dogmap.org/foreign/ghc-6.8.2+spf+0/conf/gmp/include/gmp.h', needed by `stage1/parser/cutils.o'. Stop. Second attempt: CPPFLAGS, LDFLAGS and mk/build.mk as above, and I also gave --with-gmp-{includes,libraries} to ./configure. This ends with the same error. Third attempt: all of the above, plus I modified mkdependC.prl to omit dependencies on absolute paths. (I suspect this is wrong, since I assume other people have successfully used gmp in a nonstandard path without having to patch anything, but anyway...) New failure: ../../compiler/stage1/ghc-inplace -Iinclude -package rts-1.0 -optc-O2 -odir dist/build -c cbits/longlong.c -o dist/build/cbits/longlong.o In file included from /fs/pkgs/mount/package/host/code.dogmap.org/foreign/ghc-6.8.2+spf+0/compile/src/ghc-6.8.2/includes/Stg.h:150, from /fs/pkgs/mount/package/host/code.dogmap.org/foreign/ghc-6.8.2+spf+0/compile/src/ghc-6.8.2/includes/Rts.h:19, from cbits/longlong.c:29:0: /fs/pkgs/mount/package/host/code.dogmap.org/foreign/ghc-6.8.2+spf+0/compile/src/ghc-6.8.2/includes/Regs.h:28:17: error: gmp.h: No such file or directory I would have thought the SRC_HC_OPTS options I put in mk/build.mk would be used for this compilation, but apparently not. Does anyone see where the problem might be? paul

2 7

RE: flexible contexts and context reduction
by Sittampalam, Ganesh 27 Mar '08

27 Mar '08

Because I want to be able to make Foo values where the parameter type isn't in Ord, too. I just want unFoo to work on specific Foo values where it is. -----Original Message----- From: Claus Reinke [mailto:claus.reinke@talk21.com] Sent: 27 March 2008 12:25 To: Sittampalam, Ganesh; Ganesh Sittampalam Cc: glasgow-haskell-users(a)haskell.org Subject: Re: flexible contexts and context reduction perhaps i'm missing something but, instead of trying to deduce conditions from conclusions, why can't you just follow ghc's suggestion, and add the constraints to the constructor? data Foo a where Foo1 :: a -> Foo a Foo2 :: (Ord a,Ord b) => Foo a -> Foo b -> Foo (a, b) (possibly with another constraint on Foo1) claus > A closer example to what I was actually doing was this: > > {-# LANGUAGE GADTs #-} > module Foo where > > data Foo a where > Foo1 :: a -> Foo a > Foo2 :: Foo a -> Foo b -> Foo (a, b) > > unFoo :: Ord a => Foo a -> a > unFoo (Foo1 a) = a > unFoo (Foo2 x y) = (unFoo x, unFoo y) > > [in the real code I did actually use the Ord constraint in the base > case] > > The error I get is this: > > Foo.hs:10:20: > Could not deduce (Ord a2) from the context () > arising from a use of `unFoo' at Foo.hs:10:20-26 > Possible fix: add (Ord a2) to the context of the constructor `Foo2' > In the expression: unFoo x > In the expression: (unFoo x, unFoo y) > In the definition of `unFoo': unFoo (Foo2 x y) = (unFoo x, unFoo y) > > Foo.hs:10:29: > Could not deduce (Ord b1) from the context () > arising from a use of `unFoo' at Foo.hs:10:29-35 > Possible fix: add (Ord b1) to the context of the constructor `Foo2' > In the expression: unFoo y > In the expression: (unFoo x, unFoo y) > In the definition of `unFoo': unFoo (Foo2 x y) = (unFoo x, unFoo y) > > Which suggests that GHC has also lost track of the fact that Ord (a, > b) is true. But it would certainly be necessary to get from Ord (a, b) > to (Ord a, Ord b) to get that to work. ============================================================================== Please access the attached hyperlink for an important electronic communications disclaimer: http://www.credit-suisse.com/legal/en/disclaimer_email_ib.html ==============================================================================

3 2

RE: flexible contexts and context reduction
by Sittampalam, Ganesh 27 Mar '08

27 Mar '08

> > Because I want to be able to make Foo values where the parameter type > > isn't in Ord, too. I just want unFoo to work on specific Foo values where it is. > but your recursive function requires a recursive constraint, which your data > type does not guarantee byconstruction, and which the Ord instances do not guarantee > due to lack of closed classes. Yeah. As you imply, I'm probably out of luck. > a rather pedestrian approach would record during construction whether or not > all parts are in Ord (see below). Unfortunately I need a (fully) polymorphic construction function, so this isn't possible. I'm trying to generalise the trick described at http://hsenag.livejournal.com/11803.html to arrows, but getting stuck with the "first" combinator. Thanks, Ganesh ============================================================================== Please access the attached hyperlink for an important electronic communications disclaimer: http://www.credit-suisse.com/legal/en/disclaimer_email_ib.html ==============================================================================

1 0

RE: flexible contexts and context reduction
by Sittampalam, Ganesh 27 Mar '08

27 Mar '08

> So the other question is whether this is useful. How often do people write stuff like this? > f :: Ord [a] => a -> a -> Bool > f x y = x>y > Nevertheless, I hadn't realised it was possible before, and now I can see it is. A closer example to what I was actually doing was this: {-# LANGUAGE GADTs #-} module Foo where data Foo a where Foo1 :: a -> Foo a Foo2 :: Foo a -> Foo b -> Foo (a, b) unFoo :: Ord a => Foo a -> a unFoo (Foo1 a) = a unFoo (Foo2 x y) = (unFoo x, unFoo y) [in the real code I did actually use the Ord constraint in the base case] The error I get is this: Foo.hs:10:20: Could not deduce (Ord a2) from the context () arising from a use of `unFoo' at Foo.hs:10:20-26 Possible fix: add (Ord a2) to the context of the constructor `Foo2' In the expression: unFoo x In the expression: (unFoo x, unFoo y) In the definition of `unFoo': unFoo (Foo2 x y) = (unFoo x, unFoo y) Foo.hs:10:29: Could not deduce (Ord b1) from the context () arising from a use of `unFoo' at Foo.hs:10:29-35 Possible fix: add (Ord b1) to the context of the constructor `Foo2' In the expression: unFoo y In the expression: (unFoo x, unFoo y) In the definition of `unFoo': unFoo (Foo2 x y) = (unFoo x, unFoo y) Which suggests that GHC has also lost track of the fact that Ord (a, b) is true. But it would certainly be necessary to get from Ord (a, b) to (Ord a, Ord b) to get that to work. Ganesh ============================================================================== Please access the attached hyperlink for an important electronic communications disclaimer: http://www.credit-suisse.com/legal/en/disclaimer_email_ib.html ==============================================================================

2 1

RE: flexible contexts and context reduction
by Sittampalam, Ganesh 27 Mar '08

27 Mar '08

> If you write the instance > instance Theta => Foo (T a b) where ... > where Theta is an arbitrary context, then, given a dictionary for (Foo (T a b)), you can get dictionaries for each constraint in Theta. Or in logic > > Theta <=> Foo (T a b) > > In your example, Theta is empty. >If you'd written > instance (Show a, Ix b) => Ord (a,b) then you could get a Show a and Ix b dictionaries from an Ord (a,b) dictionary. (But not an Ord a or Ord b > one.) I sort of see, but then what is Tom actually proposing? Replacing the body of the Ord declaration with something like OrdDict, thus forcing any possible instance for Ord (a, b) to provide OrdDict a and OrdDict b because of the definition of Super? In the current world, the possibility of instances like (Foo, Foo) make it impossible to write the code I originally asked about, so something would have to change, either with Ord or with my code, to be able to do anything like it. Ganesh ============================================================================== Please access the attached hyperlink for an important electronic communications disclaimer: http://www.credit-suisse.com/legal/en/disclaimer_email_ib.html ==============================================================================

1 0

RE: flexible contexts and context reduction
by Sittampalam, Ganesh 27 Mar '08

27 Mar '08

Well, Ord Foo doesn't hold, does it? So Ord (a, b) isn't equivalent to (Ord a, Ord b). Ganesh -----Original Message----- From: Simon Peyton-Jones [mailto:simonpj@microsoft.com] Sent: 27 March 2008 09:05 To: Sittampalam, Ganesh; 'Tom Schrijvers'; Ganesh Sittampalam Cc: glasgow-haskell-users(a)haskell.org; Martin Sulzmann Subject: RE: flexible contexts and context reduction Why "unfortunately"? Looks fine to me. Simon | | Unfortunately, GHC accepts the following: | | {-# LANGUAGE FlexibleInstances #-} | module Foo2 where | | data Foo = Foo | deriving Eq | | instance Ord (Foo, Foo) where | (Foo, Foo) < (Foo, Foo) = False ============================================================================== Please access the attached hyperlink for an important electronic communications disclaimer: http://www.credit-suisse.com/legal/en/disclaimer_email_ib.html ==============================================================================

3 2

RE: flexible contexts and context reduction
by Sittampalam, Ganesh 27 Mar '08

27 Mar '08

Tom Schrijvers wrote: > On Wed, 26 Mar 2008, Ganesh Sittampalam wrote: >> On Wed, 26 Mar 2008, Ross Paterson wrote: >> >>> On Wed, Mar 26, 2008 at 08:52:43PM +0000, Ganesh Sittampalam wrote: >>>> I'm a bit confused about why the following program doesn't compile >>>> (in any of 6.6.1, 6.8.1 and 6.9.20080316). Shouldn't the Ord (a, b) >>>> context be reduced? >>> >>> To use bar, you need (Ord a, Ord b). You're assuming that Ord (a, b) >>> implies that, but it's the other way round. > Logically, the implication holds. There's an equivalence: > > Ord a /\ Ord b <=> Ord (a,b) Unfortunately, GHC accepts the following: {-# LANGUAGE FlexibleInstances #-} module Foo2 where data Foo = Foo deriving Eq instance Ord (Foo, Foo) where (Foo, Foo) < (Foo, Foo) = False Cheers, Ganesh ============================================================================== Please access the attached hyperlink for an important electronic communications disclaimer: http://www.credit-suisse.com/legal/en/disclaimer_email_ib.html ==============================================================================

2 1