Re: [GHC] #470: build fails on Linux/sparc (genprimopcode: parse error at)

2006-03-01 Thread GHC
#470: build fails on Linux/sparc (genprimopcode: parse error at) ---+ Reporter: arekm | Owner: nobody Type: bug | Status: assigned Priority: normal| Milestone: 6.4.2

Re: [GHC] #696: segmentation fault in ./genprimopcode (x86_64)

2006-03-01 Thread GHC
#696: segmentation fault in ./genprimopcode (x86_64) -+-- Reporter: taral | Owner: simonmar Type: bug | Status: new Priority: normal |

Re: [GHC] #696: segmentation fault in ./genprimopcode (x86_64)

2006-03-01 Thread GHC
#696: segmentation fault in ./genprimopcode (x86_64) -+-- Reporter: taral | Owner: simonmar Type: bug | Status: new Priority: normal |

Re: [GHC] #637: Ctrl-Break handler doesn't work in forked threads in -threaded RTS

2006-03-01 Thread GHC
#637: Ctrl-Break handler doesn't work in forked threads in -threaded RTS +--- Reporter: [EMAIL PROTECTED] | Owner: simonmar Type: bug| Status: new Priority: normal

Re: Problem building on sparc/Linux

2006-03-01 Thread Dinko Tenev
Something to do with Parsec, maybe? For what it's worth, the darcs repo version of genprimopcodes compiled with GHC 6.4 does parse the attached vore-primops.txt. On 3/1/06, Ian Lynagh [EMAIL PROTECTED] wrote: [ ... ] ../utils/genprimopcode/genprimopcode --data-decl

RE: GHC 6.4.1 crash on Windows XP

2006-03-01 Thread Simon Marlow
Can you tell which process is crashing? Is it the GHC process that is interpreting Setup.hs, or the process invoked by Setup.hs to build the package? One thing you could try is compiling Setup.hs to a binary, and running that instead. Also, if you could run Setup like this and send us the

Re: factorial: let's get ahead of jhc! :)

2006-03-01 Thread Simon Marlow
FWIW, here's the inner loop of the accumulating parameter factorial compiled with yesterday's HEAD on x86_64, via C: Fac_zdwfac_info: movq%rsi, %rax testq %rsi, %rsi jne .L4 movq%rdi, %rbx jmp *(%rbp) .L4: leaq-1(%rsi), %rsi

Re: Missing Folder in ghc?

2006-03-01 Thread Simon Marlow
Ashley Yakeley wrote: Lemmih wrote: Did you run 'sh darcs-all get'? Oh, that wasn't in the README. Thanks. But now I get this: /usr/bin/ghc -H16m -O -I. -Iinclude -Rghc-timing -I../../../libraries -fglasgow-exts -no-recomp-c System/Directory/Internals.hs -o

Re: Problem building on sparc/Linux

2006-03-01 Thread Ian Lynagh
On Wed, Mar 01, 2006 at 12:24:17PM +, Simon Marlow wrote: There's a ticket open on this one: http://cvs.haskell.org/trac/ghc/ticket/470 The ticket does give more info (isSpace isn't working correctly). If you could track this down further, that would be great. Looks like a

Re: Building Win32 DLLs: Manual is not up-to-date

2006-03-01 Thread Simon Marlow
Michael Marte wrote: I am trying to turn a prototype written in Haskell into something I can call from a Visual Studio C++ 6.0 program. (The prototype is so clean and fast that there is no point in recoding everything.) So I followed the instructions in section 11.5 of the ghc manual (Building

Re: Problem building on sparc/Linux

2006-03-01 Thread Duncan Coutts
On Wed, 2006-03-01 at 12:59 +, Ian Lynagh wrote: On Wed, Mar 01, 2006 at 12:24:17PM +, Simon Marlow wrote: There's a ticket open on this one: http://cvs.haskell.org/trac/ghc/ticket/470 The ticket does give more info (isSpace isn't working correctly). If you could

Re: Problem building on sparc/Linux

2006-03-01 Thread Simon Marlow
Ian Lynagh wrote: On Wed, Mar 01, 2006 at 12:24:17PM +, Simon Marlow wrote: There's a ticket open on this one: http://cvs.haskell.org/trac/ghc/ticket/470 The ticket does give more info (isSpace isn't working correctly). If you could track this down further, that would be great.

RE: GHC 6.4.1 crash on Windows XP

2006-03-01 Thread Cyril Schmidt
Can you tell which process is crashing? Is it the GHC process that is interpreting Setup.hs, or the process invoked by Setup.hs to build the package? I suspect it is the GHC process that is invoked by Setup.hs, but I do not have any hard evidence to support this. One thing you could try is

GHC 6.4.1 and Win32 DLLs: Bug in shutdownHaskell?

