Re: [Haskell] QuickCheck revival and Cabal

2006-04-11 Thread Frederik Eaton
Hi, Why not just call it, say, Test.QuickCheck2? I think module names should reflect only their functionality. I don't see how External or Contrib or Chalmers would say anything useful about the functionality of the modules. A while ago I sent a proposal for package mounting, which I think

quoting in error messages

2006-04-07 Thread Frederik Eaton
Hi, This is quite a minor issue but I just wanted to point out that it would be a little easier on the eye to use double quotes rather than paired single quotes in error messages e.g.: Couldn't match the rigid variable `d'' against `Bar a' `d'' is bound by the polymorphic type `forall

[Haskell-cafe] Re: generics question 2

2006-04-04 Thread Frederik Eaton
Hi Ralf, Thanks. I'm sorry, now I think that wasn't the source of my problem. What I want to do is specialise not to a specific type like Bool but to the class of all pairs (a,b). But this causes the compiler to complain, even for simpler examples: cast True :: (Typeable a, Typeable b) = Maybe

[Haskell-cafe] generics question 2

2006-04-03 Thread Frederik Eaton
Hi Ralf, I'm looking for a function like extT but with more general type: (t a - s a) - (t b - s b) - (t a - s a) Is there such a thing in the generics library? Thanks, Frederik -- http://ofb.net/~frederik/ ___ Haskell-Cafe mailing list

Re: [Haskell-cafe] matrix computations based on the GSL

2006-03-16 Thread Frederik Eaton
Hi Alberto, I'm sorry if this has been discussed before... I'm reading your paper, at one point it says (re. the PCA example): Octave achieves the same result, slightly faster. (In this experiment we have not used optimized BLAS libraries which can improve efficiency of the GSL) That seems to

Re: [Haskell-cafe] STUArray

2006-03-11 Thread Frederik Eaton
March 2006 23:01, Frederik Eaton wrote: I'm trying to figure out how to use STUArray. Is it possible to let it be polymorphic? Hi Frederik I think this thread (and the one it referres to) provide a solution: http://www.mail-archive.com/haskell%40haskell.org/msg17081.html Ben

[Haskell-cafe] STUArray

2006-03-10 Thread Frederik Eaton
Hi all, I'm trying to figure out how to use STUArray. Is it possible to let it be polymorphic? Here is an excerpt from my program: class (IArray UArray k, Ord k, Fractional k) = Elt k class (Bounded a, Enum a, Ix a, Eq a, Show a) = IxB a -- |like Array but uses IxB instead of Ix

optimistic evaluation

2006-02-07 Thread Frederik Eaton
Hi all, What is the status of Rob Ennals' optimistic evaluation work? I'm told that it has been removed from GHC. This is extremely depressing to me. Without such a feature available, it becomes very difficult to write programs that process large amounts of data in Haskell. In many such

Re: Constr and Eq

