Re: [Haskell-cafe] A bug of groupBy implement

2009-12-07 Thread Matthijs Kooijman
Hi, I have tested it in GHC 6.10.4 (Win XP) and GHC 6.8.3 (Linux), both give the wrong result (categaried): 7 = 3 ?: False 3 = 5 ?: True 3 = 9 ?: True 3 = 6 ?: True 3 = 8 ?: True 3 = 3 ?: True 3 = 5 ?: True 3 = 4 ?: True

Re: [Haskell-cafe] Status of TypeDirectedNameResolution proposal?

2009-11-17 Thread Matthijs Kooijman
I've added an informal straw poll to the bottom of [1] to allow you to express an opinion. [1]: ? signature.asc Description: Digital signature ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org

Re: [Haskell-cafe] Cabal install on Windows 7

2009-09-10 Thread Matthijs Kooijman
Hi Regis, - use windows API for requesting elevation during the process (ugly) Why is this ugly? This seems like an elegant solution, to get privileges only when you actually need them? Gr. Matthijs signature.asc Description: Digital signature ___

Re: [Haskell-cafe] IMO ghc 6.8.2 misleading warning messages

2009-06-23 Thread Matthijs Kooijman
Hi Vasili, IMO the warning messages should be reversed! (parseOptional was never used .. called ... but I would strongly prefer the type signature warning first. Can you motivate why? Any order looks fine to me... Gr. Matthijs signature.asc Description: Digital signature

Re: Forward compatibility (was Re: [Haskell-cafe] GHCi infers a type but refuses it as type signature)

2009-06-23 Thread Matthijs Kooijman
Hi Luke, Simple: the definition of MonadState uses those extensions. [Snip question: Is this extension supported by all compilers] You should treat all compilers the same way as a universal quantifier in mathematics. It's not just all the compilers you know about, but all possible

Re: [Haskell-cafe] ANNOUNCE: The Haskell Platform 2009.2.0.1

2009-06-03 Thread Matthijs Kooijman
Hi Don, We're pleased to announce the second release of the Haskell Platform: a single, standard Haskell distribution for everyone. is there a changelog somewhere? Gr. Matthijs signature.asc Description: Digital signature ___ Haskell-Cafe mailing

Re: [Haskell-cafe] Reply to

2009-05-06 Thread Matthijs Kooijman
Hi Ashok, I feel that the haskell mailing lists must have the reply-to field set, so that a person can reply to the list by just clicking reply. Most email clients have a followup or reply-to-all feature, that will do this. Better email clients also support (setting and reading) the

Re: [Haskell-cafe] Reply to

2009-05-06 Thread Matthijs Kooijman
Hi David, - Do you use To for the mailing list or for the parent? - Do you ever include the grand-parent in the recipient list? I use whatever my mail client does when I hit list-reply :-) For me (using mutt), that means to include any recipients and senders from the original message (so

Re: Is 78 characters still a good option? Was: [Haskell-cafe] breaking too long lines

2009-04-23 Thread Matthijs Kooijman
Some material I've read on typography -- can't find the reference now -- suggests ~65 is the best number of characters per line. The advice was, if your page is larger than that, you should make columns. That fits my observations. In particular, I noticed that your emails were

Re: [Haskell-cafe] UPDATE: haskellmode for Vim now at projects.haskell.org (+screencast; -)

2009-04-07 Thread Matthijs Kooijman
Hi Claus, http://projects.haskell.org/haskellmode-vim/ The download link on this page seems to use \ instead of /, making it not work. For anyone eager to download it, just replace \ (or %5C) in your address bar with \ and it should work. Gr. Matthijs signature.asc Description: Digital

Re: [Haskell-cafe] UPDATE: haskellmode for Vim now at projects.haskell.org (+screencast; -)

2009-04-07 Thread Matthijs Kooijman
Hi Claus, I've installed the vimball, and it spit a few errors at me. In particular, it couldn't find the haddock documentation directory. A quick look at haskell_doc.vim shows that it should autodetect the directory. However, for some reason my ghc-pkg command returns the doc directory twice:

Re: [Haskell-cafe] UPDATE: haskellmode for Vim now at projects.haskell.org (+screencast; -)

2009-04-07 Thread Matthijs Kooijman
Hi Claus, I've found two more little bugs. The first is that version comparison is incorrect. It now requires that all components are greater, so comparing 6.10.1 = 6.8.2 returns false (since 1 2). Also, there is a ghc-pkg field * haddock-html call, but here the * will be expanded by the shell

Re: [Haskell-cafe] How to get a typed (type tagged) AST from GHC's core [Was: Dynamically typing TH.Exp at runtime]

2009-03-16 Thread Matthijs Kooijman
Hi Martin, Only to avoid misunderstandings, you only use the ghc-api to get the AST of a CoreModule which you translate into your own data structure (VHDL). That's correct. At this point, you don't use type information, right? I use some typing information, but that's mostly hidden away. In

Re: [Haskell-cafe] How to get a typed (type tagged) AST from GHC's core [Was: Dynamically typing TH.Exp at runtime]

2009-03-13 Thread Matthijs Kooijman
Hi Martin, Could anybody tell me, where to start in the ghc-api? It's pretty hard, when you don't know where to look. Hoogle doesn't know anything about it. I found following DT describing the core language, but as far as I see, there are no type in there either. I've been working on parsing

Re: [Haskell-cafe] Using FosSyDe to translate haskell to VHDL.

2009-03-10 Thread Matthijs Kooijman
Hi Hany, *Plus2 writeVHDL plus2SysDef *** Exception: VHDL Compilation Error: Untranslatable function: where constructs are not supported in functions: where addOnef_0 = n_1 GHC.Num.+ 1 in process function `addTwof' (created in Plus2) used by process `plus2Proc' belonging to system

Re: [Haskell-cafe] Re: base-4 + gtk2hs-0.10.0 licensing

2009-02-26 Thread Matthijs Kooijman
Hi all, An easy thing to do here would be to get a written statement from the author about the interpretation with regard to what you intend to do - like Duncan posted. AFAIK this only works when the code has a single author (or, you get a written statement from each author). In practice, many

Re: [Haskell-cafe] haddock-2.3.0 error: file name does not match module name

2009-01-29 Thread Matthijs Kooijman
I assume that it's procesing file Database.Enumerator.lhs when it emits this, but I'm puzzled because the module name in Database.Enumerator.lhs is certainly Database.Enumerator, and not Main. Any chance the module statement in the file is wrong? I think I remember seeing this error once when

Re: [Haskell-cafe] Gentle introduction questions / comments

2009-01-27 Thread Matthijs Kooijman
Hi Cristiano, Mmmmhhh... this seems the signature of the liftM function, whose purpose is to make a function operate on monadic values instead of pure values. Notice that this is different from the lift function you described above. A computation is a monadic value (i.e. an object of the

[Haskell-cafe] Core questions

2009-01-24 Thread Matthijs Kooijman
Hi all, for my Master's thesis, I'm looking into functional hardware descriptions, and in particular to translate haskell code into VHDL that can be programmed into an FPGA. For this, I'm using the GHC API to load the haskell source and give me (simplified) core representation. I then walk over