Re: Scope of committee (can we do *new* things?)

2016-05-12 Thread Andres Loeh
I think we all agree that in general, we should focus on existing language extensions that have an implementation, and expect language extensions to be implemented for them to be seriously considered for inclusion in the standard. But I think it would be wrong to turn this into a hard rule.

Re: Are there GHC extensions we'd like to incorporate wholesale?

2016-05-03 Thread Andres Loeh
Hi. Just to add a few general points. There are different dimensions to evaluate GHC extensions for inclusion in the standard, and just making lists does not really reflect that. The two most important ones, I think, are: 1. Whether we think they're actually a good idea or not. 2. Whether we

Re: Infrastructure & Communication

2016-04-29 Thread Andres Loeh
Hi. I'm ok with the general proposals made by Herbert. I'm not a huge fan of github myself, but it seems like the most pragmatic choice right now, and I wouldn't know anything else that is clearly better, so I'm in favour. I'd somewhat prefer to have everything (wiki etc) in one place then, but I

Re: Update on Haskell Prime reboot?

2016-04-22 Thread Andres Loeh
Hi. I've been talking to Herbert from time to time, and I know he's having a draft announcement lying around, and is still planning on properly starting the process soon, and has (this is my opinion, not his) just been falling into the trap of waiting for a "good moment" which then never comes.

[Haskell] CFP: Workshop on Generic Programming 2012

2012-02-29 Thread Andres Loeh
-27 2006, which had a half-day workshop attached). WGP Steering Committee -- Patrik Jansson (chair) Sibylle Schupp Bruno Oliveira Marcin Zalewski Jaako Järvi Shin-Cheng Mu Jeremy Gibbons Magne Haveraaen Tim Sheard -- Andres Loeh, Haskell Consultant Well-Typed LLP, http

Re: [Haskell-cafe] SIGPLAN Programming Languages Software Award

2011-06-09 Thread Andres Loeh
I think the history of generics in Java is Pizza (http://pizzacompiler.sourceforge.net/) - GJ (http://lamp.epfl.ch/pizza/gj/) - Java I think that if you consider that history, and in particular the Pizza compiler, then the connection to FP becomes rather obvious. Cheers, Andres

Re: [Haskell-cafe] cap 3: stopping thread 3 (stackoverflow)

2011-06-07 Thread Andres Loeh
I don't think a stack overflow event indicates an RTS bug. Stack overflow events usually result in the RTS trying to adjust the stack size, and only if that fails, the program is halted. (... and why can't I copy/paste the text from threadscope's output window) As a workaround, you can use the

Re: [Haskell-cafe] Cabal: top level dependency base -any

2011-05-24 Thread Andres Loeh
Hi. Could anyone shed light on the meaning of this error message? cabal: cannot configure xmonad-0.9.1 It requires base ==3.* For the dependency on base ==3.* there are these packages: base-3.0.3.1 and base-3.0.3.2. However none of them are available. base-3.0.3.1 was excluded because of

Re: [Haskell-cafe] Cabal: top level dependency base -any

2011-05-24 Thread Andres Loeh
Hi. So would it be correct to infer that the -any restriction will only (and always) come into play with special packages such as base? No. Unfortunately, -any really means any version is allowed, so that's why the error message is really misleading. Are there any other special packages

Re: [Haskell-cafe] Data constructor synonyms

2011-03-18 Thread Andres Loeh
 Remember that constructors are functions, except that you can't  pattern match against them. ..  The downside is that you can't pattern-match against these functions. The thing is that I need pattern matching, just functions won't do. It's only a preprocessor, but Conor's she allows

Re: [Haskell-cafe] lhs2tex and line numbers

2011-02-14 Thread Andres Loeh
Hi. How could I convince lhs2tex to add in poly mode line numbers before each code line in code block? A long time ago, I've written some experimental code that achieves line numbering in lhs2tex. I've committed the files to the github repository, so you can have a look at the .fmt file and

Re: [Haskell-cafe] lhs2tex build failure

2010-12-15 Thread Andres Loeh
The latest version on GitHub should fix the problem. I'll make a new release soon. https://github.com/kosmikus/lhs2tex Cheers, Andres ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: Alternative (per-project) package database

2010-06-30 Thread Andres Loeh
-- Andres Loeh, Universiteit Utrecht mailto:and...@cs.uu.nl mailto:m...@andres-loeh.de http://www.andres-loeh.de ___ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users

[Haskell] Final call for participation: Summer school Applied Functional Programming, Aug 16-27, Utrecht NL, Application deadline: May 1

2010-04-27 Thread Andres Loeh
-- Andres Loeh, Universiteit Utrecht mailto:and...@cs.uu.nl mailto:m...@andres-loeh.de http://www.andres-loeh.de ___ Haskell mailing list Haskell@haskell.org http

Re: [Haskell-cafe] Re: Hackage accounts and real names

2010-04-06 Thread Andres Loeh
it is now, where some people who just silently use pseudonyms get accounts, and others, who are not willing to lie, are rejected, is very bad. If people are really worried about trust, then a comment/reviewing system for Hackage is a better solution. Cheers, Andres -- Andres Loeh, Universiteit

[Haskell] Summer School Applied Functional Programming, 16-27 Aug 2010, Utrecht, NL

2010-03-15 Thread Andres Loeh
-- Andres Loeh, Universiteit Utrecht mailto:and...@cs.uu.nl mailto:m...@andres-loeh.de http://www.andres-loeh.de ___ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell

Re: [Haskell-cafe] Haskell course, training

2010-03-07 Thread Andres Loeh
-level), we have no formal requirement that participants must be students, and we will certainly consider other applications. Cheers, Andres -- Andres Loeh, Universiteit Utrecht mailto:and...@cs.uu.nl mailto:m...@andres-loeh.de http://www.andres-loeh.de

