cvs head, winxp, make fails to make target `HSwin32.o', needed by `all'.

2005-04-11 Thread C.Reinke
I'm trying to build todays cvs ghc on a winxp box, without trying anything unusual. The build fails and I am rather lost in the makefiles - any suggestions? Cheers, Claus $ autoreconf $ ./configure --host=i386-unknown-mingw32 --with-gcc=c:/mingw/bin/gcc $ make 21 | tee make.log the last

url problem, missing GLUT, and building package ghc

2005-03-15 Thread C.Reinke
perhaps some items got lost from my last mail: - url problem on http://www.haskell.org/ghc/ Mailing Lists points to non-existent http://www.haskell.org/ghc/docs/latest/html/users_guide/introduction-ghc.html#MAILING-LISTS-GHC - missing GLUT the building guide might want to mention that

[Haskell] Change of editors for HCA Report

2004-02-12 Thread C.Reinke
I am happy to report that the half-yearly editions of the - Haskell Communities and Activities Report (next edition: May 2004) http://www.haskell.org/communities/

ghc 6.2 gets confused about Main.hi reuse

2004-02-03 Thread C.Reinke
When trying to build HaRe with ghc 6.2 (builds fine with ghc 6.0.1), we encountered a long list of strange error messages of the kind: ... *** Compiling Main: compile: input file pfe_client.hs *** Checking old interface for Main: Failed to load interface for `MapDeclMBase':

Re: Problem with ghc on Windows ME

2004-01-29 Thread C.Reinke
It's called 'raw' because it is supposed to get the arguments through *unmodified* to the called program. No file globbing, no escape stuff, nothing. That's exactly what I'm worried about: it seems that rawSystem is *not* passing the arguments unmodified, but tries to compensate for windows

Re: Problem with ghc on Windows ME

2004-01-29 Thread C.Reinke
No, the effect is that the arguments are passed unmodified to the program. The implementation of rawSystem might have to do some compensation under the hood (eg. on Windows), but that's not visible to the client. As I've learned to interpret the uncompensated arguments, I'd prefer a

[Haskell] ANNOUNCE: HaRe, the Haskell Refactorer, version 0.2; and a workshop

2004-01-29 Thread C.Reinke
Dear Haskellers, as part of our project on Refactoring Functional Programs http://www.cs.kent.ac.uk/projects/refactor-fp/ we are pleased to announce the availability of HaRe 0.2 (also known as HaRe 27/01/2004 ;-), a snapshot of our Haskell Refactorer prototype. The major changes since HaRe

ANNOUNCE: HCA Report (5th edition, November 2003)

2003-11-14 Thread C.Reinke
On behalf of the many contributors, I am happy to announce that the - Haskell Communities and Activities Report (5th edition, November 2003) http://www.haskell.org/communities/

ANNOUNCE: HCA Report (5th edition, November 2003)

2003-11-11 Thread C.Reinke
On behalf of the many contributors, I am happy to announce that the - Haskell Communities and Activities Report (5th edition, November 2003) http://www.haskell.org/communities/

Re: Marshalling functions was: Transmitting Haskell values

2003-10-29 Thread C.Reinke
Is [marshaling functions] something absolutely impossible in Haskell and by what reason? Just because of strong typing (forgive my stupidity ;)? Or are there some deeper theoretical limitations? If you're interested in some recent work here, have a look at Clean (similar enough to

Special Invitation :-) HCA Report (November 2003)

2003-10-28 Thread C.Reinke
Dear GHC/GPH/GDH users and developers, in case you haven't seen the calls for contributions on the main Haskell list: the Haskell community hopes to hear from you about all the interesting stuff you've been brewing over the last six months, not to mention the even more interesting stuff in the

REMINDER - Contributions to HCA Report (November 2003 edition)

2003-10-27 Thread C.Reinke
Dear Haskeller, *you* are still envited to let the Haskell community know what you've been doing with Haskell recently! Remember, in spite of its printable formats, this is still basically an email survey: - just hit the reply button now, and take a few minutes to compose your

Re: Calling an external command from a Haskell program

2003-10-21 Thread C.Reinke
The function system works fine in Hugs except on windows where DOS limitations cause the function to always return ExitSuccess. (ghc suffers from the same problem on Windows.) Actually, that is not quite correct: ghc seems to suffer from this problem only on older Windows versions (such as

Re: Calling an external command from a Haskell program

2003-10-21 Thread C.Reinke
If you want access to its I/O streams as well, you can use Posix.popen, which is not standard Haskell 98, I think, but it's in GHC. Even worse, it is not portable (AFAICT)! I'm worried by the tendency towards Posix, at a time when, e.g., GHC by default no longer supports this on Windows (went

HaRe 0.1 updates, and ghc-6.0.1

2003-10-20 Thread C.Reinke
Since releasing version 0.1 of the Haskell Refactorer HaRe, we've continued to update the HaRe snapshots on our webpage every now and then, in response to your feedback and bug reports. http://www.cs.kent.ac.uk/projects/refactor-fp/hare.html We do not usually announce every new snapshot

Call for Contributions - HCA Report (November 2003 edition)

2003-10-20 Thread C.Reinke
Dear Haskellers, once again, we set out to get an overview of what is going on in all things Haskell, and *you* are invited to help with this effort! Please contribute to the forthcoming fifth edition of our

odd interactions (was: IO behaves oddly if used nested)

2003-10-07 Thread C.Reinke
[moved to haskell-cafe] The odd is in the conceptual explanation. If I give a description of some f x = y function in Haskell I expect that some program f x is reduced to y and the result is given back (possibly printed). A good story to sell to students. This is almost everywhere the

Pre-Call for Contributions -- HCA Report (November 2003 edition)

2003-10-02 Thread C.Reinke
[apologies for multiple copies - experience has shown that not all Haskellers can be reached via the main Haskell list anymore] An entry for your diaries (no other action required right now): --Pre-Call Your contributions to the

ANNOUNCE: HaRe, the Haskell Refactorer, version 0.1

2003-10-02 Thread C.Reinke
Dear Haskellers, as part of our project on Refactoring Functional Programs http://www.cs.kent.ac.uk/projects/refactor-fp/ we are pleased to announce the availability of HaRe 0.1 (also known as HaRe 01/10/2003 ;-), a snapshot of our Haskell Refactorer prototype. You can get it via

Pre-Call for Contributions -- HCA Report (November 2003 edition)

2003-10-02 Thread C.Reinke
[apologies for multiple copies - experience has shown that not all Haskellers can be reached via the main Haskell list anymore] An entry for your diaries (no other action required right now): --Pre-Call Your contributions to the

Re: ANNOUNCE: HaRe, the Haskell Refactorer, version 0.1

2003-10-02 Thread C.Reinke
First, let me say that I'm intrigued. This looks like really neat functionality to have available. Thanks; obviously, we think so, too! I'm curious whether you are planning (or have developed) tools to *detect* cases for refactoring? Occasionally, I find myself wishing for a tool to help

Pre-Call for Contributions -- HCA Report (November 2003 edition)

2003-10-02 Thread C.Reinke
[apologies for multiple copies - experience has shown that not all Haskellers can be reached via the main Haskell list anymore] An entry for your diaries (no other action required right now): --Pre-Call Your contributions to the

Re: Haskell for non-Haskell's sake

2003-09-01 Thread C.Reinke
[this seemed to be flowing along nicely, but now that the thread has moved from information to organisation and meta-discussion, I'd like to add a few comments, and an invitation] On Saturday 30 August 2003 01:39, Hal Daume III wrote: I'm attempting to get a sense of the topology of the

Re: Interaction and ambiguous type variables

2003-07-16 Thread C.Reinke
- use Helium at this stage, switch to full Haskell systems later?-) - more relevant on these two lists: people have been going on about teaching Prelude/Libraries for years. I understand that GHC at least has seen a lot of work on making the Prelude replacable recently; one good way of

Re: Representing cyclic data structures efficiently in Haskell

2003-07-08 Thread C.Reinke
What is the best way to represent cyclic data structures in Haskell? There used to be some work on direct cyclic representations at UCL: Dynamic Cyclic Data Structures in Lazy Functional Languages Chris Clack, Stuart Clayman, David Parrott Department of Computer Science, University

Re: Network/Notwork?

2003-03-17 Thread C.Reinke
- using hFlush does *not* seem to cure the problem?? That's worrying, and it perhaps indicates that there's another problem somewhere. I just tried a small test and hFlush does appear to do the right thing, so do you think you could boil down your example to something small that

Re: ANNOUNCE: GHC vesrion 5.04.3 released

2003-03-11 Thread C.Reinke
== The (Interactive) Glasgow Haskell Compiler -- version 5.04.3 == We are pleased to announce a new patchlevel release of the Glasgow Haskell Compiler (GHC),

Re: permissions on ghc Windows installer?

2003-02-21 Thread C.Reinke
To what extent does the windows ghc install actually depend on being in a particular place or having registry entries? Here, we'd occasionally like to use ghc on public machines which don't have it installed, and on which we have no installation permissions. Those machines do have access to

Re: awaitEval in Concurrent Haskell

2003-02-17 Thread C.Reinke
Actually a mild variant of Claus's proposal seems to work out quite well. Another way to avoid the problems with types is to use a multi-parameter type class. Little example attached. Glad to be of help. The need to shadow the data types is a bit annoying, but then the whole generic bit

Re: awaitEval in Concurrent Haskell

2003-02-06 Thread C.Reinke
Colin [ccing GHC users in case there are other enthusiasts out there] | we briefly discussed the lack in | Concurrent Haskell of any way to set up a data-driven | thread -- one that works on a data structure D without | ever forcing its evaluation, only proceeding with the | computation

Re: Editor Tab Expansion

2002-12-05 Thread C.Reinke
Having more than 10 years expirience with whitespace does not matter languages, the only thing that drives me crazy is the layout rule. so in 10 years of programming, you've never written a Makefile?-) As far as I understand it, I have 2 options: 1. Use braces and semicolons and ignore

Re: incremental linking?

2002-11-27 Thread C.Reinke
Hmm, I've never heard of linking being a bottleneck. Even GHC itself links in about 3-4 seconds here. One common problem is that linking on a network filesystem takes a *lot* longer than linking objects from a local disk. It's always a good idea to keep the build tree on the local disk,

Re: Template metaprogramming for Haskell article.

2002-11-25 Thread C.Reinke
I am reading the article template meta-programming for haskell and am wondering if 1) this is already implemented in ghc. 2) if not when this will be released answered in section 2.1 (GHC) and 3.6.1 (Template Haskell) of the Haskell Communities Activities Report (November 2002 edition):

Re: storing to a file

2002-11-14 Thread C.Reinke
There's been mention of a Binary module; .. That said, there was also a post about using plain text. I tend to agree, except for certain cases. However, that is *not* to say that you should necessarily use Show/Read. | Actually, deriving binary would be a nice thing to have in general |

Re: 1 line simple cat in Haskell

2002-11-13 Thread C.Reinke
main = mapM (=putChar) getCharS where getCharS = getChar:getCharS How would you suggest to neatly insert the error handling code into ? \begin{code} -- some suggestions for a little zoo of cats module Main where import IO import Monad main0 = interact id main1 = getContents = putStr main2 =

Re: showsPrec: cui bono?

2002-11-12 Thread C.Reinke
has anybody here used in a non-trivial way the showsPrec anti-parser? Isn't the idea to make things trivial while avoiding performance penalties? Perhaps: simple pretty-printing of abstract syntax trees? I often use it to get simple debugging output for complex internal data structures (first,

ANNOUNCE: HCA Report (3rd edition, November 2002)

2002-11-11 Thread C.Reinke
The many contributors and I are happy to announce that the Haskell Communities and Activities Report (3rd edition, November 2002) http://www.haskell.org/communities/ is now available from the Haskell Communities home page in several formats: in

Could not unambiguously deduce..

2002-11-06 Thread C.Reinke
I'm not actually sure whether this is a bug, but if it isn't, could someone please enlighten me about what is going on?-) [the following is a simplified version of a problem with instances generated by Drift, for Strafunksi, where T would be the Drift target, C would be Term, and expl(ode)

Re: Could not unambiguously deduce..

2002-11-06 Thread C.Reinke
| What I don't understand, however, is why adding that extra | constraint helps in any way? Shouldn't the addition of new | things in the context only make more options available? Why | does it make some of the existing, amgibuous options go away? With the extra constraint, the instance

(no subject)

2002-10-24 Thread C.Reinke
I'd argue that -package is a global option and should stay that way. The only reason you might want to disable -package for certain modules and not others is if you want to do some tricks with module shadowing - and this definitely isn't supported in GHC. You should pass the same -package

SURVEY - Haskell editing

2002-07-22 Thread C.Reinke
As some of you know, our refactoring project here at UKC has just started (at long last). Of course, it will take some time before this leads to concrete artifacts in terms of detailed refactoring catalogues and prototype tools, but we would like to know a bit more about the environment into

Re: unsafePerformIO around FFI calls

2002-07-10 Thread C.Reinke
I'm curious exactly what is safe and what is unsafe to wrap unsafePerformIO around when it comes to FFI calls. Here's a simple test: Could you imagine an alternative implementation of the same API in pure Haskell? (Don't consider efficiency or effort required to write the

Re: HGL with GHC in Win32

2002-06-24 Thread C.Reinke
The size problem is traceable to [Greencard's ffi code generation] I took a look at this and found that Sigbjorn had fixed it some months ago Would that be in the released Greencard or only in the cvs version? Building GDITypes with this command: green-card --target=ffi -i.

Re: HGL with GHC in Win32

2002-06-23 Thread C.Reinke
--- Two suggestions for CVS maintainers: 1. we could make better use of the cvs.haskell.org home page: - add a link to the cvs-web interface proper - add an overview of what is where in the cvs tree (probably best generated automatically from brief description

Re: HGL with GHC in Win32

2002-06-21 Thread C.Reinke
Thanks for looking at this Claus. no problem - I'm kind of nearby, and I'm not promising anything (unless just looking at it is going to help;-). - the full-screen titlebar effect with the SOE variant suggests some window-handling incompatibility, if it wasn't for Hugs and GHC using

Lists representations (was: What does FP do well? (was ...))

2002-05-31 Thread C.Reinke
Long away and far ago (or something like that;), there was a discussion on Lists implemented as arrays rather than linked structures, during which Jerzy Karczmarczuk commented: What bothers me quite strongly is the algorithmic side of operations upon such objects. Typical iterations map-

Re: fold on Monad?

2002-05-29 Thread C.Reinke
Suppose I have a task I want to do to each line of a file, accumulate a result and output it, .. I'd like to write something similar to main = do res - foldX process_line initial_value getLine print res I feel this ought to be straightforward -- the structure is

HCA Report (May edition) - LAST CALL

2002-04-29 Thread C.Reinke
Dear Haskellers, over the last weeks, more and more of you have (been;-) volunteered to provide short summaries of recent and planned activities in your area of work with or on Haskell (for details, and for the current status, see http://www.haskell.org/communities/). Those summaries, as far

Re: HCAR (May edition) - more suggestions

2002-04-19 Thread C.Reinke
Haskell Communities and Activities Report http://www.haskell.org/communities/ The current plan is to get contributions in by the end of April, and to get the collective report out early next month (*). I wrote new suggestions are welcome. Several Haskellers have already contacted me

HCAR (May edition) - call for contacts and contributions

2002-04-15 Thread C.Reinke
Dear fellow Haskeller, it is time again - for contributions to the second edition of the Haskell Communities and Activities Report http://www.haskell.org/communities/ The current plan is to get contributions in by the end of April, and to get the collective report out early next month

Re: using less stack

2002-03-20 Thread C.Reinke
cpsfold f a [] ú cpsfold f a (x:xs) ÿ x a (\y - cpsfold f y xs) and f takes a continuation, Bob's my uncle, and I have a program that runs quickly in constant space! Good. I'm curious to know from other readers whether continuations like this are the only way of solving it,

Re: using less stack

2002-03-20 Thread C.Reinke
Actually, and quite apart from it being cumbersome to use, I've got my doubts about whether this cpsfold really does the job (is that just me missing some point?-). It does the job for me! In practical terms I can see it works. ..[explanation omitted].. I didn't express myself well:

Re: Hugs plugin, Haskell Browser

2002-03-14 Thread C.Reinke
2. When I hear translate to HTML I imagine that underlined words which can be clicked to see, say, definition of function. Sadly, most htmlizers are focused on highlighting rather than navigation. Why generate HTML pages if noone reads them?-) Take this obscure location, for instance:

Re: a universal printer for Haskell?

2002-02-20 Thread C.Reinke
You don't need meta-programming technology (reflection) to do things like generic prinitng. A generic programming extension of Haskell (like Generic Haskell, or derivable classes) can do the job for you. Isn't generic programming usually based on a kind of compile-time reflection (if the

Re: syntax...(strings/interpolation/here docs)

2002-02-14 Thread C.Reinke
{- Unlike my rough proposal, one should aim for a combination of (mostly) in-Haskell implementation and (some) pre-processing. As Thomas Nordin has pointed out to me in private email, Hugs (Dec 2001) already supports this (module lib/hugs/Quote.hs and flag +H). The real trick is to have

Postdoctoral Research Associate, Refactoring Functional Programs

2002-01-07 Thread C.Reinke
users please telephone 01227 823674. The closing date is Friday 11 January 2002. Informal enquires can be directed to either Simon or Claus: {S.J.Thompson,C.Reinke}@ukc.ac.uk. More details of the project and further particulars for the position can be found at: http://www.cs.ukc.ac.uk

Re: Where to ask questions regarding categories and datatypes

2001-11-29 Thread C.Reinke
Peter Douglass writes: Hi, I have a number of questions regarding categories and datatypes. I know that many of the folk in this mailing list could answer these question, but I wonder if there is a more appropriate forum. (i.e. the question are not Haskell specific).

Re: Global variables

2001-11-29 Thread C.Reinke
Hello, I am interested in using global variables (in GHC). I need a variable to store list of Integers to store temporary results. I have been reading the module MVar, but I wonder if there is an alternative way of doing it. I have already implemented my function using an auxiliar

Postdoctoral Research Associate, Refactoring Functional Programs

2001-11-27 Thread C.Reinke
enquires can be directed to either Simon or Claus: {S.J.Thompson,C.Reinke}@ukc.ac.uk. More details of the project and further particulars for the position can be found at: http://www.cs.ukc.ac.uk/people/staff/sjt/Refactor/ Simon and Claus ___ Haskell

Haskell Communities Survey - LAST CALL

2001-10-29 Thread C.Reinke
Dear Haskellers, over the last weeks, more and more of you have (been;-) volunteered to provide short summaries of recent and planned activities in your area of work with or on Haskell (for details, and for the current status, see http://www.haskell.org/communities/). Those summaries, as far

Haskell Communities Survey - Second Call for Contributions

2001-10-15 Thread C.Reinke
Dear Haskellers, after the first rush of volunteers seems to have ebbed away, it is probably time for a reminder. First, the good news: We have just about enough topics covered to convince me that it makes sense to go ahead. So the Haskell Communities page has moved to a more permanent

Haskell Communities Survey - Call for Contacts (update)

2001-09-21 Thread C.Reinke
First, a big thanks to those of you who immediately volunteered to act as contact persons to their communities. That means that five of the areas are already covered. *** *** keep those contact offers coming!-) ***

Haskell Communities Survey - Call for Contacts

2001-09-18 Thread C.Reinke
Dear fellow Haskellers, the recent (and eternal) questions about GUIs and future Haskell developments are closely related to a general problem: trying to keep up to date with what is going on within the Haskell community as a whole while the breadth of interests in that community keeps

Re: The future of Haskell discussion

2001-09-13 Thread C.Reinke
There was the feeling that there is not frequent enough feedback from the Task Forces (eg, FFI Task Force, Library Task Force) to the Haskell community as a whole. Clause Reinke kindly volunteered to collect status reports of Task Forces on a 6-monthly basis and post them to the Haskell

Re: Job Adverts on haskell.org

2001-02-06 Thread C.Reinke
Haskell.org has a page "Job Adverts". http://www.haskell.org/jobs.html I like the new scope. But to minimise confusion of people looking for paid jobs (which now exist), why not reflect the explanations in the first paragraph in the page structure? Two main sections should be sufficient,

Re: Combinator library gets software prize

2001-01-26 Thread C.Reinke
[oops, somehow this ended up in my drafts folder, not on the list; sorry for the delay] First, to avoid confusion: I'm not criticising the work described. I'm just pointing out that, in my view, the major advantages of functional programming lie beyond what is used in this application (in

Re: Combinator library gets software prize

2001-01-22 Thread C.Reinke
This article is very good, and having read the conference paper earlier in the year I finished it with only one question: What's a 'quant' ... and is it good or bad to be one? "Ten years ago, Jean-Marc Eber, then a quant at Société Générale, ..." The OED has: .. So

ANNOUNCE: GHood (updated pre-release)

2001-01-16 Thread C.Reinke
Ever wanted to see what your Haskell program is doing?-) - GHood (pre-release, 11 January 2001) "Graphical Hood" -- a Java-based graphical observation event viewer, as a back-end for Andy Gill's Hood (Haskell Object Observation

Re: Too Strict?

2001-01-16 Thread C.Reinke
Dominic, What I can't see at the moment is how to keep what I was doing modular. I had a module Anonymize, the implementation of which I wanted to change without the user of it having to change their code. The initial implementation was a state monad which generated a new string every time

Re: Too Strict?

2001-01-15 Thread C.Reinke
Can someone help? The program below works fine with small files but when I try to use it on the one I need to (about 3 million lines of data) it produces no output. The hard disk is hammered - I assume this is the run time system paging. My suspicion is that the program is trying to read in

Re: Too Strict?

2001-01-15 Thread C.Reinke
Can someone help? The program below works fine with small files but when I try to use it on the one I need to (about 3 million lines of data) it produces no output. The hard disk is hammered - I assume this is the run time system paging. My suspicion is that the program is trying to read in

ANNOUNCE: GHood -- a Graphical Hood (pre-release)

2001-01-04 Thread C.Reinke
Ever wanted to see what your Haskell program is doing? Andy Gill's Hood library (http://www.haskell.org/hood/) represents a big improvement over previous uses of trace co. It doesn't affect strictness properties, and instead of displaying debug information in the nearly incomprehensible order

Re: Green Card for untyped lambda calculus?

2000-11-29 Thread C.Reinke
nil :: List a cons:: a - List a - List a forlist :: b - (a - List a - b) - List a - b .. The implementation I'm interested in (one without constructors) is: nil fornil forcons= fornil consx xs fornil forcons= forcons x xs forlist