Re: [GHC] #445: panic! mkWWcpr: not a product

2006-01-27 Thread GHC
#445: panic! mkWWcpr: not a product ---+ Reporter: nobody| Owner: simonpj Type: bug | Status: new Priority: normal| Milestone: Component: Compiler |

new i/o library

2006-01-27 Thread Bulat Ziganshin
Hello Simon i'm now write some sort of new i/o library. one area where i currently lacks in comparision to the existing Handles implementation in GHC, is the asynchronous i/o operations. can you please briefly describe how this is done in GHC and partially - why the multiple buffers are used?

Re: new i/o library

2006-01-27 Thread Einar Karttunen
On 27.01 13:10, Bulat Ziganshin wrote: i'm now write some sort of new i/o library. one area where i currently lacks in comparision to the existing Handles implementation in GHC, is the asynchronous i/o operations. can you please briefly describe how this is done in GHC and partially - why the

ghci from darcs HEAD buggy on MacOS X?

2006-01-27 Thread Geoffrey Alan Washburn
I just installed the Darwin Ports ghc-devel package, which grabs the latest from the darcs repository. It seems to build fine, but when I run ghci it seems to run and work (as far as I've tested) just fine except that it beeps continuously. Any ideas?

Re[2]: new i/o library

2006-01-27 Thread Bulat Ziganshin
Hello Einar, Friday, January 27, 2006, 4:19:55 PM, you wrote: EK One simple optimization is that you can omit all buffering with EK unbuffered operation. Then simply add the buffer (which is ok EK because Handles are mutable) if the user ever calls hLookAhead. yes, i do it moreover, i have an

Re[2]: new i/o library

2006-01-27 Thread Bulat Ziganshin
Hello Duncan, Friday, January 27, 2006, 4:00:28 PM, you wrote: moreover, i have an idea how to implement async i/o without complex burecreacy: use mmapped files, may be together with miltiple buffers. for example, we can allocate four 16kb buffers. when one buffer is filled with written

Re: new i/o library

2006-01-27 Thread Simon Marlow
Bulat Ziganshin wrote: i'm now write some sort of new i/o library. one area where i currently lacks in comparision to the existing Handles implementation in GHC, is the asynchronous i/o operations. can you please briefly describe how this is done in GHC and partially - why the multiple buffers

Re: Linking with C++ produced by Visual Studio .NET on Windows XP?

2006-01-27 Thread Cyril Schmidt
I added this to the FAQ list; please feel free to elaborate and correct. Linking to Visual Studio-generated code would be much easier if GHC were able to use Visual C++ as backend, instead of gcc (even Visual Haskell at the moment relies on gcc for C compilation). I have no idea, though, how

Re: [Haskell] Scripting language: is Haskell a good choice?

2006-01-27 Thread Graham Klyne
I used Haskell to implement a kind of scripting language, and it seemed most usable to me. I particular, I liked the fact that it was possible to write a Parsec parser that compiles script language expressions directly into executable Haskell functions, avoiding the need for a separate

Re: [Haskell] Scripting language: is Haskell a good choice?

2006-01-27 Thread Davor Cubranic
Jules, If you're looking for a text on implementing interpreters using functional programming languages, Essentials of Programming Languages by Friedman et al. is a good start. It uses Scheme instead of Haskell, but it might be helpful when you're reading Haskell code, like samples that come with

[Haskell] page names on the new Haskell wiki

2006-01-27 Thread Wolfgang Jeltsch
Hello, the names of the pages of the new MediaWiki-driven Haskell wiki are often rather directory names than article titles as they are on Wikipedia. For example, the page Books and tutorials about Haskell isn't named Books and tutorials about Haskell or Books and tutorials but just Books.

[Haskell] Re: page names on the new Haskell wiki

2006-01-27 Thread Ashley Yakeley
Wolfgang Jeltsch wrote: Hello, the names of the pages of the new MediaWiki-driven Haskell wiki are often rather directory names than article titles as they are on Wikipedia. For example, the page Books and tutorials about Haskell isn't named Books and tutorials about Haskell or Books and

Re: [Haskell] Re: page names on the new Haskell wiki

2006-01-27 Thread Wolfgang Jeltsch
Am Freitag, 27. Januar 2006 20:44 schrieb Ashley Yakeley: [...] I don't mind people creating hierarchies such as Simon M's performance resource. It may not be appropriate for a pure encyclopedia like Wikipedia, but HaskellWiki will be replacing the haskell.org site (shortly) and a more

Re: [Haskell] page names on the new Haskell wiki

2006-01-27 Thread Wolfgang Jeltsch
Am Freitag, 27. Januar 2006 19:54 schrieb John Peterson: You're absolutely right! Please move pages as needed. Old habits die hard! John Hello, I just started moving pages. But know I wonder which case I should use for inner-title words. Should the page title be Books and tutorials or

Re: [Haskell] page names on the new Haskell wiki

2006-01-27 Thread Sam Goldman
Wolfgang Jeltsch wrote: I just started moving pages. But know I wonder which case I should use for inner-title words. Should the page title be Books and tutorials or Books and Tutorials, for example? Since pages are only small documents, I chose the lower-case alternative but currently the

Re: [Haskell] Scripting language: is Haskell a good choice?

2006-01-27 Thread Jules Jacobs
Thanks, everyone, for the kind responses.I will read Yet Another Haskell Tutorial first, and then I am going to study All About Monads, and maybe a textbook (or more basic Haskell) after that.Thanks again, the Haskell community is very helpful! Jules ___

[Haskell] Re: page names on the new Haskell wiki

2006-01-27 Thread Ashley Yakeley
Sam Goldman wrote: Wolfgang Jeltsch wrote: I just started moving pages. But know I wonder which case I should use for inner-title words. Should the page title be Books and tutorials or Books and Tutorials, for example? Since pages are only small documents, I chose the lower-case

Re: [Haskell] Re: page names on the new Haskell wiki

2006-01-27 Thread Einar Karttunen
On 27.01 21:13, Wolfgang Jeltsch wrote: I don't mind people creating hierarchies such as Simon M's performance resource. It may not be appropriate for a pure encyclopedia like Wikipedia, but HaskellWiki will be replacing the haskell.org site (shortly) and a more hierarchical structure may

Re: Existential types: want better syntactic support (autoboxing?)

2006-01-27 Thread Johannes Waldmann
S.J.Thompson wrote: Johannes - thanks for the pointer to this posting; would you have a concrete proposal to make on the basis of this for Haskell'? Sort of an idea, but not fully worked out. Referring to http://www.haskell.org//pipermail/haskell-cafe/2005-June/010516.html I think I want to

RE: The dreaded M-R

2006-01-27 Thread Simon Marlow
On 26 January 2006 16:07, John Hughes wrote: Simon Marlow wrote: I wonder if there's an alternative solution along these lines: - We use ParialTypeSignatures to make bindings monomorphic: http://haskell.galois.com/cgi-bin/haskell-prime/trac.cgi/wiki/PartialTyp eSigs eg.

~ patterns

2006-01-27 Thread John Hughes
Personally I think ~ patterns are great, and we are now talking about ! patterns, a kind of dual to ~ patterns. So at least I think we should un-couple the two discussions. I think so too. Removing ~ patterns seems like a fairly poor idea to me. Sure, they're not very much explicitly

Re: more flexible partial application

2006-01-27 Thread Dinko Tenev
On 1/26/06, Aaron Denney [EMAIL PROTECTED] wrote: On 2006-01-26, Dinko Tenev [EMAIL PROTECTED] wrote: On 1/26/06, Conor McBride [EMAIL PROTECTED] wrote: [...] We'd do daft stuff like (200 * _ ^ 2) unitsquare Yes, I played with a concept like that at one point, and came to the

Re: kind annotations

2006-01-27 Thread Ross Paterson
On Fri, Jan 27, 2006 at 01:30:02PM +, S.M.Kahrs wrote: It doesn't have a ticket yet, but I would propose that kind annotations were adapted. I have been bitten on a couple of occasions (working with HO type variables) by kind inference putting my type vars into *, and although there is

Re: The dreaded M-R

2006-01-27 Thread Robert Dockins
One aspect of this discussion I've yet to see that I think is important is, how do the various proposals for removal/modifications of M-R impact implicit parameters? Are implicit parameters likely to be in Haskell'? It seems like the proposal to default to polymorphic binding and have

Re: [Haskell-cafe] unary pattern matching

2006-01-27 Thread Brian Hulley
John Meacham wrote: On Fri, Jan 27, 2006 at 12:28:23PM +1100, Donald Bruce Stewart wrote: john: I have often wanted a shorthand syntax for testing if a value matches a given pattern. I want to implement such an extension for jhc but can't decide an appropriate syntax so I thought I'd ask the

Re: [Haskell-cafe] unary pattern matching

2006-01-27 Thread Cale Gibbard
On 27/01/06, Brian Hulley [EMAIL PROTECTED] wrote: John Meacham wrote: On Fri, Jan 27, 2006 at 12:28:23PM +1100, Donald Bruce Stewart wrote: john: I have often wanted a shorthand syntax for testing if a value matches a given pattern. I want to implement such an extension for jhc but

[Haskell-cafe] Another idea for record field selection and better namespace management

2006-01-27 Thread Brian Hulley
Hi - To avoid the problems with so many names being put into a module's namespace, data declarations could implicitly define sub-modules and class/instance declarations as follows: module M where data Foo = FooCon {x : Int} would declare (as seen from inside M) Foo, Foo.FooCon,

Re: [Haskell-cafe] Another idea for record field selection and betternamespace management

2006-01-27 Thread Brian Hulley
Apologies - I've noticed some mistakes corrected as follows: Brian Hulley wrote: class //x a b where x : a - b class //FooCon a b where FooCon : a - b class //x a b | a - b where-- I think this fundep is correct x :: a-b

Re: [Haskell-cafe] Known Unknowns

2006-01-27 Thread Chris Kuklewicz
Joel Koerwer wrote: On 1/26/06, *Donald Bruce Stewart* [EMAIL PROTECTED] mailto:[EMAIL PROTECTED] wrote: Ah, i just do: ghc A.hs -O2 -ddump-simpl | less and then read the Core, keeping an eye on the functions I'm interested in, and checking they're compiling to the kind of

Re: [Haskell-cafe] Another idea for record field selection and betternamespace management

2006-01-27 Thread Brian Hulley
Another correction... Brian Hulley wrote: data Col1 a = One a data Col2 a = One a | Two a useOne :: ( //One col a) = col - a useOne (One x) = x should be useOne :: (//One a col) = col - a ___ Haskell-Cafe

[Haskell-cafe] arr f

2006-01-27 Thread Sven Biedermann
Dear Haskellers, since this is my first post, "Hello all" I have a problem with a function taken from class Arrow. arr :: (b - c) - a b c To build my own arrow, i need to distinguish between different kinds of b or c. For instance, if bhas the form(d,e), i want to construct

Re: [Haskell-cafe] arr f

2006-01-27 Thread Henrik Nilsson
Hi Sven, since this is my first post, Hello all Welcome! I have a problem with a function taken from class Arrow. arr :: (b - c) - a b c To build my own arrow, i need to distinguish between different kinds of b or c. For instance, if b has the form (d,e), i want to construct

Re: [Haskell-cafe] arr f

2006-01-27 Thread Ross Paterson
On Fri, Jan 27, 2006 at 08:20:07PM +0100, Sven Biedermann wrote: I have a problem with a function taken from class Arrow. arr :: (b - c) - a b c To build my own arrow, i need to distinguish between different kinds of b or c. For instance, if b has the form (d,e), i want to

[Haskell-cafe] Evaluating arithmetic expressions at run time

2006-01-27 Thread Andrew Savige
Haskell beginner using GHC. I have a function to do some simple arithmetic at run time: myeval :: Int - Int - String - Int myeval x y + = (+) x y myeval x y - = (-) x y myeval x y * = (*) x y -- ... While that works, I'm curious to know if it can be done more elegantly. I'm thinking of

Re: [Haskell-cafe] Evaluating arithmetic expressions at run time

2006-01-27 Thread Ben Lippmeier
Andrew Savige wrote: Haskell beginner using GHC. Hello there! How about, opTable = [ (+, (+)) , (-, (-)) ... ] myeval x y op = let Just fun = lookup op opTable in x `fun` y ? I have a function to do some simple arithmetic at run time: myeval :: Int - Int - String - Int

Re: [Haskell-cafe] Evaluating arithmetic expressions at run time

2006-01-27 Thread Ben Lippmeier
BTW: There isn't an easy way to magically derive opTable. We're relying on the fact that these simple functions all have the same type. Ben Lippmeier wrote: opTable = [ (+, (+)) , (-, (-)) ... ] myeval x y op = letJust fun = lookup op opTable in x `fun` y You could also

Re: [Haskell-cafe] Evaluating arithmetic expressions at run time

2006-01-27 Thread Cale Gibbard
On 28/01/06, Andrew Savige [EMAIL PROTECTED] wrote: Haskell beginner using GHC. I have a function to do some simple arithmetic at run time: myeval :: Int - Int - String - Int myeval x y + = (+) x y myeval x y - = (-) x y myeval x y * = (*) x y -- ... While that works, I'm curious to