[Haskell-cafe] Re: lhs2TeX \eval{} problem

2010-03-02 Thread Andres Loeh
} Three x = 0 HTH, Andres -- Andres Loeh, Universiteit Utrecht mailto:and...@cs.uu.nl mailto:m...@andres-loeh.de http://www.andres-loeh.de ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http

Re: [Haskell-cafe] Re: lhs2TeX \eval{} problem

2010-03-02 Thread Andres Loeh
kill the process. Are you sure you added the extra line at the end? Try to call ghci on the source file. If it manages to load it without errors, then lhs2TeX should succeed as well. Cheers, Andres -- Andres Loeh, Universiteit Utrecht mailto:and...@cs.uu.nl mailto:m...@andres-loeh.de http

[Haskell-cafe] ANN: lhs2tex-1.15 (was: lhs2tex, Haskell Platform and cygwin)

2009-12-18 Thread Andres Loeh
know if this works. Cheers, Andres -- Andres Loeh, Universiteit Utrecht mailto:and...@cs.uu.nl mailto:m...@andres-loeh.de http://www.andres-loeh.de ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo

Re: [Haskell-cafe] lhs2tex + pretty print

2009-12-10 Thread Andres Loeh
The attached document works for me. HTH, Andres -- Andres Loeh, Universiteit Utrecht mailto:and...@cs.uu.nl mailto:m...@andres-loeh.de http://www.andres-loeh.de \documentclass{article} %include polycode.fmt %options ghci \begin{document} \section{Test} test = putStrLn \\section

Re: [Haskell-cafe] Functors and the Visitor Pattern

2009-06-03 Thread Andres Loeh
functors in non-functional languages? What would that pattern look like? Perhaps this paper can answer your question: Jeremy Gibbons, Bruno C.d.S. Oliveira The essence of the Iterator pattern http://web.comlab.ox.ac.uk/oucl/work/jeremy.gibbons/publications/iterator.pdf HTH, Andres -- Andres Loeh

[Haskell] Call for Participation: Utrecht Summer School on Applied Functional Programming

2009-04-22 Thread Andres Loeh
://www.utrechtsummerschool.nl/index.php?type=coursescode=H9 Cheers, Andres -- Andres Loeh, Universiteit Utrecht mailto:and...@cs.uu.nl mailto:m...@andres-loeh.de http://www.andres-loeh.de ___ Haskell mailing list Haskell@haskell.org http://www.haskell.org

Re: [Haskell-cafe] The votes are in!

2009-03-24 Thread Andres Loeh
? Scroll to the bottom of the results page linked above and click on the button, and you'll get a matrix comparing each logo to each other logo. You still have to interpret the results yourself, though. Cheers, Andres -- Andres Loeh, Universiteit Utrecht mailto:and...@cs.uu.nl mailto:m

Re: [Haskell-cafe] Hac5 projects page

2009-02-24 Thread Andres Loeh
attending might be able to help me ... HTH, Andres -- Andres Loeh, Universiteit Utrecht mailto:and...@cs.uu.nl mailto:m...@andres-loeh.de http://www.andres-loeh.de ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman

