Re: [Haskell-cafe] HaskellWiki images disappeared

2013-07-20 Thread Thomas Schilling
Should be fixed now. The wiki was recently transferred to a new server and this got unfortunately broken in the process. On 18 Jul 2013 22:45, Henk-Jan van Tuyl hjgt...@chello.nl wrote: L.S., It looks like the HaskellWiki images have disappeared; can anybody repair this? (See for example

Re: [Haskell-cafe] Two GHC-related GSoC Proposals

2013-05-31 Thread Thomas Schilling
[I'll be the mentor for this GSoC project.] I used the MVar approach a while ago and so did Simon Marlow's original solution. Using MVars and Threads for this should scale well enough (1000s of modules) and be relatively straightforward. Error/exception handling could be a bit tricky, but you

Re: [Haskell-cafe] Parallel ghc --make

2013-05-15 Thread Thomas Schilling
To have a single-process ghc --make -j you first of all need internal thread-safety: GHC internally keeps a number of global caches that need to be made thread-safe: - table of interned strings (this is actually written in C and accessed via FFI) - cache of interface files loaded, these are

Re: [Haskell-cafe] ghc-heap-view now with recursive pretty-printing

2012-12-25 Thread Thomas Schilling
On 21 December 2012 11:16, Joachim Breitner m...@joachim-breitner.de wrote: Prelude :script /home/jojo/.cabal/share/ghc-heap-view-0.4.0.0/ghci Prelude let x = [1..10] Prelude x [1,2,3,4,5,6,7,8,9,10] Prelude :printHeap x _bh [S# 1,S# 2,S# 3,S# 4,S# 5,S# 6,S# 7,S# 8,S# 9,S# 10] Note that

Re: [Haskell-cafe] How to correctly benchmark code with Criterion?

2012-10-18 Thread Thomas Schilling
Yes, Criterion always discards the time of the first evaluation. On 18 October 2012 15:06, Janek S. fremenz...@poczta.onet.pl wrote: So the evaluation will be included in the benchmark, but if bench is doing enough trials it will be statistical noise. When I intentionally delayed my dataBuild

Re: [Haskell-cafe] How to correctly benchmark code with Criterion?

2012-10-18 Thread Thomas Schilling
On 18 October 2012 13:15, Janek S. fremenz...@poczta.onet.pl wrote: Something like this might work, not sure what the canonical way is. (...) This is basically the same as the answer I was given on SO. My concerns about this solutions are: - rnf requires its parameter to belong to NFData

Re: [Haskell-cafe] Panic loading network on windows (GHC 7.6.1)

2012-10-06 Thread Thomas Schilling
Just to explain what's going on. It looks like you are compiling a module that uses template haskell, which in turn relies on GHCi bits. In particular, GHCi has a custom linker for loading compiled code. This linker is very fragile and tends to break whenever the platform GCC/linker changes.

Re: [Haskell-cafe] object file cannot be loaded.

2012-10-06 Thread Thomas Schilling
Does `ghc-pkg check` report any issues? On 6 October 2012 15:24, Magicloud Magiclouds magicloud.magiclo...@gmail.com wrote: Hi, I am installing postgres hackage (cannot remember the exact name right now). When it compiling the template haskell part I got the following error message. I

Re: [Haskell-cafe] Haskell Wiki News

2012-09-22 Thread Thomas Schilling
It's a wiki. I went ahead and fixed it, this time. To paraphrase Bryan O'Sullivan: Whenever you think why hasn't anyone done ..., or why doesn't somebody fix ..., you should ask yourself Why don't *I* do ... or Why don't *I* fix That's how open source works. (Not trying to be offensive,

Re: [Haskell-cafe] A first glimps on the {-# NOUPDATE #-} pragma

2012-08-30 Thread Thomas Schilling
On 30 August 2012 09:34, Joachim Breitner breit...@kit.edu wrote: but from a first glance it seems that you are not using that part of GHC in your project, right? No, I don't think I can make use of your work directly. Lambdachine uses GHC up until the CorePrep phase (the last phase before

Re: [Haskell-cafe] A first glimps on the {-# NOUPDATE #-} pragma

2012-08-29 Thread Thomas Schilling
On 29 August 2012 15:21, Joachim Breitner breit...@kit.edu wrote: Hi Facundo, Am Mittwoch, den 29.08.2012, 10:26 -0300 schrieb Facundo Domínguez: upd_noupd n = let l = myenum' 0 n in last l + length l This could be rewritten as

Re: [Haskell-cafe] Platform Versioning Policy: upper bounds are not our friends

2012-08-17 Thread Thomas Schilling
My thoughts on the matter got a little long, so I posted them here: http://nominolo.blogspot.co.uk/2012/08/beyond-package-version-policies.html On 17 August 2012 12:48, Heinrich Apfelmus apfel...@quantentunnel.dewrote: Brent Yorgey wrote: Yitzchak Gale wrote: For actively maintained

Re: [Haskell-cafe] Haskell Platform - BSD License?

2012-07-31 Thread Thomas Schilling
You may concatenate the licenses of all the packages you are using. GHC includes the LGPL libgmp. The license file for each package is mentioned in the .cabal file. ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org

Re: [Haskell-cafe] Current state of garbage collection in Haskell

2012-07-29 Thread Thomas Schilling
GHC does not provide any form of real-time guarantees (and support for them is not planned). That said, it's not as bad as it sounds: - Collecting the first (young) generation is fast and you can control the size of that first generation via runtime system (RTS) options. - The older

Re: [Haskell-cafe] Logging pure code

2012-07-29 Thread Thomas Schilling
On 27 July 2012 14:52, Marco Túlio Gontijo e Silva marcotmar...@gmail.com wrote: thread blocked indefinitely in an MVar operation IIRC, that means that a thread is blocked on an MVar and the MVar is only reachable by that thread. You said you tried adding NOINLINE, which is usually required for

Re: [Haskell-cafe] Criterion setup/teardown functions?

2012-07-17 Thread Thomas Schilling
On 17 July 2012 20:45, tsuraan tsur...@gmail.com wrote: Is there anything in Criterion that allows for a benchmark to run some code before or after the thing that it's timing? As an example, I'd like to time a bunch of database inserts, but beforehand I want to create the target table, and

Re: [Haskell-cafe] Memory corruption issues when using newAlignedPinnedByteArray, GC kicking in?

2012-07-10 Thread Thomas Schilling
I think you should ask this question on the glasgow-haskell-users mailing list: http://www.haskell.org/mailman/listinfo/glasgow-haskell-users On 10 July 2012 18:20, Nicolas Trangez nico...@incubaid.com wrote: All, While working on my vector-simd library, I noticed somehow memory I'm using

Re: [Haskell-cafe] not enough fusion?

2012-06-27 Thread Thomas Schilling
It's described in Andy Gill's PhD thesis (which describes the foldr/build fusion). http://ittc.ku.edu/~andygill/paper.php?label=GillPhD96 Section 4.4 describes the basic ideas. There aren't any further details, though. Max's Strict Core paper also describes it a bit (Section 6):

Re: [Haskell-cafe] attoparsec double precision, quickCheck and aeson

2012-06-11 Thread Thomas Schilling
Bryan, do you remember what the issue is with C++ in this case? I thought, adding a wrapper with extern C definitions should do the trick for simpler libraries (as this one seems to be). Is the interaction with the memory allocator the issue? Linker flags? On 11 June 2012 06:38, Bryan

Re: [Haskell-cafe] High memory usage with 1.4 Million records?

2012-06-08 Thread Thomas Schilling
On 8 June 2012 01:39, Andrew Myers asm...@gmail.com wrote: Hi Cafe, I'm working on inspecting some data that I'm trying to represent as records in Haskell and seeing about twice the memory footprint than I was expecting. That is to be expected in a garbage-collected language. If your program

Re: [Haskell-cafe] for = flip map

2012-03-29 Thread Thomas Schilling
On 29 March 2012 22:03, Sjoerd Visscher sjo...@w3future.com wrote: Some more bikeshedding: Perhaps ffor, as in    ffor = flip fmap or perhaps    infixr 0 $$    ($$) = flip ($)    xs $$ \x - ... I don't think it makes sense to add a whole new operator for that. You can just use

Re: [Haskell-cafe] haskell-platform vs macports

2012-03-22 Thread Thomas Schilling
If you're not otherwise attached to MacPorts, you might want to check out Homebrew [1]. Its integration with the rest of OS X is generally more smoothly and I haven't come across any missing packages yet. [1]: http://mxcl.github.com/homebrew/ On 22 March 2012 16:34, Warren Harris

Re: [Haskell-cafe] Are there arithmetic composition of functions?

2012-03-19 Thread Thomas Schilling
I don't understand this discussion. He explicitly said If you are willing to depend on a recent version of base. More precisely, he meant GHC 7.4 which includes the latest version of base. Yes, this is incompatible with the Haskell2010 standard, but it did go through the library submission

Re: [Haskell-cafe] Using multiplate to get free variables from a syntax tree

2012-02-25 Thread Thomas Schilling
That will give you the wrong answer for an expression like: (let x = 1 in x + y) + x Unless you do a renaming pass first, you will end up both with a bound x and a free x. On 25 February 2012 16:29, Sjoerd Visscher sjo...@w3future.com wrote: On Feb 24, 2012, at 10:09 PM, Stephen Tetley

Re: [Haskell-cafe] Using multiplate to get free variables from a syntax tree

2012-02-25 Thread Thomas Schilling
,x],[]) I.e. free variables y and x, no bound variables. Is that not correct? Sjoerd On Feb 25, 2012, at 7:15 PM, Thomas Schilling wrote: That will give you the wrong answer for an expression like:  (let x = 1 in x + y) + x Unless you do a renaming pass first, you will end up both

Re: [Haskell-cafe] Undocumented cost-centres (.\) using auto-all, and SCC pragma not being honored

2012-02-15 Thread Thomas Schilling
On 15 February 2012 16:17, Dan Maftei ninestrayc...@gmail.com wrote: 1 When profiling my code with -auto-all, my .prof file names some sub-expressions with a backslash. Cf. below. What are these?      e_step       e_step.ewords       e_step.\        e_step.\.\        

Re: [Haskell-cafe] How do I get official feedback (ratings) on my GSoC proposal?

2012-02-13 Thread Thomas Schilling
It's usually the (potential) mentors who do the rating. I know we did that two years ago; can't remember last year, though. On 13 February 2012 23:45, Greg Weber g...@gregweber.info wrote: http://hackage.haskell.org/trac/summer-of-code/report/1 There is a column 'Priority'. And there are now

Re: [Haskell-cafe] ghc-api Static Semantics?

2012-01-26 Thread Thomas Schilling
On 26 January 2012 09:24, Christopher Brown cm...@st-andrews.ac.uk wrote: Hi Thomas, By static semantics I mean use and bind locations for every name in the AST. Right, that's what the renamer does in GHC. The GHC AST is parameterised over the type of identifiers used. The three different

Re: [Haskell-cafe] ghc-api Static Semantics?

2012-01-26 Thread Thomas Schilling
, 2012 at 2:31 PM, Thomas Schilling nomin...@googlemail.com wrote: On 26 January 2012 09:24, Christopher Brown cm...@st-andrews.ac.uk wrote: Hi Thomas, By static semantics I mean use and bind locations for every name in the AST. Right, that's what the renamer does in GHC

Re: [Haskell-cafe] ghc-api Static Semantics?

2012-01-25 Thread Thomas Schilling
I assume by static semantics you mean the renamed Haskell source code. Due to template Haskell it (currently) is not possible to run the renamer and type checker separately. Note that the type checker output is very different in shape from the renamed output. The renamed output mostly follows

Re: [Haskell-cafe] Code generation and optimisation for compiling Haskell

2012-01-13 Thread Thomas Schilling
wrote: On Tue, Jan 10, 2012 at 9:25 AM, Steve Horne sh006d3...@blueyonder.co.uk wrote: Also, what papers should I read? Am I on the right lines with the ones I've mentioned above? Thomas Schilling gave you a good response with papers so I will give you a different perspective on where

Re: [Haskell-cafe] Code generation and optimisation for compiling Haskell

2012-01-11 Thread Thomas Schilling
Based on your stated background, the best start would be the (longer) paper on the Spineless Tagless G-machine [1]. It describes how graph reduction is actually implemented efficiently. Since then there have been two major changes to this basic implementation: Use of eval/apply (a different

Re: [Haskell-cafe] Type checker for haskell-src-exts (was: Typechecking Using GHC API)

2011-12-18 Thread Thomas Schilling
On 17 December 2011 05:39, Gregory Crosswhite gcrosswh...@gmail.com wrote: On Dec 17, 2011, at 9:58 AM, Thomas Schilling wrote: Wll... I've gotten a little bit of a different perspective on this since working at a company with very high code quality standards (at least for new code

Re: [Haskell-cafe] [Haskell] Proposal to incorporate Haskell.org

2011-12-16 Thread Thomas Schilling
On 16 December 2011 11:10, Ganesh Sittampalam gan...@earth.li wrote: On 16/12/2011 10:59, Giovanni Tirloni wrote: On Fri, Dec 16, 2011 at 7:08 AM, Ganesh Sittampalam gan...@earth.li mailto:gan...@earth.li wrote:     Q: If an umbrella non-profit organisation The Haskell Foundation was      

Re: [Haskell-cafe] [Haskell] Proposal to incorporate Haskell.org

2011-12-16 Thread Thomas Schilling
On 16 December 2011 13:36, Ganesh Sittampalam gan...@earth.li wrote: Would a donation to haskell.org include a fee to SPI?  I couldn't find any information on their website. Yes - 5% goes to SPI to cover their overheads. It's detailed in

Re: [Haskell-cafe] Type checker for haskell-src-exts (was: Typechecking Using GHC API)

2011-12-16 Thread Thomas Schilling
On 16 December 2011 17:44, Niklas Broberg niklas.brob...@gmail.com wrote: With all due respect, the sentiments you give voice to here are a large part of what drives me to do this project in the first place. Haskell is not GHC, and I think that the very dominant position of GHC many times leads

Re: [Haskell-cafe] [Alternative] some/many narrative

2011-12-15 Thread Thomas Schilling
On 15 December 2011 06:29, Chris Wong chrisyco+haskell-c...@gmail.com wrote: class (Applicative f, Monoid f) = Alternative f where    -- | Keep repeating the action (consuming its values) until it fails, and then return the values consumed. I think this should be collect rather than consume

Re: [Haskell-cafe] Type checker for haskell-src-exts (was: Typechecking Using GHC API)

2011-12-15 Thread Thomas Schilling
What exactly are the hopes for such a type checker? I can understand it being interesting as a research project, but as a realistic tools there are two huge issues: 1. It's going to take a LOT of time to reach feature parity with GHC's type checker. 2. Assuming that can be done, how is it

Re: [Haskell-cafe] How to get a file path to the program invoked?

2011-12-15 Thread Thomas Schilling
May I ask what the problem is you're trying to solve? If you want to access datafiles in an installed program then Cabal can help you with that. See http://www.haskell.org/cabal/users-guide/#accessing-data-files-from-package-code If you want to do more complicated things, maybe take a look at

Re: [Haskell-cafe] Splitting off many/some from Alternative

2011-12-13 Thread Thomas Schilling
On 12 December 2011 22:39, Antoine Latter aslat...@gmail.com wrote: But now they look as if they are of equal importance with the other class methods, which is not really true. Maybe, but something like this is best fixed by improving documentation, not by shuffling things around and needlessly

Re: [Haskell-cafe] Haskell Summers of Code retrospective (updated for 2011)

2011-12-11 Thread Thomas Schilling
I would be interested in what the hold-up is with the two Cabal projects. Does the work need more clean-up or is it just stuck in the Duncan-code-review pipeline? If Duncan is indeed the bottleneck, maybe we should look into ways of taking some of the work off Duncan. On 11 December 2011 02:57,

Re: [Haskell-cafe] Superset of Haddock and Markdown

2011-11-21 Thread Thomas Schilling
On 21 November 2011 17:34, Brandon Allbery allber...@gmail.com wrote: Haddock carries the same license as GHC. More to the point, Haddock uses ghc internals these days; it's not just a matter of bundling, and the licenses *must* be compatible. No. If the haddock library any program that

Re: [Haskell-cafe] compiler construction

2011-11-03 Thread Thomas Schilling
Chalmers University in Gothenburg, Sweden has a master's programme that includes a compiler construction course. For the lectures from last term, see: http://www.cse.chalmers.se/edu/course/TDA282/lectures.html When I took it in 2006 it was a very practical course -- your task was to implement a

Re: [Haskell-cafe] Best bit LIST data structure

2011-10-09 Thread Thomas Schilling
On 9 October 2011 14:54, Joachim Breitner m...@joachim-breitner.de wrote: Hi, Am Freitag, den 07.10.2011, 10:52 -0400 schrieb Ryan Newton: What about just using the Data.Bits instance of Integer?  Well, presently, the setBit instance for very large integers creates a whole new integer,

Re: [Haskell-cafe] SMP parallelism increasing GC time dramatically

2011-10-09 Thread Thomas Schilling
It would be really useful to see the threadscope output for this. Apart from cache effects (which may well be significant at 12 cores), the usual problems with parallel GHC are synchronisation. When GHC wants to perform a parallel GC it needs to stop all Haskell threads. These are lightweight

Re: [Haskell-cafe] Much faster complex monad stack based on CPS state

2011-09-28 Thread Thomas Schilling
Well, you can get something close with the help of IORefs, but I forgot the details. I believe this is the paper that explains it: Value recursion in the continuation monad by Magnus Carlsson http://www.carlssonia.org/ogi/mdo-callcc.pdf On 28 September 2011 15:15, Bas van Dijk

Re: [Haskell-cafe] Improvements to Vim Haskell Syntax file - Is anyone the maintainer?

2011-09-10 Thread Thomas Schilling
How about moving/adding the repo to https://github.com/haskell? That would be a nice canonical and easy to find location, IMHO. On 9 September 2011 05:03, steffen steffen.sier...@googlemail.com wrote: Hi, check out this one: https://github.com/urso/dotrc/blob/master/vim/syntax/haskell.vim A

Re: [Haskell-cafe] Undefined symbol error coming from shared, dynamic library.

2011-09-08 Thread Thomas Schilling
stg_newByteArrayzh is defined in the runtime system. Presumably you need to link against the GHC runtime system. If that doesn't help try asking your question on the glasgow-haskell-us...@haskell.org mailing list. On 6 September 2011 16:52, David Banas dba...@banasfamily.net wrote: Hi all,

Re: [Haskell-cafe] Smarter do notation

2011-09-05 Thread Thomas Schilling
On 5 September 2011 13:41, Sebastian Fischer fisc...@nii.ac.jp wrote: Hi again, I think the following rules capture what Max's program does if applied after the usual desugaring of do-notation: a = \p - return b -- (\p - b) $ a a = \p - f $ b -- 'free p' and 'free b' disjoint --

Re: [Haskell-cafe] Smarter do notation

2011-09-05 Thread Thomas Schilling
On 5 September 2011 15:49, Sebastian Fischer fisc...@nii.ac.jp wrote: On Mon, Sep 5, 2011 at 10:19 PM, Thomas Schilling nomin...@googlemail.com wrote: a = \p - f $ b -- 'free p' and 'free b' disjoint  -- ((\p - f) $ a) * b Will there also be an optimisation for some sort of simple

Re: [Haskell-cafe] Smarter do notation

2011-09-04 Thread Thomas Schilling
I don't quite understand how this would work. For example, would it work for these examples? do x - blah let foo = return foo (f x) -- Using an alias of return/pure do x - Just blah Just (f x) -- another form of aliasing do x - blah return (g x x) -- could perhaps

Re: [Haskell-cafe] GHC API question

2011-08-29 Thread Thomas Schilling
-users mailing list. On 28 August 2011 17:57, Chris Smith cdsm...@gmail.com wrote: On Sun, 2011-08-28 at 17:47 +0100, Thomas Schilling wrote: I don't think you can link GHCi with binaries compiled in profiling mode.  You'll have to build an executable. Okay... sorry to be obtuse, but what exactly

Re: [Haskell-cafe] GHC API question

2011-08-28 Thread Thomas Schilling
I don't think you can link GHCi with binaries compiled in profiling mode. You'll have to build an executable. On 28 August 2011 16:38, Chris Smith cdsm...@gmail.com wrote: Okay, I should have waited until morning to post this... so actually, things still work fine when I build without

Re: [Haskell-cafe] For class Monoid; better names than mempty mappend might have been: mid (mident) mbinop

2011-07-25 Thread Thomas Schilling
On 25 July 2011 08:22, Paul R paul.r...@gmail.com wrote: Hi Café, Thomas I think () is fairly uncontroversial because: Thomas (...) Thomas 2. It's abstract. i.e., no intended pronunciation How can that be an advantage ? A text flow with unnamed (or unpronounceable) symbols makes reading,

Re: [Haskell-cafe] For class Monoid; better names than mempty mappend might have been: mid (mident) mbinop

2011-07-24 Thread Thomas Schilling
Yes, this has sort-of been agreed upon in a GHC ticket about a year ago: http://hackage.haskell.org/trac/ghc/ticket/3339 I had a patch in Darcs, but then came the switch to Git. I ported it to Git, but didn't iron out all the issues. That was quite a while ago so it's currently a bit bitrotten.

Re: [Haskell-cafe] For class Monoid; better names than mempty mappend might have been: mid (mident) mbinop

2011-07-24 Thread Thomas Schilling
set of core libraries. On Sun, Jul 24, 2011 at 11:39 AM, Thomas Schilling nomin...@googlemail.com wrote: Yes, this has sort-of been agreed upon in a GHC ticket about a year ago: http://hackage.haskell.org/trac/ghc/ticket/3339 I had a patch in Darcs, but then came the switch to Git.  I ported

Re: [Haskell-cafe] Automatic Reference Counting

2011-07-02 Thread Thomas Schilling
Reference counting usually has much higher overheads than garbage collection and is tricky to parallise. It's main advantage is quicker release of memory. I believe the main feature of ARC is that the user does not need to manually keep reference counts up to date. I heard from people using

Re: [Haskell-cafe] Toy implementation of the STG machine

2011-06-11 Thread Thomas Schilling
Does Bernie Pope's http://www.haskell.org/haskellwiki/Ministg work for you? On 11 June 2011 21:19, Florian Weimer f...@deneb.enyo.de wrote: I'm looking for a simple implementation of the STG machine to do some experiments, preferably implemented in something with memory safety. Performance is

Re: [Haskell-cafe] Unbelievable parallel speedup

2011-06-03 Thread Thomas Schilling
While I would guess that your superlinear speedup is due to the large variance of your single-core case, it is indeed possible to have superlinear speedup. Say you have a problem set of size 32MB and an L2 cache of 8MB per core. If you run the same program on one CPU it won't fit into the cache,

Re: [Haskell-cafe] ANN: Leksah 0.10.0

2011-04-29 Thread Thomas Schilling
My guess is that you're doing all indexing work inside a single GHC API session. When loading external packages GHC caches all .hi files in memory -- and never unloads them. Therefore, if you have a large package DB, that'll consume a lot of memory. For similar reasons you can also run into

Re: [Haskell-cafe] Haskell Platform 2011.x - planned release date?

2011-02-01 Thread Thomas Schilling
My guess is that they're waiting for the next (and final) stable release of 7.0, which should happen in the next few weeks. On 1 February 2011 08:27, Max Cantor mxcan...@gmail.com wrote: January has come and gone and HP 2011 has not come with it.  Is there an updated timetable for the next

Re: [Haskell-cafe] OT: Monad co-tutorial: the Compilation Monad

2010-12-18 Thread Thomas Schilling
The haskell.org domain expired. It's being worked on. On 17 December 2010 12:45, Larry Evans cppljev...@suddenlink.net wrote: On 12/17/10 01:32, Max Bolingbroke wrote: [snip] I can't speak for your monad based approach, but you may be interested in Neil Mitchell's Haskell DSL for build

Re: [Haskell-cafe] Behaviour of System.Directory.getModificationTime

2010-12-16 Thread Thomas Schilling
Yes, modification times are reported in seconds, so you'll have to wait on average 0.5s for a file change to be visible via the modification date. Due to buffers and filesystem optimisations it might even take longer. On 16 December 2010 16:50, Arnaud Bailly arnaud.oq...@gmail.com wrote:

Re: [Haskell-cafe] Rendering of hask in new wiki (MSIE6)

2010-12-15 Thread Thomas Schilling
Yes, the current syntax highligthing plugin (SyntaxHighlight_GeSHi) is quite annoying. It's the version that comes with debian which has the advantage that it will be updated automatically. However, it the surrounding div class=inline-code is my attempt at hacking around the fact that it doesn't

Re: [Haskell-cafe] [ANNOUNCE] haskell-mpi-1.0.0

2010-12-13 Thread Thomas Schilling
Could you please add your package to the wiki section at http://haskell.org/haskellwiki/Applications_and_libraries/Concurrency_and_parallelism#MPI ? On 9 December 2010 21:40, Dmitry Astapov dmi...@well-typed.com wrote: Dear Haskellers, We are pleased to announce the release of

Re: [Haskell-cafe] The Monad Reader links are broken

2010-12-12 Thread Thomas Schilling
I don't have access to the wordpress site, but here's a quick way to fix the links: - Replace links of the form: http://www.haskell.org*/sitewiki/images* /8/85/TMR-Issue13.pdf - With: http://www.haskell.org*/wikiupload*/8/85/TMR-Issue13.pdf / Thomas On 11 December 2010 23:28, Jason Dagit

Re: [Haskell-cafe] haskell2010 and state question.

2010-12-09 Thread Thomas Schilling
On 10 December 2010 01:40, Magicloud Magiclouds magicloud.magiclo...@gmail.com wrote: On Wed, Dec 8, 2010 at 6:46 PM, Henk-Jan van Tuyl hjgt...@chello.nl wrote: On Wed, 08 Dec 2010 10:03:40 +0100, Magicloud Magiclouds magicloud.magiclo...@gmail.com wrote: Hi,  Formerly, I had IORef and some

Re: [Haskell-cafe] [Haskell] haskell.org migration complete

2010-12-05 Thread Thomas Schilling
On 5 December 2010 08:29, Henning Thielemann schlepp...@henning-thielemann.de wrote: Thomas Schilling schrieb: I created http://www.haskell.org/haskellwiki/MigratingWikiContent to list known issues and workarounds.  Please feel free to extend that page where needed. I liked to add

Re: [Haskell-cafe] Most images broken on haskellwiki pages

2010-12-03 Thread Thomas Schilling
Should be fixed. PDF previews are currently broken, but images should be fine. 2010/12/3 Eugene Kirpichov ekirpic...@gmail.com: Hello, Any news on this one? 01.12.2010, в 11:53, Yitzchak Gale g...@sefer.org написал(а): Eugene Kirpichov wrote: I looked at a couple pages of mine... and

Re: [Haskell-cafe] Who's in charge of the new Haskell.org server?

2010-12-01 Thread Thomas Schilling
On 1 December 2010 18:55, Christopher Done chrisd...@googlemail.com wrote: If someone will allow me to send them an extension for WikiMedia I will write one. It shouldn't be complex at all, so code review will be trivial. Please let me know! I'm sure other people here are interested to know who

Re: [Haskell-cafe] Conditional compilation for different versions of GHC?

2010-11-30 Thread Thomas Schilling
I think a nicer way to solve that issue is to use Cabal's MIN_VERSION macros. 1. Add CPP to your extensions. This will cause cabal to auto-generate a file with MIN_VERSION_pkg macros for each pkg in build-depends. 2. GHC 6.12.* comes with template-haskell 2.4, so to test for that use: #ifdef

Re: [Haskell-cafe] Haddock: patch to generate single-index page in addition to perl-letter indexes indices.

2010-10-24 Thread Thomas Schilling
For packages with many items in the index, these pages can get a bit huge. How about a permuted index like http://www.lispworks.com/documentation/HyperSpec/Front/X_Symbol.htm? E.g., for your use case, you would go to E and then the row with all the End entries, which would contain all the names

Re: [Haskell-cafe] The Haskell theme

2010-10-22 Thread Thomas Schilling
I agree with Mark that we shouldn't try to over-constrain things. However, basic startup-resources are perfectly fine. It gives a good default for people who don't really like (web-)design, and can serve as a baseline for others. I.e., encourage consistency but don't enforce it. On 12 October

Re: [Haskell-cafe] Are newtypes optimised and how much?

2010-10-20 Thread Thomas Schilling
Do we really want to treat every newtype wrappers as a form of 'id'? For example: newtype Nat = Nat Integer -- must always be positive A possible rule (doesn't actually typecheck, but you get the idea): forall (x :: Nat). sqrt (x * x) = x If we ignore newtyping we get an incorrect

Re: [Haskell-cafe] An interesting paper on VM-friendly GC

2010-10-16 Thread Thomas Schilling
On 16 October 2010 10:35, Andrew Coppin andrewcop...@btinternet.com wrote:  On 15/10/2010 11:50 PM, Gregory Crosswhite wrote:  On 10/15/2010 03:15 PM, Andrew Coppin wrote: On the other hand, their implementation uses a modified Linux kernel, and no sane person is going to recompile their OS

Re: [Haskell-cafe] Re: How to make cabal pass flags to happy?

2010-10-16 Thread Thomas Schilling
You probably want to customise Setup.lhs to use defaultMainWithHooks and add your own custom suffix handler to the UserHooks, see: http://hackage.haskell.org/packages/archive/Cabal/1.8.0.6/doc/html/Distribution-Simple.html#t:UserHooks Take a look at PPSuffixHandler

Re: [Haskell-cafe] IORef memory leak

2010-10-15 Thread Thomas Schilling
Correct, here's a video of Simon explaining the thunk blackholing issue and its solution in GHC 7: http://vimeo.com/15573590 On 15 October 2010 21:31, Gregory Collins g...@gregorycollins.net wrote: Evan Laforge qdun...@gmail.com writes: The only workaround I could find is to immediately read

Re: [Haskell-cafe] can Haskell do everyting as we want?

2010-08-05 Thread Thomas Schilling
On 4 August 2010 21:21, Jason Dagit da...@codersbase.com wrote: Is scion still being developed?  I have the impression it's dead now. Really a shame, I think it has a good solid design and just needs work/polish. It is: http://github.com/nominolo/scion/network I changed the architecture to

Re: [Haskell-cafe] hsb2hs preprocessor looking for a maintainer

2010-08-04 Thread Thomas Schilling
On 4 August 2010 12:05, Ivan Lazar Miljenovic ivan.miljeno...@gmail.com wrote: Max Bolingbroke batterseapo...@hotmail.com writes: On 4 August 2010 11:39, Ivan Lazar Miljenovic ivan.miljeno...@gmail.com wrote: Joachim Breitner m...@joachim-breitner.de writes: the problem is that Template

Re: [Haskell-cafe] Preview the new haddock look and take a short survey

2010-08-04 Thread Thomas Schilling
On 4 August 2010 10:11, Magnus Therning mag...@therning.org wrote: On Wed, Aug 4, 2010 at 06:00, Mark Lentczner ma...@glyphic.com wrote: The Haddock team has spent the last few months revamping the look of the generated output. We're pretty close to done, but we'd like to get the community's

Re: [Haskell-cafe] Preview the new haddock look and take a short survey

2010-08-04 Thread Thomas Schilling
On 4 August 2010 15:44, aditya siram aditya.si...@gmail.com wrote: I really like the color scheme and the Javadoc looking frames. One suggestion I can make is to have the index show all the functions with type signatures without having to pick a letter. A lot of times I'll be looking for a

Re: [Haskell-cafe] Design for 2010.2.x series Haskell Platform site

2010-07-17 Thread Thomas Schilling
Haters gonna hate. The new wiki will have a user preference to switch back to the default monobook style. You can always do that if you want. It doesn't work fully, yet, but that's on my ToDo list. On 17 July 2010 11:53, Andrew Coppin andrewcop...@btinternet.com wrote: Thomas Schilling wrote

Re: [Haskell-cafe] Design for 2010.2.x series Haskell Platform site

2010-07-17 Thread Thomas Schilling
(and probably shoud be). / Thomas On 17 July 2010 13:31, Christopher Done chrisd...@googlemail.com wrote: On 17 July 2010 13:37, Andrew Coppin andrewcop...@btinternet.com wrote: Thomas Schilling wrote: Haters gonna hate. Well, I don't *hate* it. It just looks a little muddy, that's all. I

Re: [Haskell-cafe] Hot-Swap with Haskell

2010-07-16 Thread Thomas Schilling
What would be the semantics of hot-swapping? For, example, somewhere in memory you have a thunk of expression e. Now the user wants to upgrade e to e'. Would you require all thunks to be modified? A similar problem occurs with stack frames. You'd also have to make sure that e and e' have the

Re: [Haskell-cafe] Design for 2010.2.x series Haskell Platform site

2010-07-16 Thread Thomas Schilling
the site wiki upgraded and to what version will it be? If we're looking at another couple of weeks I'll come up with a new wiki template this weekend to replace the current one.    For haskell.org? Thomas Schilling and Ian Lynagh are working on that    (CC'd). Regarding the Haskell Platform, maybe

Re: [Haskell-cafe] Docs on the current and future constraint solver?

2010-07-14 Thread Thomas Schilling
The latest work is OutsideIn(X): http://www.haskell.org/haskellwiki/Simonpj/Talk:OutsideIn This is quite long paper. It describes a framework for constraint-based type inference and then instantiates it with a constraint solver that supports type families, GADTs and type classes.

Re: [Haskell-cafe] Why Either = Left | Right instead of something like Result = Success | Failure

2010-05-27 Thread Thomas Schilling
It's indeed arbitrary. Other common names are Inl and Inr (presumably standing for inject left/right). Some Haskell project do indeed use a more specific name. The advantage of using the generic Left/Right is reusability of library code. The particular name of the datatype and its constructors

Re: [Haskell-cafe] Performance Issue

2010-05-22 Thread Thomas Schilling
On 22 May 2010 16:06, Daniel Fischer daniel.is.fisc...@web.de wrote: On Saturday 22 May 2010 16:48:27, Daniel Fischer wrote: The boxing is due to the use of (^). If you write x*x instead of x^2, it can use the primop *## and needn't box it. As a side effect, the original time leak probably

Re: [Haskell-cafe] making the GHC Api not write to stderr

2010-05-21 Thread Thomas Schilling
You could try changing the log_action[1] member of the DynFlags. A while ago I turned most printed errors into some form of error message, but I wouldn't be surprised if I missed some places. All output should go through log_action, though, so try changing that to intercept any output. [1]:

Re: [Haskell-cafe] executeFile failing on macosx

2010-05-16 Thread Thomas Schilling
Works fine on 10.6.3. If you run with +RTS -N2, though, you'll get forking not supported with +RTS -Nn greater than 1 The reason for this is that forking won't copy over the threads which means that the Haskell IO manager stops working (you'd have to somehow reinitialise the RTS while leaving

Re: [Haskell-cafe] ghc api renamed source

2010-05-12 Thread Thomas Schilling
The difficulty is that renamer and type-checker are mutually recursive because of Template Haskell. I've been looking into this a while ago and I have a basic idea how a better API could look like, but I haven't sorted out the details. One very hacky workaround -- and I'm not sure whether it can

Re: [Haskell-cafe] GHC 6.12 on OS X 10.5

2010-05-08 Thread Thomas Schilling
Building from source alone didn't help, but building from source together with the following extra lines to .cabal/config worked: extra-lib-dirs: /usr/lib extra-lib-dirs: /opt/local/lib This is not an ideal solution because this means that any OS X library will shadow the corresponding Macports

[Haskell-cafe] Re: Is anyone using Haddock's support for frames?

2010-05-05 Thread Thomas Schilling
Ok, I think I should clarify. I believe that the framed view with a long list of modules on the left and the haddocks on the right is still useful. What I don't mind getting rid off is the third frame which shows the contents of the mini_* files. I would have preferred to have something similar

[Haskell-cafe] Re: Is anyone using Haddock's support for frames?

2010-05-04 Thread Thomas Schilling
I think it will no longer be needed once Haddock outputs table-less layout code. Frames caused problems with the back-button, so they weren't really an improvement. A simple CSS float:right + smaller font on the div containing the index would be a lot better. I think it would be best to keep

Re: [Haskell-cafe] Haskell (wiki) Logo license

2010-04-23 Thread Thomas Schilling
It was posted to the Wiki, IIUC. Anything posted to the wiki is implicitly licensed by the wiki license: http://haskell.org/haskellwiki/HaskellWiki:Copyrights On 23 April 2010 07:10, Jens Petersen peter...@haskell.org wrote: Hi, We use the Haskell Logo in Fedora OS installer for the Haskell

Re: [Haskell-cafe] GHC Api typechecking

2010-04-18 Thread Thomas Schilling
Looking at the code for GHC, it turns out that your use case is not supported. It is not allowed to have in-memory-only files. If you specify a buffer it will still try to find the module file on the disk, but it will (or at least should) use the contents from the specified string buffer. I've

Re: [Haskell-cafe] ghc #defines

2010-04-14 Thread Thomas Schilling
__NHC__ is defined when the code is compiled with the nhc98 compiler [1]. Similarly Hugs is another Haskell implementation. [1]: http://www.haskell.org/nhc98/ On 14 April 2010 11:36, gladst...@gladstein.com wrote: I may need to put some #ifdef conditionalizations into some cross-platform

Re: [Haskell-cafe] Difficulties installing LLVM bindings

2010-04-09 Thread Thomas Schilling
Bryan said a while ago that Manuel Chakravarty had some Mac related patches for LLVM, don't know if they have been integrated yet. On 9 April 2010 23:11, Max Bolingbroke batterseapo...@hotmail.com wrote: On 9 April 2010 18:38, Aran Donohue aran.dono...@gmail.com wrote: Hi Haskell-Cafe, I can't

Re: [Haskell-cafe] Re: Haskell.org re-design

2010-04-07 Thread Thomas Schilling
Yup, I have to agree. The Ruby web site certainly is the best web site for a programming language that I've come across, but it's certainly not amazing. I like the python documentation design, but their home page is a bit dull. Anyway, here's another variation, this time with more colour:

Re: [Haskell-cafe] Re: Haskell.org re-design

2010-04-07 Thread Thomas Schilling
), or by putting a translucent box around the text so that we can still see the background but it's faded a bit so that the text still shows up. Cheers, Greg On Apr 7, 2010, at 9:53 AM, Thomas Schilling wrote: Yup, I have to agree.  The Ruby web site certainly is the best web site for a programming

  1   2   3   >