2005-12-29 Thread Frederik Eaton
an Integer value for the constructors. Ralf -Original Message- From: [EMAIL PROTECTED] [mailto:glasgow-haskell- [EMAIL PROTECTED] On Behalf Of Frederik Eaton Sent: Thursday, December 29, 2005 10:57 AM To: glasgow-haskell-bugs@haskell.org Subject: Constr and Eq toConstr

missing Data instances

2005-12-29 Thread Frederik Eaton
These don't seem to have Data instances in 6.4.1: Language.Haskell.TH.Exp Data.Tree.Tree I guess there are probably a lot more, I just ran into these today. Is there anything which prevents proper 'deriving' clauses from being added to their definitions? Frederik

panic

2005-12-16 Thread Frederik Eaton
$ ghc --make Vector.hs -fth Chasing modules from: Vector.hs [1 of 2] Skipping Fu.Prepose ( Fu/Prepose.hs, Fu/Prepose.o ) [2 of 2] Compiling Fu.Vector( Vector.hs, Vector.o ) ghc-6.5.20051208: panic! (the `impossible' happened, GHC version 6.5.20051208): Failed binder lookup:

Re: panic

2005-12-16 Thread Frederik Eaton
By the way, the variable b which b{tv a1hL} seems to be referring to is on the last line of vecQ. Help is much appreciated! Thanks, Frederik On Fri, Dec 16, 2005 at 09:54:28PM +, Frederik Eaton wrote: $ ghc --make Vector.hs -fth Chasing modules from: Vector.hs [1 of 2] Skipping

Re: recommended build system

2005-12-12 Thread Frederik Eaton
feature as well. Frederik On Mon, Dec 12, 2005 at 02:28:34PM -, Simon Marlow wrote: On 10 December 2005 05:08, Frederik Eaton wrote: $ ghc -pgmc gcc --make Matrix.hs -o matrix Chasing modules from: Matrix.hs [1 of 2] Compiling Fu.Prepose ( Fu/Prepose.hs, Fu/Prepose.o ) ghc

Re: recommended build system

2005-12-12 Thread Frederik Eaton
That made it work, thanks. Frederik On Mon, Dec 12, 2005 at 07:01:42PM -, Simon Marlow wrote: On 12 December 2005 18:49, Frederik Eaton wrote: $ ghc -pgml gcc -pgmP gcc -E -undef -traditional -pgmc gcc --make Matrix.hs -o matrix Chasing modules from: Matrix.hs [1 of 2] Compiling

Re: recommended build system

2005-12-09 Thread Frederik Eaton
working. I'll change it back to gcc. To workaround it you can add '-pgmc gcc' to the command line. Cheers, Simon On 09 December 2005 03:26, Frederik Eaton wrote: Does this depend on a certain version of gcc? $ ghc -M --make Matrix.hs -o matrix Chasing modules from: Matrix.hs

Re: recommended build system

2005-12-09 Thread Frederik Eaton
On 09 December 2005 03:26, Frederik Eaton wrote: Does this depend on a certain version of gcc? $ ghc -M --make Matrix.hs -o matrix Chasing modules from: Matrix.hs [1 of 2] Compiling Fu.Prepose ( Fu/Prepose.hs, Fu/Prepose.o ) ghc-6.5.20051207: could not execute: gcc-3.4.3

Re: [Haskell-cafe] matrix computations based on the GSL

2005-12-09 Thread Frederik Eaton
Hi, I've just looked through this discussion, since I'm working on my own library, I wanted to see what people are doing. It's something like this, using the Prepose (Implicit Configurations) paper: data L n = L Int deriving (Show, Eq, Ord) -- singleton domain type S = L Zero class (Bounded

Re: ghc --make and make

2005-12-08 Thread Frederik Eaton
Shouldn't it work to pass -M --make? Or, hmm, maybe -M isn't generating enough dependencies - like, it seems that it should generate a dependency for the final output file specified with -o but it isn't... Frederik On Wed, Dec 07, 2005 at 11:34:55AM -, Simon Marlow wrote: On 04 December

Re: recommended build system

2005-12-08 Thread Frederik Eaton
: [EMAIL PROTECTED] [mailto:glasgow-haskell-users- | [EMAIL PROTECTED] On Behalf Of Frederik Eaton | Sent: 04 December 2005 00:46 | To: glasgow-haskell-users@haskell.org | Subject: recommended build system | | Hi all, | | I'm looking for a build system for my projects which will correctly

Re: recommended build system

2005-12-05 Thread Frederik Eaton
Go figure... I suppose that fixes Cabal too, now. Thanks, Frederik On Mon, Dec 05, 2005 at 10:51:19AM -, Simon Peyton-Jones wrote: Simon fixed this recently. The GHC HEAD build will not re-link with --make if none of the object files have changed. Simon

recommended build system

2005-12-03 Thread Frederik Eaton
Hi all, I'm looking for a build system for my projects which will correctly handle all of ghc's dependencies. I.e. every time I ask it to rebuild an output file, it will only do the minimum amount of compilation necessary. This is important to me because ghc --make and cabal currently (AFAICT)

libraries under ghc

2005-10-29 Thread Frederik Eaton
Is true that it is currently necessary to reinstall every locally-installed package when I upgrade to a new version of ghc, even if it is only a new patchlevel? Maybe this should only be necessary when the major or minor version number changes? Frederik

Re: [Haskell] Read Instances for Data.Map and Data.Set

2005-10-19 Thread Frederik Eaton
On Wed, Oct 19, 2005 at 08:20:10PM +0200, Georg Martius wrote: Hi folks, I was really annoyed by the fact that for Data.Map and Data.Set are no Read instances declared, but Show instances are! I believe there should be some kind of unwritten rule that in the standart lib the Show and Read

Re: [Haskell] reader-like IO, parents of threads

2005-10-18 Thread Frederik Eaton
be garbage collected is a bit tricky (it can be done though; see our old Memo table implementation in fptools/hslibs/util/Memo.hs). Cheers, Simon On 16 October 2005 20:53, Frederik Eaton wrote: John Meacham suggested that I should be a little more clear about the semantics I'm

[Haskell] reader-like IO, parents of threads

2005-10-16 Thread Frederik Eaton
Hi, I'm trying to get MonadReader-like functionality in the IO monad. It doesn't appear possible implement it with the interfaces that Haskell98 or GHC provide. I'm looking for something like thread-local variables. The interface could be something like this: newTLRef :: a - IO (TLRef a)

Re: [Haskell] reader-like IO, parents of threads

2005-10-16 Thread Frederik Eaton
-0700, Frederik Eaton wrote: Hi, I'm trying to get MonadReader-like functionality in the IO monad. It doesn't appear possible implement it with the interfaces that Haskell98 or GHC provide. I'm looking for something like thread-local variables. The interface could be something like

Re: [Haskell] Literal for Infinity

2005-10-02 Thread Frederik Eaton
I've previously mentioned that I would like to see an 'instance Bounded Double' etc., as part of the standard, which would use 1/0 for maxBound, or the largest possible value (there must be one!) for platforms where that is not possible. I don't see a problem with looking at Double values as if

Re: [Haskell-cafe] How to debug GHC

2005-09-19 Thread Frederik Eaton
On Mon, Sep 19, 2005 at 02:22:10PM +0100, Glynn Clements wrote: Frederik Eaton wrote: In addition to the stack trace problems, I found: (1) a problem where output freezes when it is being piped through 'tee' and the user presses ^S and then ^Q That's the terminal driver; use stty

Re: [Haskell-cafe] generics question, logical variables

2005-09-18 Thread Frederik Eaton
Hi Ralf, I'm revisiting this project and just have another question. The story seems to be that GHC cannot derive Typeable1, or Typeable when Typeable1 is available - so anyone who wants to use ext1Q must define special instances for all of the datatypes they use, is this correct? Will this

Re: [Haskell-cafe] How to debug GHC

2005-09-18 Thread Frederik Eaton
It could be a bug - can you reduce the example and report it? GHC's profiler tries to overlay a lexical call graph on to the dynamic execution of the program. It does this more or less in the way you described before: every function gets an extra argument describing the call context.

module priorities

2005-09-17 Thread Frederik Eaton
Hi, It seems like ghc 6.4 is using modules from installed packages in preference to modules in the current source directory when I compile something with --make. I can fix it with -hide-package PACKAGE; but shouldn't the default behavior be to look in the source directory first? Otherwise it

Re: [Haskell] Mixing monadic and non-monadic functions

2005-09-15 Thread Frederik Eaton
I have another proposal, though. Introduce a new keyword, which I'll call borrow (the opposite of return), that behaves like a function of type (Monad m) = m a - a inside of do statements. More precisely, a do expression of the form do { ... ; ... borrow E ... ; ... } is transformed

Re: [Haskell-cafe] How to debug GHC

2005-09-14 Thread Frederik Eaton
On Wed, Sep 14, 2005 at 02:44:11PM +0100, Simon Marlow wrote: On 10 September 2005 21:15, Frederik Eaton wrote: On Fri, Sep 02, 2005 at 04:40:05PM +0400, Bulat Ziganshin wrote: Hello Nils, Friday, September 02, 2005, 10:47:05 AM, you wrote: Compile your program with -prof

Re: runghc takes modules from current working directory

2005-09-13 Thread Frederik Eaton
On Tue, Sep 13, 2005 at 10:15:39AM +0100, Simon Marlow wrote: On 12 September 2005 16:34, Frederik Eaton wrote: On Mon, Sep 12, 2005 at 12:41:32PM +0100, Simon Marlow wrote: On 20 August 2005 22:38, Frederik Eaton wrote: Hi, It seems like it would be nice to have runghc not take

Re: mysterious directory include error

2005-09-12 Thread Frederik Eaton
On Mon, Sep 12, 2005 at 12:46:22PM +0100, Simon Marlow wrote: On 20 August 2005 22:41, Frederik Eaton wrote: Here is my program: #!/usr/bin/runghc -i./foo main :: IO () main = do print hi $ runghc --version The Glorious Glasgow Haskell Compilation System, version 6.4

Re: runghc takes modules from current working directory

2005-09-12 Thread Frederik Eaton
On Mon, Sep 12, 2005 at 12:41:32PM +0100, Simon Marlow wrote: On 20 August 2005 22:38, Frederik Eaton wrote: Hi, It seems like it would be nice to have runghc not take modules from the current working directory in many cases since it breaks abstraction. It looks like it may be only

Re: mysterious directory include error

2005-09-12 Thread Frederik Eaton
. (by the way, it would be nice if --version and --help were functional in the newer versions of runghc) Thanks, Frederik Eaton -- http://ofb.net/~frederik/ ___ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman

Re: [Haskell] Re: Mixing monadic and non-monadic functions

2005-09-10 Thread Frederik Eaton
that the importance of notation is underrated). I think most such shorthand can be understood simply in terms of lifting, and I hypothesize that we can find an automatic lifting rule along the lines I've described which will not be as ambiguous as you suggest. Frederik On 09/09/05, Frederik Eaton [EMAIL PROTECTED

Re: [Haskell] Monadification as a refactoring [was: Mixing monadic and non-monadic functions]

2005-09-10 Thread Frederik Eaton
On Sat, Sep 10, 2005 at 12:55:15AM +0100, Claus Reinke wrote: life is funny, isn't it? so many people so eagerly lazily, in my case discussing conversion between non-monadic and monadic code, I'm trying to discuss a new syntax, not code transformations. I agree that the two are related. I'm

Re: [Haskell] Mixing monadic and non-monadic functions

2005-09-09 Thread Frederik Eaton
On Thu, Sep 08, 2005 at 09:34:33AM +0100, Keean Schupke wrote: Can't you do automatic lifting with a Runnable class: class Runnable x y where run :: x - y instance Runnable (m a) (m a) where run = id instance Runnable (s - m a) (s - m a) where run =

Re: [Haskell] Mixing monadic and non-monadic functions

2005-09-09 Thread Frederik Eaton
as in 'liftM', not 'lift' from MonadTrans. On Fri, Sep 09, 2005 at 01:17:57PM -0700, Frederik Eaton wrote: On Thu, Sep 08, 2005 at 09:34:33AM +0100, Keean Schupke wrote: Can't you do automatic lifting with a Runnable class: class Runnable x y where run :: x - y instance Runnable

Re: [Haskell] Re: Mixing monadic and non-monadic functions

2005-09-09 Thread Frederik Eaton
By the way, I thought it would be obvious, but a lot of people seem to be missing the fact that I'm not (as Sean, I believe, isn't) requesting limited support for 1 or 2 or 3 argument functions or certain type classes to be applied to monads, or for certain operations to defined on certain types.

ghc-pkg --global has strange semantics

2005-09-08 Thread Frederik Eaton
It appears that the --global option to ghc-pkg causes the program to forget all of the preceding package configuration options. Here we get results for all three options: $ /usr/bin/ghc-pkg list --global --user --package-conf=testp.conf /usr/lib/ghc-6.4/package.conf: ... (util-1.0),

Re: [Haskell] Mixing monadic and non-monadic functions

2005-09-08 Thread Frederik Eaton
Frederik, To do automatic lifting you need to do a (higher-order) effect analysis, then make sure the compiler doesn't rearrange applications which have conflicting effects. Hrm, I disagree. I don't think this is what I was advocating in my message. What I'm advocating is a reasonably

Re: [Haskell] mailing list headaches

2005-09-08 Thread Frederik Eaton
On Thu, Sep 08, 2005 at 08:39:29AM +0200, Tomasz Zielonka wrote: On Wed, Sep 07, 2005 at 12:46:42PM -0700, Frederik Eaton wrote: Hi all, Hi! After some weeks of squinting, I've ended up settling with the following partial solution in my configuration files (I use Mutt): set

Re: [Haskell] Mixing monadic and non-monadic functions

2005-09-08 Thread Frederik Eaton
dependency, then compile the resulting code. which sounds sort of the same as the semantics I'm envisioning. Frederik On Wed, Sep 07, 2005 at 11:41:41PM -0700, Frederik Eaton wrote: Frederik, To do automatic lifting you need to do a (higher-order) effect analysis, then make sure the compiler

Re: [Haskell] Mixing monadic and non-monadic functions

2005-09-08 Thread Frederik Eaton
On Thu, Sep 08, 2005 at 10:35:49AM +0200, Wolfgang Lux wrote: Frederik Eaton wrote: I want the type system to be able to do automatic lifting of monads, i.e., since [] is a monad, I should be able to write the following: and have it interpreted as do {a-[1,2]; b-[3,4]; return (a+b

Re: [Haskell] Mixing monadic and non-monadic functions

2005-09-08 Thread Frederik Eaton
On Thu, Sep 08, 2005 at 09:30:34AM -0700, Scherrer, Chad wrote: One of Mark Jones's articles suggests something like class Plus a b c | a b - c where (+) :: a - b - c Would instance (Plus a b c, Monad m) = Plus (m a) (m b) (m c) where mx + my = do x - mx y - my

inconsistency with ghc-pkg describe

2005-09-07 Thread Frederik Eaton
In an invocation of ghc-pkg describe PACKAGE, if a package PACKAGE is found in multiple package.conf files (which are specified via the --package-conf option on the ghc-pkg command line) then a description for *each* such occurrence of that package is printed, one after the other. But since

[Haskell] mailing list headaches

2005-09-07 Thread Frederik Eaton
Hi all, I've been trying for some time to get threading to work properly on this mailing list. The problem is that I don't want to thread by subject in all of my folders, because then messages with short subjects like hi, hey, etc., in my personal folders will end up together. However, threading

Re: [Haskell] Mixing monadic and non-monadic functions

2005-09-07 Thread Frederik Eaton
Hi, Sean's comment (yeah, it was like a billion years ago, just catching up) is something that I've often thought myself. I want the type system to be able to do automatic lifting of monads, i.e., since [] is a monad, I should be able to write the following: [1,2]+[3,4] and have it

[Haskell] Re: emacs haskell mode

2005-09-05 Thread Frederik Eaton
On Mon, Sep 05, 2005 at 11:48:12AM -0400, Stefan Monnier wrote: Sorry if I've asked this before, but is version 2.0 of haskell-mode on your website really the newest version? It's the latest released version. There's newer code in the CVS, of course. I ask because the file

[Haskell] [OT] xemacs (was: Re: emacs haskell mode)

2005-09-05 Thread Frederik Eaton
On Mon, Sep 05, 2005 at 06:53:21PM -0400, Stefan Monnier wrote: Hmm. I use font-lock, but I use xemacs (21.4). Maybe that's the cause of the difference. IIRC XEmacs's support for syntax-table text-properties (and more specifically for font-lock-syntactic-keywords) has been generally fairly

Re: [Haskell-cafe] How to debug GHC

2005-09-02 Thread Frederik Eaton
Just more or less as an aside, at its origin in April (!) this thread didn't mention any debugger - the question was just how to build ghc so that a stack trace would come out. A real debugger is no replacement for that (because you have to be on hand and know how to repeat the problem to

Re: hat, ghc

2005-09-01 Thread Frederik Eaton
On Thu, Sep 01, 2005 at 04:46:38PM +0100, Malcolm Wallace wrote: Frederik Eaton [EMAIL PROTECTED] writes: Is there a way to use Hat with GHC, without 'hmake'? You could transform each module in your project individually with hat-trans, before running ghc --make over the traced version

Re: [Haskell-cafe] How to debug GHC

2005-09-01 Thread Frederik Eaton
On Wed, Apr 27, 2005 at 05:15:30PM +1000, Bernard Pope wrote: On Wed, 2005-04-27 at 07:45 +0200, Ketil Malde wrote: [I want to know] who called who all the way from main to head, because the key function is going to be one somewhere in the middle. Perhaps. I am told stack backtraces

Re: [Haskell-cafe] generics question, logical variables

2005-08-29 Thread Frederik Eaton
. Perhaps you could look into the TH code for SYB3 (ICFP 2005) to see whether this can be automated. This sort of discussion calls for kind polymorphism once again. -Original Message- From: [EMAIL PROTECTED] [mailto:haskell-cafe- [EMAIL PROTECTED] On Behalf Of Frederik Eaton Sent

[Haskell-cafe] generics question, logical variables

2005-08-28 Thread Frederik Eaton
Hi all, I'm trying to write something like a generic fmap, or a generic natural transformation. The application is this. I have a typed logical variable library which produces arbitrary terms with values of type Var a, which are references to a value of type Maybe a, and I want to write a solve

a stateful bug

2005-08-21 Thread Frederik Eaton
Hi all, If you execute the following commands: $ wget http://ofb.net/~frederik/futility/futility-0.1.0.tar.gz $ tar -xvzf futility-0.1.0.tar.gz $ cd futility-0.1.0/ $ ./do-build conf=1 Then if all goes well you should see an error like this: ./Fu/MonadComp.hs:46:0: Duplicate

runghc takes modules from current working directory

2005-08-20 Thread Frederik Eaton
Hi, It seems like it would be nice to have runghc not take modules from the current working directory in many cases since it breaks abstraction. It looks like it may be only a real problem for debugging, when modules are supposed to be in a package somewhere, but aren't, and the current directory

mysterious directory include error

2005-08-20 Thread Frederik Eaton
Here is my program: #!/usr/bin/runghc -i./foo main :: IO () main = do print hi $ runghc --version The Glorious Glasgow Haskell Compilation System, version 6.4 $ ls foo $ ./test.hs interactive:1:85: Failed to load interface for `Main': Could not find module `Main':

runghc, .hs suffix

2005-08-13 Thread Frederik Eaton
Hi, Has runghc been fixed to not require scripts to have a .hs suffix? It looks to me like it hasn't, in the recent 6.4.1 snapshot, but I may be overlooking some option. Frederik ___ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org

Re: another wash compile problem

2005-08-10 Thread Frederik Eaton
Compiling a module which imports the 14 smaller modules takes much less time than compiling the monolithic module - it's almost 5 times faster (see below). We've found the cause of this, and committed a fix. The full HTMLMonda98.hs now compiles in 27 seconds for me, without optimisation

Re: Error: symbol `__stg_split_marker' is already defined

2005-08-05 Thread Frederik Eaton
# ghc --version The Glorious Glasgow Haskell Compilation System, version 6.4 # uname -a Linux fly 2.4.25-powerpc #1 mer avr 14 15:38:38 CEST 2004 ppc GNU/Linux Strange.. as far as I can tell, -split-objs is supposed to be supported on powerpc-*-linux. Can any powerpc-*-linux

Error: symbol `__stg_split_marker' is already defined

2005-08-04 Thread Frederik Eaton
Hi, I'm trying to compile (a modified version of) HSQL and the compilation fails on the first ghc invocation: ... rm -f build/libHSsql.a cp src/HSQL/Types.hs build/Database/HSQL/Types.hs mkdir -p build/Database/HSQL/Types_split rm -f build/Database/HSQL/Types_split/* /usr/bin/ghc

Re: Error: symbol `__stg_split_marker' is already defined

2005-08-04 Thread Frederik Eaton
On Thu, Aug 04, 2005 at 12:27:45PM +0100, Simon Marlow wrote: On 04 August 2005 10:47, Frederik Eaton wrote: I'm trying to compile (a modified version of) HSQL and the compilation fails on the first ghc invocation: ... rm -f build/libHSsql.a cp src/HSQL/Types.hs build/Database/HSQL

Re: [Haskell] offside rule question

2005-07-14 Thread Frederik Eaton
If you don't like that way, you can use {;} as you say. -- Lennart Frederik Eaton wrote: Huh, that seems patronizing. Well at least I can override it with {}. Thanks, Frederik On Thu, Jul 14, 2005 at 02:42:53AM +0200, Lennart Augustsson wrote: That's how it is defined

[Haskell] offside rule question

2005-07-13 Thread Frederik Eaton
Compiling the following module (with ghc) fails with error message parse error (possibly incorrect indentation), pointing to the let statement. The error goes away when I indent the lines marked --*. But I don't understand how what I've written could be ambiguous. If I am inside a parenthesized

Re: [Haskell] offside rule question

2005-07-13 Thread Frederik Eaton
it) is there to give visual cues. If you were allowed to override these easily just because it's parsable in principle then your code would no longer have these visual cues that make Haskell code fairly easy to read. -- Lennart Frederik Eaton wrote: Compiling the following module (with ghc

Re: [Haskell-cafe] cabal --user question

2005-07-11 Thread Frederik Eaton
Hi Isaac, Is there a way to specify a particular package.conf for use when installing and registering packages with Cabal? I'm trying to Cabal-ize WASH which has a number of packages which depend on each other. The problem is that in order to build the next package, the previous one has to be

[Haskell-cafe] cabal --user question

2005-07-10 Thread Frederik Eaton
Hi, How do I install a package in the user package.conf with cabal? It is not clear to me how to do this, looking at the output of 'configure --help'. There is an option --user to get dependencies from the user cabal file but this still, somewhat counterintuitively, tries to install the package

Re: [Haskell-cafe] cabal --user question

2005-07-10 Thread Frederik Eaton
Thanks for the quick reply! How do I install a package in the user package.conf with cabal? It is not clear to me how to do this, looking at the output of 'configure --help'. There is an option --user to get dependencies from the user cabal file but this still, somewhat

Re: [Haskell-cafe] cabal --user question

2005-07-10 Thread Frederik Eaton
I forgot to say, when I run configure like runghc Setup.hs configure --with-hc-pkg=ghc-pkg --user --prefix=$HOME and then run 'install', it exits with code 127 but displays no error message. Maybe something to look into... Frederik On Sun, Jul 10, 2005 at 05:00:13PM -0700, Frederik Eaton wrote

Re: another wash compile problem

2005-07-06 Thread Frederik Eaton
When I compile WASH it takes forever for ghc to finish compiling HTMLMonad98, and on my powerpc system with 151MB free RAM, gcc crashes during the compile. Should some of the larger WASH modules maybe be split into multiple files? I get the sense that ghc compilation time/memory is

Re: the `impossible' happened

2005-06-28 Thread Frederik Eaton
On Mon, Jun 27, 2005 at 01:08:07PM +0100, Simon Marlow wrote: On 25 June 2005 21:09, Frederik Eaton wrote: Skipping Version ( ./Version.hs, dist/build/./fcq-www.cgi-tmp/Version.o ) Skipping ChangeLog( ./ChangeLog.hs, dist/build/./fcq-www.cgi-tmp/ChangeLog.o ) Compiling

Re: ghc-pkg issue

2005-06-26 Thread Frederik Eaton
On Sun, Jun 26, 2005 at 10:18:03AM +0200, Lemmih wrote: On 6/26/05, Frederik Eaton [EMAIL PROTECTED] wrote: This is kind of annoying: $ ghc-pkg --version GHC package manager version 6.4 $ ghc-pkg unregister WASHHTML ghc-pkg: package WASHHTML matches multiple packages: WASHHTML

Re: ghc-pkg issue

2005-06-26 Thread Frederik Eaton
$ ghc-pkg describe WASHHTML\* ghc-pkg: cannot parse 'WASHHTML*' as a package identifier By the way, if I write it as 'WASHHTML-\*' it lists both packages as per documentation. And I can use that to remove both, and then reinstall one. Still, my goal was to remove only one. Frederik --

the `impossible' happened

2005-06-25 Thread Frederik Eaton
Skipping Version ( ./Version.hs, dist/build/./fcq-www.cgi-tmp/Version.o ) Skipping ChangeLog( ./ChangeLog.hs, dist/build/./fcq-www.cgi-tmp/ChangeLog.o ) Compiling Main ( fcq-www.hs, dist/build/./fcq-www.cgi-tmp/Main.o )

ghc-pkg issue

2005-06-25 Thread Frederik Eaton
This is kind of annoying: $ ghc-pkg --version GHC package manager version 6.4 $ ghc-pkg unregister WASHHTML ghc-pkg: package WASHHTML matches multiple packages: WASHHTML, WASHHTML-0.14.8 $ ghc-pkg describe WASHHTML ghc-pkg: package WASHHTML matches multiple packages: WASHHTML, WASHHTML-0.14.8 $

[Haskell] Re: package mounting

2005-06-24 Thread Frederik Eaton
(By the way, sorry about cross-posting again. People have already replied to just 'haskell@' and just 'libraries@' but I'll try to stick to 'libraries@' after this since it seems that some users' mail clients show them two copies otherwise) This idea has been raised before, but it was a while

[Haskell] rfc: package mounting

2005-06-23 Thread Frederik Eaton
Hi all, It looks like there's been a bit of recent discussion regarding module and package namespaces. There is a certain possible design feature that I don't think has been mentioned yet, that I think would be very helpful, so I thought I should at least bring it up. What I want is to be able

Re: ghci obscurity

2005-05-24 Thread Frederik Eaton
- | [EMAIL PROTECTED] On Behalf Of Frederik Eaton | Sent: 21 May 2005 14:34 | To: glasgow-haskell-bugs@haskell.org | Subject: ghci obscurity | | Often ghci will give me the following message instead of something | helpful: | | Top level: | No instance for (Show (IO

Re: the impossible happened

2005-05-23 Thread Frederik Eaton
PROTECTED] On Behalf Of Frederik Eaton | Sent: 21 May 2005 11:49 | To: glasgow-haskell-bugs@haskell.org | Subject: the impossible happened | | ghc-6.4: panic! (the `impossible' happened, GHC version 6.4): | Maybe.fromJust: Nothing | | Please report it as a compiler bug to glasgow

the impossible happened

2005-05-21 Thread Frederik Eaton
ghc-6.4: panic! (the `impossible' happened, GHC version 6.4): Maybe.fromJust: Nothing Please report it as a compiler bug to glasgow-haskell-bugs@haskell.org, or http://sourceforge.net/projects/ghc/. I think this was the command line: /home/frederik/arch/i386/bin/ghc -odir

ghci obscurity

2005-05-21 Thread Frederik Eaton
Often ghci will give me the following message instead of something helpful: Top level: No instance for (Show (IO ())) arising from use of `print' at Top level Probable fix: add an instance declaration for (Show (IO ())) In a 'do' expression: print it I don't know how hard it

Re: runghc, .hs suffix

2005-05-18 Thread Frederik Eaton
implemented something similar to gcc's -x flag. Cheers, Simon On 14 May 2005 20:04, Frederik Eaton wrote: (moving to a separate thread) Also, how hard would it be to make it so that runghc doesn't require script file names to end with .hs? Some people like to keep their executable

runInteractiveProcess, confused

2005-05-18 Thread Frederik Eaton
Hi, When I run the following line in ghci: Prelude System.Process Control.Concurrent System.IO do { (inp, out, err, ph) - runInteractiveProcess cat [] Nothing Nothing; forkIO (do hPutStr inp this\nis\na\ntest\n; hClose inp); waitForProcess ph } ... it doesn't terminate. I'm following the

Re: runghc, .hs suffix

2005-05-18 Thread Frederik Eaton
implemented something similar to gcc's -x flag. Cheers, Simon On 14 May 2005 20:04, Frederik Eaton wrote: (moving to a separate thread) Also, how hard would it be to make it so that runghc doesn't require script file names to end with .hs? Some people like to keep their executable

runInteractiveProcess, confused

2005-05-18 Thread Frederik Eaton
Hi, When I run the following line in ghci: Prelude System.Process Control.Concurrent System.IO do { (inp, out, err, ph) - runInteractiveProcess cat [] Nothing Nothing; forkIO (do hPutStr inp this\nis\na\ntest\n; hClose inp); waitForProcess ph } ... it doesn't terminate. I'm following the

[Haskell] Re: runghc, .hs suffix

2005-05-18 Thread Frederik Eaton
implemented something similar to gcc's -x flag. Cheers, Simon On 14 May 2005 20:04, Frederik Eaton wrote: (moving to a separate thread) Also, how hard would it be to make it so that runghc doesn't require script file names to end with .hs? Some people like to keep their executable

the impossible happened

2005-05-17 Thread Frederik Eaton
/home/frederik/arch/i386/bin/ghc -odir dist/build/../pp-web.cgi-tmp -hidir dist/build/../pp-web.cgi-tmp -o dist/build/../pp-web.cgi --make -i.. -O3 -fignore-asserts -fglasgow-exts -package base-1.0 -package WASH-CGI ../maint/webpage.hs -v Glasgow Haskell Compiler, Version 6.4, for Haskell 98,

CTime problem

2005-05-16 Thread Frederik Eaton
It looks like CTime (Foreign.C.Types) used to be an Integral but isn't anymore, why? Isn't it just an integer? Frederik -- http://ofb.net/~frederik/ ___ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org

runghc, .hs suffix

2005-05-14 Thread Frederik Eaton
, Frederik Eaton wrote: It looks like runghc is exiting with status 0 if there is a problem. Shouldn't this be non-zero? $ runghc -V The Glorious Glasgow Haskell Compilation System, version 6.4 $ runghc /dev/null; echo $? Could not find module `/dev/null': use -v to see a list

runghc exit status

2005-05-11 Thread Frederik Eaton
It looks like runghc is exiting with status 0 if there is a problem. Shouldn't this be non-zero? $ runghc -V The Glorious Glasgow Haskell Compilation System, version 6.4 $ runghc /dev/null; echo $? Could not find module `/dev/null': use -v to see a list of the files searched for

problem with xlib binding

2005-05-09 Thread Frederik Eaton
Hi, Hmm, have the new xlib bindings been tested? For instance, when I run the following program: module Main where import Graphics.X11.Xlib import Graphics.X11.Xlib.Display main :: IO () main = do display - openDisplay

Re: problem with xlib binding

2005-05-08 Thread Frederik Eaton
the Status issue or have I described the problem well enough? Frederik On Sat, May 07, 2005 at 01:05:12PM -0700, Frederik Eaton wrote: Hi, Hmm, have the new xlib bindings been tested? For instance, when I run the following program

Re: problem with xlib binding

2005-05-08 Thread Frederik Eaton
the Status issue or have I described the problem well enough? Frederik On Sat, May 07, 2005 at 01:05:12PM -0700, Frederik Eaton wrote: Hi, Hmm, have the new xlib bindings been tested? For instance, when I run the following program

problem with xlib binding

2005-05-07 Thread Frederik Eaton
Hi, Hmm, have the new xlib bindings been tested? For instance, when I run the following program: module Main where import Graphics.X11.Xlib import Graphics.X11.Xlib.Display main :: IO () main = do display - openDisplay

Re: environment variables for ghc

2005-04-19 Thread Frederik Eaton
On Wed, Mar 09, 2005 at 10:40:03PM -, Simon Marlow wrote: On 09 March 2005 21:13, Frederik Eaton wrote: I agree that the case you're presenting is indeed more difficult, but I don't think you're doing the estimations right for the one at hand. The cost and annoyance of perhaps tens

Re: [Haskell-cafe] tuple and HList

2005-03-21 Thread Frederik Eaton
You need to swap the arguments to TCons... data TCons l a = TCons !l a Then: instance Functor (TCons (TCons HNil a)) where fmap f (TCons (TCons HNil x) y) = TCons (TCons HNil (f x)) y) How does one solve this problem in general, i.e. when the arguments to a type are in the wrong

<    1   2   3   >