[Haskell] ANNOUNCE: multirec-0.2

2009-01-13 Thread Andres Loeh
https://svn.cs.uu.nl:12443/repos/dgp-haskell/multirec/trunk Bugs Support -- Report issues, request features, or just discuss the library with the authors, maintainers, and other interested persons at: http://www.haskell.org/mailman/listinfo/generics -- Andres Loeh

[Haskell] ANNOUNCE: zipper-0.1

2009-01-13 Thread Andres Loeh
with the authors, maintainers, and other interested persons at: http://www.haskell.org/mailman/listinfo/generics -- Andres Loeh, Universiteit Utrecht mailto:and...@cs.uu.nl mailto:m...@andres-loeh.de http://www.andres-loeh.de ___ Haskell mailing list

[Haskell] type family vs. polymorphism

2009-01-12 Thread Andres Loeh
. Cheers, Andres -- Andres Loeh, Universiteit Utrecht mailto:and...@cs.uu.nl mailto:m...@andres-loeh.de http://www.andres-loeh.de ___ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell

Re: [Haskell-cafe] Type wildcards

2008-12-17 Thread Andres Loeh
-- Andres Loeh, Universiteit Utrecht mailto:and...@cs.uu.nl mailto:m...@andres-loeh.de http://www.andres-loeh.de ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] Associated data types