2006-03-01 Thread Michael Marte
Hello *, before filing a bug report, I want others to comment on my problem. Maybe it's my fault, not ghc's. I wrapped up some Haskell modules in a Win32 DLL. Loading the DLL dynamically (with LoadLibrary) works fine. However, whether I actually use the library or not, the program (an

Re: Missing Folder in ghc?

2006-03-01 Thread Ashley Yakeley
Simon Marlow wrote: The configure script has mis-detected your GHC version somehow. Could you look through the output of configure, and see what it says about GHC? Nothing special: checking build system type... i686-pc-linux-gnu checking host system type... i686-pc-linux-gnu checking target

[Haskell] Haskell as a markup language

2006-03-01 Thread oleg
We demonstrate that Haskell as it is, with no TH or other pre-processors, can rather concisely represent semi-structured documents and the rules of their processing. In short, Haskell can implement SXML (ssax.sourceforge.net), right in its syntax and with the *open* and extensible set of `tags'.

Re: [Haskell] translating Haskell into theorem provers

2006-03-01 Thread Till Mossakowski
There is a prototype translation of Haskell to Isabelle/HOL and Isabelle/HOLCF written by Paolo Torrini. Unlike the Programatica translation, it uses a shallow encoding of the type system. Constructor classes (not available in Isabelle) are translated using theory morphisms. Programatica is used

[Haskell] Re: Implicit Parameters

2006-03-01 Thread Simon Marlow
Ashley Yakeley wrote: Simon Marlow wrote: Simon I have discussed doing some form of thread-local state, which covers many uses of implicit parameters and is much preferable IMO. Thread-local state doesn't change your types, and it doesn't require passing any extra parameters at runtime. It

Re: [Haskell] translating Haskell into theorem provers

2006-03-01 Thread S.J.Thompson
Gerwin - I did some work on this a number of years ago for the related language Miranda. This builds on logical renderings of Haskell (and also Miranda). The translations are reported in A Logic for Miranda, Revisited. Simon Thompson. Formal Aspects of Computing, (7), March 1995. Simon

[Haskell] Re: Visual Haskell: Could not find module `Control.Monad.Writer'

2006-03-01 Thread Ben Rudiak-Gould
Replying to an old thread... Bernd Holzmüller wrote: Could not find module `Control.Monad.Writer': use -v to see a list of the files searched for I just installed Visual Haskell and ran into the same problem, and the solution I found was to right click on References in the project and

Re: [Haskell] translating Haskell into theorem provers

2006-03-01 Thread Gerwin Klein
Thanks for all the replies I got, they have been helpful! Cheers, Gerwin ___ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell

Re: instance Functor Set, was: Re: Export lists in modules

2006-03-01 Thread Johannes Waldmann
Jim Apple wrote: class MyMap f a b where myMap :: (a - b) - f a - f b instance (Functor f) = MyMap f a b where myMap = fmap instance (Ord a, Ord b) = MyMap Data.Set.Set a b where myMap = Data.Set.map OK (I guess). But my point was that I want to use do notation for Sets (in

RE: relaxed instance rules spec (was: the MPTC Dilemma (please solve))

2006-03-01 Thread Simon Peyton-Jones
Claus, I urge you to read our paper Understanding functional dependencies via Constraint Handling Rules, which you can find here http://research.microsoft.com/%7Esimonpj/papers/fd%2Dchr/. It will tell you more than you want to know about why relaxing apparently-conservative rules is entirely

Re: Keep the present Haskell record system!

2006-03-01 Thread Malcolm Wallace
Ross Paterson [EMAIL PROTECTED] wrote: On Wed, Mar 01, 2006 at 08:26:14AM +, Henrik Nilsson wrote: I'm increasingly convinced that the records should be left alone for Haskell', possibly modulo some minor tweaks to polish the system. Yes, no alternative candidate is available

RE: realToFrac issues

2006-03-01 Thread Simon Marlow
On 28 February 2006 18:42, Jacques Carette wrote: What *problem* are you actually trying to solve here? The problem that 'realToFrac (0/0 :: Float) :: Double' doesn't give you NaN, and similarly for the other special float values. If it is conversion between floating point types, then there

Re: instance Functor Set, was: Re: Export lists in modules

2006-03-01 Thread Jim Apple
On 3/1/06, Johannes Waldmann [EMAIL PROTECTED] wrote: But my point was that I want to use do notation for Sets (in fact, for any kind of collection) so I'd need the original Functor and Monad. I understand this for Monad. Why not just redefine Functor, Oleg-style? I couldn't use ghc's

Re: overlapping instances and constraints

2006-03-01 Thread Ben Rudiak-Gould
Niklas Broberg wrote: Ben Rudiak-Gould wrote: Are there uses of overlapping instances for which this isn't flexible enough? Certainly! Hmm... well, what about at least permitting intra-module overlap in Haskell' (and in GHC without -foverlapping-instances)? It's good enough for many

Re: overlapping instances and constraints

2006-03-01 Thread Ashley Yakeley
Ben Rudiak-Gould wrote: I think all of these problems would go away if overlap was permitted within a module but forbidden across modules. Are there uses of overlapping instances for which this isn't flexible enough? I dislike this on principle. I like the idea that modules can be

Re: the MPTC Dilemma (please solve)

2006-03-01 Thread John Meacham
On Tue, Feb 28, 2006 at 07:12:28PM -, Claus Reinke wrote: Anyway, there is already a ticket for overlapping instances, I think -- why don't you just add to that. that might work. apart from the fact that I really, really hate the braindead wiki markup processor, especially when editing

Re: relaxed instance rules spec (was: the MPTC Dilemma (please solve))

2006-03-01 Thread Claus Reinke
I urge you to read our paper Understanding functional dependencies via Constraint Handling Rules, which you can find here http://research.microsoft.com/%7Esimonpj/papers/fd%2Dchr/. Simon, I had already read that paper briefly, but had moved on to scan some of the other publications in that

Re: relaxed instance rules spec (was: the MPTC Dilemma (please solve))

2006-03-01 Thread John Meacham
On Thu, Mar 02, 2006 at 03:53:45AM -, Claus Reinke wrote: - Mul recurses down a type in its second parameter - types in Haskell are finite - there is a non-terminating Mul inference the problem is that we have somehow conjured up an infinite type for Mul to recurse on without end!

Re: [Haskell-cafe] mediawiki syntax highlighting plugins

2006-03-01 Thread Jason Dagit
On 2/28/06, Johannes Ahlmann [EMAIL PROTECTED] wrote: hi, i've noted that the new haskellwiki has dropped syntax highlighting support for haskell code fragments. while i think that full highlighting might be overkill, at least different color markup of code and comments would certainly be

Re: [Haskell-cafe] Layout rule (was Re: PrefixMap: code review request)

2006-03-01 Thread Benjamin Franksen
On Wednesday 01 March 2006 02:36, Brian Hulley wrote: Ben Rudiak-Gould wrote: Brian Hulley wrote: Here is my proposed layout rule: 1) All layout keywords (where, of, let, do) must either be followed by a single element of the corresponding block type, and explicit block introduced by

Re: [Haskell-cafe] Help with Type Class

2006-03-01 Thread Bulat Ziganshin
Hello Alson, Wednesday, March 1, 2006, 3:26:44 AM, you wrote: AK class CollectionClass c e where this works with -fglasgow-exts : class CollectionClass c e where toList :: c e - [e] data Array i e = Array i i instance CollectionClass (Array i) e where toList a = [] btw, see chapter

[Haskell-cafe] Re: haskell programming guidelines

2006-03-01 Thread Christian Maeder
[EMAIL PROTECTED] wrote: I suggested: f . g $ h x or f $ g $ h x [..] The second is just plain wrong. My reasoning is here for those who care: http://permalink.gmane.org/gmane.comp.lang.haskell.cafe/11256 If you want a left-associative operator, you're free to define

Re: [Haskell-cafe] Layout rule (was Re: PrefixMap: code reviewrequest)

2006-03-01 Thread Brian Hulley
Benjamin Franksen wrote: [snip] I am used to hitting TAB key and get the correct number of spaces, according to how I configured my editor (NEdit) for the current language mode. The only thing then is what happens when you type backspace or left arrow to get back out to a previous

Re: [Haskell-cafe] Re: haskell programming guidelines

2006-03-01 Thread Ketil Malde
Christian Maeder [EMAIL PROTECTED] writes: That should correspond to your taste as well, although someone (ie. S.M.) proposed to disallow the dot as operator in haskell'. From http://hackage.haskell.org/trac/haskell-prime/wiki/CompositionAsDot: | We lose . as composition. Mostly this doesn't

Re: [Haskell-cafe] Layout rule (was Re: PrefixMap: code reviewrequest)

2006-03-01 Thread Benjamin Franksen
On Wednesday 01 March 2006 13:35, Brian Hulley wrote: Benjamin Franksen wrote: [snip] I am used to hitting TAB key and get the correct number of spaces, according to how I configured my editor (NEdit) for the current language mode. The only thing then is what happens when you type

Re: [Haskell-cafe] Help with Type Class

2006-03-01 Thread Daniel Fischer
Am Mittwoch, 1. März 2006 01:26 schrieb Alson Kemp: Although the discussion about Array refactoring died down quickly on the Haskell' mailing list, I've been noodling on refactoring the various Collections in Haskell. In doing so, I've bumped into a problem with type classes that I can't

Re: [Haskell-cafe] Layout rule (was Re: PrefixMap: code review request)

2006-03-01 Thread Daniel Fischer
Am Mittwoch, 1. März 2006 11:57 schrieb Benjamin Franksen: TAB characters in program text should be forbidden by law. As well as editors that by default insert a tab char instead of spaces. As founding member of the church of The only good Tabbing involves Michaela, I wholeheartedly agree.

[Haskell-cafe] Hacking Hawk

2006-03-01 Thread [EMAIL PROTECTED]
Hawk didn't updated from GHC v4.04. It does contain dependencies on functions that are present in my current (6.04) GHC distribution, but they are not documented. Those functions and constructors are (just a error log from ghc): --- AQ.lhs:17:16: Not in scope: type

Re: [Haskell-cafe] enforcing strictness on arbitrary subexpressions

2006-03-01 Thread Nils Anders Danielsson
On Thu, 16 Feb 2006, Udo Stenzel [EMAIL PROTECTED] wrote: hPutStr stdout $ foldr seq veryLongString veryLongString There is no primitive to do this for arbitrary data types, but the DeepSeq type class comes close. You can find DeepSeq and some more hints on strict evaluation at

Re: [Haskell-cafe] module for probability distributions

2006-03-01 Thread Nils Anders Danielsson
On Thu, 16 Feb 2006, Matthias Fischmann [EMAIL PROTECTED] wrote: I wrote a module for sampling arbitrary probability distribution, so far including normal (gaussian) and uniform. - There is probably a better implementation out there already. Please point me to it. Martin Erwig and

Re: [Haskell-cafe] Help with Type Class

2006-03-01 Thread Alson Kemp
Bulat, BZAK class CollectionClass c e where BZthis works with -fglasgow-exts : Yup. Figured that out shortly after I e-mailed... Thank you for providing the extra detail, though. -fglasgow-exts fixed the problem, but I didn't have a good idea why the problem went away. Daniel, data

Re: [Haskell-cafe] Hacking Hawk

2006-03-01 Thread Iavor Diatchki
Hello, I am not familiar with the details of Hawk, but you can find STArray in Data.Array.ST, and the functions to read, write, and create them are 'readArray', 'writeArray', and 'newArray' (see Data.Array.MArray). -Iavor On 3/1/06, [EMAIL PROTECTED] [EMAIL PROTECTED] wrote: Hawk didn't updated

[Haskell-cafe] Re: Layout rule (was Re: PrefixMap: code review request)

2006-03-01 Thread Ben Rudiak-Gould
Duncan Coutts wrote: hIDE and Visual Haskell use the ghc lexer and get near-instantaneous syntax highlighting. Hmm... I just installed Visual Haskell 0.1, and when I type in the editor, CPU usage rises to about 70% and there's a noticeable delay before each character appears on the screen.

[Haskell-cafe] Re: Layout rule (was Re: PrefixMap: code review request)

2006-03-01 Thread Ben Rudiak-Gould
Benjamin Franksen wrote: TAB characters in program text should be forbidden by law. Well... they are quite useful for lining things up if you're using a proportional font, and I don't think proportionally-spaced code is a bad idea. I want them to be optional. But it would be nice if parsers

[Haskell-cafe] Re: Layout rule

2006-03-01 Thread Ben Rudiak-Gould
Ketil Malde wrote: Multi line comments are nice for commenting out blocks of code. They're also nice for comments within a line. E.g. haskell-src-exts contains the declaration data HsQualConDecl = HsQualConDecl SrcLoc {- forall -} [HsName] {- . -} HsContext {- = -}

Re: [Haskell-cafe] Re: Layout rule (was Re: PrefixMap: code review request)

2006-03-01 Thread Duncan Coutts
On Wed, 2006-03-01 at 22:58 +, Ben Rudiak-Gould wrote: Duncan Coutts wrote: hIDE and Visual Haskell use the ghc lexer and get near-instantaneous syntax highlighting. Hmm... I just installed Visual Haskell 0.1, and when I type in the editor, CPU usage rises to about 70% and there's a

Re: [Haskell-cafe] Layout rule (was Re: PrefixMap: code reviewreque st)

2006-03-01 Thread Steve Schafer
On Wed, 1 Mar 2006 12:35:44 -, Brian Hulley [EMAIL PROTECTED] wrote: The only thing then is what happens when you type backspace or left arrow to get back out to a previous indentation? The Borland IDEs have long supported various smart indentation features, which can each be individually

[Haskell-cafe] Template haskell instance checking

2006-03-01 Thread heatsink
Is there a way, in template haskell, to find out what instance declarations exist? I'm not trying to accomplish anything specific right now, but I can see two potential uses for this. One is to emit compile-time error messages from TH code which would be more informative than the