2008-12-10 Thread Andres Loeh
associated type synonyms, is there still reason to have associated data types? [...] Another, somewhat related, issue is that associated type synonyms cannot currently be partially applied, whereas associated data types can. Cheers, Andres -- Andres Loeh, Universiteit Utrecht mailto:[EMAIL

[Haskell] ANNOUNCE: multirec-0.1

2008-10-31 Thread Andres Loeh
with the authors, maintainers, and other interested persons at: http://www.haskell.org/mailman/listinfo/generics -- Andres Loeh, Universiteit Utrecht mailto:[EMAIL PROTECTED] mailto:[EMAIL PROTECTED] http://www.andres-loeh.de ___ Haskell

[Haskell] ANNOUNCE: lhs2tex-1.14

2008-10-24 Thread Andres Loeh
flavors, such as plainTeX or ConTeXt. Happy lhs2TeXing, Andres Loeh and Ralf Hinze -- Andres Loeh, Universiteit Utrecht mailto:[EMAIL PROTECTED] mailto:[EMAIL PROTECTED] http://www.andres-loeh.de ___ Haskell mailing list Haskell@haskell.org

[Haskell] Change of Editor HCAR (Haskell Communities and Activities Report)

2008-04-08 Thread Andres Loeh
the past years and ask you to support Janis in his job by submitting many new entries in time for the deadline, as you usually did when I was the editor. Cheers, Andres -- Andres Loeh, Universiteit Utrecht mailto:[EMAIL PROTECTED] mailto:[EMAIL PROTECTED] http://www.andres-loeh.de

[Haskell] Advert: Software Technology Master at Utrecht University

2008-03-14 Thread Andres Loeh
of Science in Computer Science. The program is offered by the Center for Software Technology of the Institute of Information and Computing Sciences at Utrecht University. For more information, see http://www.cs.uu.nl/wiki/Master http://www.cs.uu.nl/wiki/Master/MasterCourses -- Andres Loeh

[Haskell] ANNOUNCE: lhs2tex-1.13

2008-02-14 Thread Andres Loeh
, there should be no problem to generate code for other TeX flavors, such as plainTeX or ConTeXt. Happy lhs2TeXing, Andres Loeh and Ralf Hinze [EMAIL PROTECTED] ___ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo

[Haskell] 2nd ANNOUNCE: HCAR 12/2007

2008-01-08 Thread Andres Loeh
Hi everyone. [For everyone who missed the first announcement because they were already in the holidays ...] The December 2007 edition of the Haskell Communities and Activities Report is out and available for download from http://haskell.org/communities Cheers, Andres -- Andres Loeh

[Haskell] ANNOUNCE: Haskell Communities Activities Report (13th ed., December 2007)

2007-12-22 Thread Andres Loeh
their report, but maybe we can increase our coverage of all that is going on in the community. Feel free to circulate this announcement further in order to reach people who might otherwise not see it. Enjoy! Andres Loeh hcar at haskell.org -- Haskell Communities and Activities Report (http

[Haskell] REMINDER: HCA Report (December 2007 edition)

2007-12-04 Thread Andres Loeh
Dear Haskellers, the deadline for the December 2007 edition of the Haskell Communities and Activities Report is only a few days away. If you haven't already, please write an entry for your new project, or update your old entry. Until now, I have about 30 reactions. This is okay compared to the

[Haskell] Call for Contributions - Haskell Communities and Activities Report, December 2007 edition

2007-11-21 Thread Andres Loeh
Dear Haskellers, so much has happened in the Haskell world in the past months. Therefore, although later than usual, I would very much like to collect contributions for the 13th edition of the Haskell Communities

[Haskell] ANNOUNCE: Haskell Communities Activities Report (12th ed., May 2007)

2007-05-30 Thread Andres Loeh
to draw up their report, but maybe we can increase our coverage of all that is going on in the community. Feel free to circulate this announcement further in order to reach people who might otherwise not see it. Enjoy! Andres Loeh hcar at haskell.org -- Haskell Communities and Activities

[Haskell] REMINDER: HCA Report (May 2007 edition)

2007-04-26 Thread Andres Loeh
Dear Haskellers, the deadline for the May 2007 edition of the Haskell Communities and Activities Report is only a few days away -- but this is still enough time to make sure that the report contains a section on *your* project, on the interesting stuff that you've been doing; using or affecting

[Haskell] Call for Contributions - HCA Report (May 2007 edition)

2007-04-09 Thread Andres Loeh
Dear Haskellers, it is nearly time for the twelfth edition of the Haskell Communities Activities Report http://www.haskell.org/communities/ Submission deadline: 2 May 2007

Re: [Haskell-cafe] Function Composition

2007-02-06 Thread Andres Loeh
Can anyone explain why Shape.Polygon would have a different type to (Shape).Polygon, I thought the brackets would be redundant. Here is the output from a Hugs session Animation :v -- Hugs Version 20050113 Animation :t Shape Shape :: Shape - Region Animation :t Polygon Polygon ::

Re: help from the community?

2007-01-31 Thread Andres Loeh
Just a little remark on the side: 'If' and 'case' demand exactly one expression. In such cases allowing zero expressions is not a generalization but an unnecessary complication. 'Let' and 'where' allow any number of bindings, so allowing zero bindings (instead of demanding at least one) is a

Re: help from the community?

2007-01-30 Thread Andres Loeh
The only reasons that I could see in favor of allowing empty foralls is that it might be easier to automatically generate code. Haskell seems to be a bit inconsistent in how it treats empty constructs. For example, empty let and empty where seems to be allowed, but not an empty case?

Re: help from the community?

2007-01-29 Thread Andres Loeh
I cannot see how an empty list of tyvars is useful or desirable in practice: data Foo = Foo (forall . Int) is equivalent to just data Foo = Foo Int so why bother to permit the former? It probably indicates some error in the thinking of the programmer, so the compiler should bring

Re: recent changes to draft haskell prime report

2007-01-15 Thread Andres Loeh
I have fiddled with the build system, to enable the current state of the Report in the darcs repository to be generated into (at least) HTML, (hopefully also PDF and PS soon) automatically as every patch is checked do we still need PS? in. In theory, the following link should always give

[Haskell] ANNOUNCE: lhs2tex-1.12

2007-01-09 Thread Andres Loeh
, Andres Loeh and Ralf Hinze [EMAIL PROTECTED] [EMAIL PROTECTED] ___ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell

[Haskell] ANNOUNCE: Haskell Communities Activities Report (11th ed., November 2006)

2006-11-30 Thread Andres Loeh
. Feel free to circulate this announcement further in order to reach people who might otherwise not see it. Enjoy! Andres Loeh hcar at haskell.org -- Haskell Communities and Activities Report (http://haskell.org/communities) ___ Haskell mailing list

[Haskell] REMINDER: HCA Report (November 2006 edition)

2006-11-03 Thread Andres Loeh
Dear Haskellers, the deadline for the November 2006 edition of the Haskell Communities and Activities Report is only a few days away -- but this is still enough time to make sure that the report contains a section on *your* project, on the interesting stuff that you've been doing; using or

[Haskell] Call for Contributions - HCA Report (November 2006 edition)

2006-10-14 Thread Andres Loeh
Dear Haskellers, it is nearly time for the eleventh edition of the Haskell Communities Activities Report http://www.haskell.org/communities/ Submission deadline: 6 November

Re: writing / status teams - call for volunteers

2006-09-28 Thread Andres Loeh
Would anyone else like to volunteer to write a section of the report for specific proposals below? In == #74: add some kind of concurrency: SM, HN, IJ #35: add ForeignFunctionInterface: MC, SM #49: add multi parameter type classes: MS #60: add RankNTypes or Rank2Types: AL #57:

Re: Exceptions

2006-09-01 Thread Andres Loeh
Hi Ashley. Thanks for your interest in open data types. As one of the authors of the open data types paper, I'd like to comment on the current discussion. You comment Simon's upcoming HW paper on extensible exceptions: You write: Compared to our approach, theirs requires new extensions to

[Haskell] Haskell Workshop 2006 Call for participation

2006-08-14 Thread Andres Loeh
University, US Isaac Jones, Galois Connections, US Gabriele Keller, University of New South Wales, Australia Oleg Kiselyov, FNMOC, US Andres Loeh (chair), Universitaet Bonn, Germany Conor McBride, University of Nottingham, UK Shin-Cheng Mu, Academia Sinica, Taiwan Andrew Tolmach

Re: [Haskell] ANNOUNCE: HNOP 0.1

2006-06-30 Thread Andres Loeh
Could you perhaps write a Haskell Weekly News entry for this? It might also be worth contacting Andres Löh and seeing if we can get a late entry into the Haskell Communities and Activities Report, this seems critical enough. I agree that it is pretty critical, but I'll rather do a HNOP this

[Haskell] ANNOUNCE: Haskell Communities Activities Report (10th ed., June 2006)

2006-06-12 Thread Andres Loeh
on in the community. Feel free to circulate this announcement further in order to reach people who might otherwise not see it. Enjoy! Andres Loeh hcar at haskell.org -- Haskell Communities and Activities Report (http://haskell.org/communities) ___ Haskell mailing

Re: [Haskell] REMINDER: HCA Report (extended deadline: 15 May 2006)

2006-05-12 Thread Andres Loeh
If you would extend the deadline to sometime after May 23, when the accepted Haskell.org SoC applications are revealed, you could perhaps get a lot of new projects to the list. I would rather not do this. It is already later than in the previous years for the May edition, and due to other

[Haskell] REMINDER: HCA Report (extended deadline: 15 May 2006)

2006-05-11 Thread Andres Loeh
Dear Haskellers, the deadline for the May 2006 edition of the Haskell Communities and Activities Report is only a few days away -- but this is still enough time to make sure that the report contains a section on *your* project, on the interesting stuff that you've been doing; using or affecting

[Haskell] Haskell Workshop 2006 Second call for papers

2006-05-05 Thread Andres Loeh
other practitioners can benefit. It is not enough simply to describe a program! Submission details Submission deadline: Friday, 2 June 2006 (23:00 Samoa standard time, UTC -11) Notification:Monday, 3 July 2006 Authors should send their papers to Andres Loeh ([EMAIL PROTECTED

[Haskell] Re: haskell.org libraries and tools page needs some fixing

2006-03-22 Thread Andres Loeh
BB I recently wanted to add some libraries to BB http://www.haskell.org/haskellwiki/Libraries_and_tools and noticed a BB number of problems. there is also HCAR report. my thoughts is what we should create some central repository including libs/apps/papers/communities and so on and replace

[Haskell] ANNOUNCE: lhs2tex-1.11

2006-03-14 Thread Andres Loeh
lhs2TeXing, Andres Loeh and Ralf Hinze [EMAIL PROTECTED] [EMAIL PROTECTED] ___ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell

Re: [Haskell-cafe] Decidable type systems? (WAS: Associated Type Synonyms question)

2006-02-16 Thread Andres Loeh
Can someone explain to me why decidability is of any practical interest at all? What's the (practical) difference between a decision procedure which might never terminate and one which might take 1,000,000 years to terminate? Actually, why push it out to 1,000,000 years: in the context of

[Haskell] Haskell Workshop 2006 Call for papers

2006-02-15 Thread Andres Loeh
to organise a time slot for system or tool demonstrations. If you are interested in demonstrating a Haskell related tool or application, please send a brief demo proposal to Andres Loeh ([EMAIL PROTECTED]). Programme Committee Koen Claessen, Chalmers University, Sweden Bastiaan Heeren

Re: Parallel list comprehensions

2006-02-04 Thread Andres Loeh
I noticed ticket #55--add parallel list comprehensions--which according to the ticket, will probably be adopted. I would argue against. [Several good points removed.] I agree. Cheers, Andres ___ Haskell-prime mailing list Haskell-prime@haskell.org

Re: Bugs with GADTs in GHC6.4.1

2005-12-12 Thread Andres Loeh
The attached script induces panic in GHC6.4.1: ghc-6.4.1: panic! (the `impossible' happened, GHC version 6.4.1): applyTypeToArgs f{v a1Eg} x{v a1Ei}. I think this is related to a known bug, because the same workaround helps -- annotate the f and x arguments in the last line of your program

Re: bug in GADT typechecking

2005-11-28 Thread Andres Loeh
{-# OPTIONS_GHC -fglasgow-exts #-} module Main where data Foo a b where Foo :: Int - Foo a b data Patch a b where PP :: Foo a b - Patch a b Lis :: PL a b - Patch a b data PL a b where U :: Patch a b - PL a b Nil :: PL x x (:-) :: PL c d - PL d

[Haskell] ANNOUNCE: Haskell Communities Activities Report (9th ed., November 2005)

2005-11-20 Thread Andres Loeh
. Feel free to circulate this announcement further in order to reach people who might otherwise not see it. Enjoy! Andres Loeh hcar at haskell.org -- Haskell Communities and Activities Report (http://haskell.org/communities) ___ Haskell mailing list

[Haskell] REMINDER: Contributions to the HCA Report (November 2005 edition)

2005-10-25 Thread Andres Loeh
Dear Haskellers, the deadline for the November 2006 edition of the Haskell Communities and Activities Report is only a few days away -- but this is still enough time to make sure that the report contains a section on *your* project, on the interesting stuff that you've been doing; using or

[Haskell-cafe] REMINDER: Contributions to the HCA Report (November 2005 edition)

2005-10-25 Thread Andres Loeh
Dear Haskellers, the deadline for the November 2006 edition of the Haskell Communities and Activities Report is only a few days away -- but this is still enough time to make sure that the report contains a section on *your* project, on the interesting stuff that you've been doing; using or

Re: [Haskell] PROPOSAL: class aliases

2005-10-13 Thread Andres Loeh
One thought: how will class aliases interact with type inference? e.g. if a declaration contains only a call to 'foo', should we infer the constraint Foo a, or FooBar a? Can there ever be a situation where choosing the more specific dictionary could leave us without a 'bar' method at some

Re: GADT question

2005-10-10 Thread Andres Loeh
I get an error No instance for (Fractional a) arising from the use of '/' This seems odd to me, since Div is constrained to have fractional arguments. Is there something obvious I'm missing? Unless GADTs are handled specially, and I don't think they are in this case, this problem is

Re: problems building ghc 6.4.1_pre using 6.4 with multiplecabalversions installed

2005-09-13 Thread Andres Loeh
Just glancing over the patch, I can't immediately see how it works. GHC 6.4 gives priority to package modules over modules on the local search path, so Distribution.* will be taken from the installed Cabal package. However, when linking GHC you are ommitting -package Cabal, so I'd expect a

-odir behaviour change in 6.4.1?

2005-08-09 Thread Andres Loeh
Is this change in behaviour between ghc-6.4 and ghc-6.4.1 desired: ~/trans $ ls foo foo.c ~/trans $ ghc-6.4 -odir foo -c foo/foo.c ~/trans $ ls foo foo.c foo.o ~/trans $ rm foo/foo.o ~/trans $ ls foo foo.c ~/trans $ ghc-6.4.1.20050804 -odir foo -c foo/foo.c ~/trans $ ls foo foo foo.c ~/trans $

small error in building.xml

2005-08-05 Thread Andres Loeh
A recent change to the stable branch seems to have introduced a slight error in docs/building/building.xml. In line 3822, a /screen tag is missing. The version that has this bug is 1.13.2.11. Cheers, Andres ___ Glasgow-haskell-bugs mailing list

[Haskell] ANNOUNCE: Haskell Communities Activities Report (8th ed., May 2005)

2005-05-12 Thread Andres Loeh
on in the community. Feel free to circulate this announcement further in order to reach people who might otherwise not see it. Enjoy! Andres Loeh hcar at haskell.org andres at cs.uu.nl -- Haskell Communities and Activities Report (http://haskell.org/communities

[Haskell-cafe] ANNOUNCE: Haskell Communities Activities Report (8th ed., May 2005)

2005-05-12 Thread Andres Loeh
on in the community. Feel free to circulate this announcement further in order to reach people who might otherwise not see it. Enjoy! Andres Loeh hcar at haskell.org andres at cs.uu.nl -- Haskell Communities and Activities Report (http://haskell.org/communities

Re: [Haskell-cafe] lhs2TeX and line numbers in error messages produced by LaTeX

2005-05-02 Thread Andres Loeh
I use lhs2TeX for typesetting literate haskell code. The problem is that LaTeX uses the line numbers from the .tex file generated by lhs2TeX and not the line number from the original .lhs file when producing error messages. Does anyone have a solution for this problem? Sorry, I don't. I

[Haskell] REMINDER: Contributions to the HCA Report (May 2005 edition)

2005-04-28 Thread Andres Loeh
Dear Haskellers, the deadline for the May 2005 edition of the Haskell Communities and Activities Report is only a few days away -- but this is still enough time to make sure that the report contains a section on *your* project, on the interesting stuff that you've been doing; using or affecting

[Haskell-cafe] REMINDER: Contributions to the HCA Report (May 2005 edition)

2005-04-28 Thread Andres Loeh
Dear Haskellers, the deadline for the May 2005 edition of the Haskell Communities and Activities Report is only a few days away -- but this is still enough time to make sure that the report contains a section on *your* project, on the interesting stuff that you've been doing; using or affecting

[Haskell] Call for Contributions -- HCA Report (May 2005 edition)

2005-04-14 Thread Andres Loeh
Dear Haskellers, it is nearly time for the eighth edition of the Haskell Communities Activities Report http://www.haskell.org/communities/ Submission deadline: 03 May 2005

[Haskell-cafe] Call for Contributions -- HCA Report (May 2005 edition)

2005-04-14 Thread Andres Loeh
Dear Haskellers, it is nearly time for the eighth edition of the Haskell Communities Activities Report http://www.haskell.org/communities/ Submission deadline: 03 May 2005

Re: exposed package exposes dependent packages

2005-04-06 Thread Andres Loeh
Our example was compiling happy. happy does not import anything from cabal-0.5 and yet it was hit by this problem. Unless we consider 'part of the program' to be all modules in all exposed packages (and all modules in 'efectively exposed' packages like util via the cabal-0.5 dep).

[Haskell] ANNOUNCE: Generic Haskell 1.42 (Coral)

2005-01-14 Thread Andres Loeh
Generic Haskell version 1.42 (Coral) We are happy to announce the third release of Generic Haskell, an extension of Haskell that facilitates generic programming. Generic Haskell includes the following features: * type-indexed

Re: [Haskell-cafe] The difference between ($) and application

2004-12-14 Thread Andres Loeh
Date: Tue, 14 Dec 2004 10:24:15 -0500 From: Andrew Pimlott [EMAIL PROTECTED] Subject: Re: [Haskell-cafe] The difference between ($) and application On Tue, Dec 14, 2004 at 11:23:24AM +0100, Henning Thielemann wrote: On Tue, 14 Dec 2004, Andrew Pimlott wrote: (Of course, it's still

[Haskell] ANNOUNCE: Haskell Communities Activities Report (7th ed., November 2004)

2004-11-10 Thread Andres Loeh
on in the community. Feel free to circulate this announcement further in order to reach people who might otherwise not see it. Enjoy! Andres Loeh [EMAIL PROTECTED] [EMAIL PROTECTED] -- Haskell Communities and Activities Report (http://haskell.org/communities

[Haskell-cafe] ANNOUNCE: Haskell Communities Activities Report (7th ed., November 2004)

2004-11-10 Thread Andres Loeh
on in the community. Feel free to circulate this announcement further in order to reach people who might otherwise not see it. Enjoy! Andres Loeh [EMAIL PROTECTED] [EMAIL PROTECTED] -- Haskell Communities and Activities Report (http://haskell.org/communities

Re: typechecking too eager?

2004-11-07 Thread Andres Loeh
Hi there, The following code should compile (If the constructor is valid, so is the function): data Test = Test (forall a . a) test a = Test a However this fails to compile with the following error: The current implementation of rank-n polymorphism (which is documented in the paper

[Haskell] REMINDER: Contributions to the HCA Report (November 2004 edition)

2004-10-26 Thread Andres Loeh
Dear Haskellers, the deadline for the November 2004 edition of the Haskell Communities and Activities is approaching quickly -- but there are still a few days left to make sure that the report contains a section on *your* project, on the interesting stuff that you've been doing, using or

[Haskell] Re: REMINDER: Contributions to the HCA Report (November 2004 edition)

2004-10-26 Thread Andres Loeh
Sorry, the link was incorrect. The pointer should have been: Furthermore, please have a look at http://haskell.org/communities/topics.html Cheers, Andres -- Haskell Communities and Activities Report (http://haskell.org/communities) 11/2004 edition submission deadline: 29 October 2004

[Haskell-cafe] REMINDER: Contributions to the HCA Report (November 2004 edition)

2004-10-26 Thread Andres Loeh
Dear Haskellers, the deadline for the November 2004 edition of the Haskell Communities and Activities is approaching quickly -- but there are still a few days left to make sure that the report contains a section on *your* project, on the interesting stuff that you've been doing, using or

[Haskell-cafe] Re: REMINDER: Contributions to the HCA Report (November 2004 edition)

2004-10-26 Thread Andres Loeh
Sorry, the link was incorrect. The pointer should have been: Furthermore, please have a look at http://haskell.org/communities/topics.html Cheers, Andres -- Haskell Communities and Activities Report (http://haskell.org/communities) 11/2004 edition submission deadline: 29 October 2004

Re: deriving...

2004-10-20 Thread Andres Loeh
| Why not even simply | | instance Typeable (T a) | | In other words, derivable classes define default | implementations for all their methods. But that has an existing meaning! It means use the default methods for all methods of the class. Which is not the same as derive all

Re: deriving...

2004-10-19 Thread Andres Loeh
Simon Peyton-Jones wrote: derive( Typeable (T a) ) But that means adding 'derive' as a keyword. Other possibilities: deriving( Typeable (T a) ) -- (B) Re-use 'deriving' keyword The trouble with (B) is that the thing inside the parens is different in this situation than in

[Haskell] Call for Contributions -- HCA Report (November 2004 edition)

2004-10-11 Thread Andres Loeh
Dear Haskellers, another six months have passed, and another change of editor has occurred. Half a year usually also is plenty of time for several productive changes and news to occur within the Haskell community, and therefore it is time for you to start writing: please contribute to the

Re: HOpenGL buglet

2004-08-23 Thread Andres Loeh
Sven's fix that Simon M. mentioned will appear in 6.2.2 is included in the Gentoo ebuild ghc-6.2.1-r1.ebuild . If it still doesn't work with that version, please report it as a Gentoo bug on bugs.gentoo.org. Cheers, Andres ___ Glasgow-haskell-bugs

Re: [wxhaskell-users] RE: [Haskell] Dynamically loading wxhaskell?

2004-04-14 Thread Andres Loeh
That is probably the problem. I did not see all messages of this thread, but one should indeed use --with-opengl on wxHaskell configure if wxWidgets was build with --with-opengl. Unfortunately, due to wxWidgets changes, I can not automatically detect the need for this flag, but I promise

Re: [Haskell] Parsing Typed Data from a String

2004-03-08 Thread Andres Loeh
So my question is, is there any method in GHC which allows you to extract the order of the constructors in a type or to parse a type-representation in such a way that the order of the records doesn't matter (I am looking for ease/simplicity of use)? If you happen to use Parsec for parsing --

Re: Getting lhs2tex working under Win32 (was Re: ANNOUNCE: lhs2tex-1.9)

2004-01-24 Thread Andres Loeh
Thanks for producing such a wonderful and useful tool! Nice to hear that you find it useful. Thank you very much for sharing your results. I am pleased to report that I managed to get lhs2TeX working on Win32, by modifying just a single byte in the source code. 1. In the lhs2TeX

ANNOUNCE: lhs2tex-1.9

2004-01-23 Thread Andres Loeh
. In theory, there should be no problem to generate code for other TeX flavors, such as plainTeX or ConTeXt. Happy lhs2TeXing, Ralf Hinze and Andres Loeh [EMAIL PROTECTED] [EMAIL PROTECTED] ___ Haskell mailing list [EMAIL PROTECTED] http

Re: ANNOUNCE: lhs2tex-1.9

2004-01-23 Thread Andres Loeh
In theory, there should be no problem to generate code for other TeX flavors, such as plainTeX or ConTeXt. Any plan to maybe add support for ConteXt? Not now. Maybe in half a year or so. I am using ConTeXt for some things, so sooner or later it would be nice to support it. If you don't

  1   2   >