Re: [Haskell-cafe] Literate haskell format unclear (implementation and specification inconsistencies)

; \end{code} I don't have an opinion on whether or not this should be allowed as I don't think you should do it anyway, but you are right that it should be clearly defined. > Note I didn't rely on the layout rule. This should work: > [TeXBirdtrack/AlignedLayout]-----

Re: [Haskell-cafe] Build failed - hidden package ?

file. When cabal builds a package with GHC it hides all packages and then only exposes those which are listed as dependencies. If you are compiling by hand then add the -package base flag to the commandline. Thanks Ian ___ Haskell-Cafe mailing

Re: [Haskell-cafe] haskell-art mailing list

Perhaps adding a list of links to Haskell-related-lists on http://www.haskell.org/haskellwiki/Mailing_lists would be best? Thanks Ian ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] Re: Saving the AST generated by Template Haskell

to Derive lift for existing types. It doesn't cover all cases, but it should be easy enough to complete if someone is motivated to. I haven't tried to see if it is already enough to cover the TH datatypes themselves. Thanks Ian ___ Haskell-Cafe m

Re: [Haskell-cafe] Timezone Database Library

On Fri, Feb 02, 2007 at 01:54:13PM +, Martin Percossi wrote: > Hello, is there a haskell library that provides facilities to read and > use the tzfile format [1], or equivalent in Windows? Not as far as I am aware. Thanks Ian ___ Haskel

Re: [Haskell-cafe] Fractional sqrt

applying patches in the future might break them again. Thanks Ian ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] mtl vs monads

On Tue, Jan 02, 2007 at 01:36:14PM -0800, Conal Elliott wrote: > Are the mtl and monads (monadLib) packages both in active use? Is one being > phased out? - Conal My impression is that mtl is the one that everyone is using. Thanks Ian ___ H

Re: [Haskell-cafe] GHC performance of 64-bit

imes: Is it possible to send us the actual code you were using please? Thanks Ian ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] less than helpful GHC error message

On Wed, Dec 13, 2006 at 04:02:18PM -0600, Nicolas Frisby wrote: > > $ ghc --make Main > > : file name does not match module name `Main' Thanks for the report; the HEAD and 6.6 branch now say: Test.hs:1:0: file name does not match module name `Main' so this will be fixed

Re: [Haskell-cafe] build error with happy-1.15 on ghc-6.6

ase candidate: http://haskell.org/happy/happy-1.16rc2.tar.gz Thanks Ian ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] State separation/combination pattern question

ing and undecidable instances then you don't need to manually lift things at all. Thanks Ian {-# OPTIONS_GHC -fglasgow-exts -fallow-overlapping-instances -fallow-undecidable-instances #-} import Control.Monad.Trans (MonadTrans) import Control.Monad.State

Re: [Haskell-cafe] porting ghc

On Sun, Dec 31, 2006 at 02:39:33PM +, Ian Lynagh wrote: > > > http://haskell.org/ghc/docs/6.6/html/building/sec-porting-ghc.html I've been reminded that the building guide is being moved to the wiki, so http://hackage.haskell.org/trac/ghc/wiki/Building (in p

Re: [Haskell-cafe] porting ghc

y. If you search for "alpha" in that file then you should find the stanzas. Just copy/paste a similar one and update it for Alpha NetBSD. Thanks Ian ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] Fwd: Build failure on FC6, ghc66

On 16/12/06, Ian Lynagh <[EMAIL PROTECTED]> wrote: Hi Conrad, On Mon, Dec 11, 2006 at 09:56:35AM +0900, Conrad Parker wrote: > > I received the following bug report from someone trying to build HOgg > on Fedora Core 6 (FC6) with its ghc66 package. The build error is: >

Re: [Haskell-cafe] Fwd: Build failure on FC6, ghc66

ny clues? Did you comment out the GHC 6.4 Build-Depends: and uncomment the GHC 6.6 Build-Depends:? It sounds like you might have done the commenting out, but not the uncommenting? Thanks Ian ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] Stack, Heap and GHC

[] -> (((0+1)+1)+1) Now we need to evaluate (((0+1)+1)+1) to get the final answer. You can imagine a simple recursive evaluation function which, in the call evaluate (((0+1)+1)+1) recursively calls evaluate ((0+1)+1) which recursively calls evaluate (0+1) and it is this recursion that has a stack that overflows. Thanks Ian ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] SMP support in GHC 6.6 on PPC Macs

sion I built from sources. > > I got rid of all the old versions of GHC on my system and ghc -- > version reports 6.6. So I'm guessing this is a bug? PowerPC isn't listed as an arch that supports SMP, but I can't see a reason why it shouldn't be. I'

Re: [Haskell-cafe] non-blocking Socket

nLDAP interface, > that's effectively the same as a blocking socket created in Haskell, > so whatever problem with one is the same with the other, right? The same problems occur, yes. If you want it to use an OS thread then use the threadsafe safety modifier on the forei

Re: [Haskell-cafe] File locked unnecessarily

On Sun, Dec 03, 2006 at 08:13:37PM +0100, Arie Peterson wrote: > > Does anyone know what could cause this locking and/or how to prevent it? Nothing else springs to mind. Are you able to send an example that shows the problem? (obviously the smaller the example, the better). Than

Re: [Haskell-cafe] known, I know: class contexts and mutual recursion

wondering what the story is. I mean, is there some nasty > problem lurking here which prevents the lifting of this peculiar > restriction? I don't know either, but this sounds like a good thing to bring up for Haskell' if no-one has already. Thanks Ian

Re: [Haskell-cafe] Re: help with threadDelay

rly. Ah, I see. Timing how long a threadDelay 1 takes and subtracting that from future threadDelays is probably the best answer. Thanks Ian ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] Re: help with threadDelay

On Wed, Nov 22, 2006 at 03:37:05PM +, Neil Davies wrote: > Ian/Simon(s) Thanks - looking forward to the fix. I've now pushed it to the HEAD. > It will help with the real time enviroment that I've got. Lazy evaluation and GHC's garbage collector will probably cause heada

Re: [Haskell-cafe] Difficult memory leak in array processing

e this. Can you tell us exactly what commandline you are using to compile and run the program please? Thanks Ian ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] help with threadDelay

symptoms with the non-threaded RTS with +RTS -V0.001, although they are less frequent. I suspect we need a similar fix to target = (R1 / (TO_W_(RtsFlags_MiscFlags_tickInterval(RtsFlags))*1000)) + time; in delayzh_fast in PrimOps.cmm. Thanks Ian _

Re: [Haskell-cafe] Haskellers in London (UK)?

kell/2006-October/018635.html ? Not quite London, but close. See http://www.oxfordbus.co.uk/espress1.shtml or http://www.oxfordtube.com/ for public transport between London and Oxford. Thanks Ian ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http:

Re: [Haskell-cafe] searching haskell.org

a search with something like google restricted to the site might be useful. Thanks Ian ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] Profiling CAFs (re-post)

-caf-all Main.hs -o Main # (ghc 6.4) > /tmp/ghc22775.hc:1475: error: redefinition of `Mainmain_CAF_cc_ccs' > /tmp/ghc22775.hc:1470: error: `Mainmain_CAF_cc_ccs' previously defined here Hmm, filed as http://hackage.haskell.org/trac/ghc/ticket/931 Thanks Ian

Re: [Haskell-cafe] Profiling CAFs (re-post)

ime and space consumption from elsewhere, but nothing in the > list would allow for such a rich inheritage? I didn't understand that. If it's possible to give a small example then that might help? Thanks Ian ___ Haskell-Cafe mail

Re: [Haskell-cafe] Re: Derived Read instance for types with infix constructors (ghc 6.4.1)

show (A `And` A) "A `And` A" *Main> read (show (A `And` A)) :: T A `And` A (recent 6.5 also seems fine). Thanks Ian ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] Is id strict?

ing the value" in the above means evaluating to weak head normal form). Hope that helps. Thanks Ian ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] Re: [haskell] ANNOUNCE: HNOP 0.1

able-checking=release i486-linux-gnu Thread model: posix gcc version 4.1.2 20060613 (prerelease) (Debian 4.1.1-5) Amd64 doesn't seem to be afflicted. Thanks Ian [EMAIL PROTECTED]:~/debug$ ghc -O -split-objs -c Foo.hs -v -keep-tmp-files Glasgow Haskell Compiler, Version 6.4.2, for H

[Haskell-cafe] Re: Packages and modules

ecial layout rule that would give a desugaring into from "base" {import > ...} It would only be slightly different to the current rules (it would be if the second lexeme after "from" was not '{', rather than the first), although now you mention it this would be an

Re: [Haskell-cafe] Re: [haskell] ANNOUNCE: HNOP 0.1

[resending as the original seems to have been silently eaten; attachements are at http://urchin.earth.li/~ian/splitting/ ] On Fri, Jun 30, 2006 at 03:45:57PM -0700, mvanier wrote: > > I'm at a loss here. Somehow, the SplitObjs option doesn't seem to be doing > the job. An

Re: [Haskell-cafe] Packages and modules

import Baz.Quux as Gtk2.Baz.Quux If we have gtk-1.something and gtk-2.something (rather than gtk1-version and gtk2-version as above) then we'd probably instead want the wiki's -package gtk-2.0.1=Gtk2 which could be generated due to a .cabal build-depends of gtk (>= 2) as Gt

Re: [Haskell-cafe] Re: Space usage problems

e in MissingH 0.13, i recommend you > try to use DiffUArray instead of Array The code in missingh is old, entirely unoptimised and quite possibly slightly buggy, incidentally. Thanks Ian ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] Re: Space usage problems

On Wed, Jan 11, 2006 at 03:00:45PM +, Simon Marlow wrote: > Ian Lynagh wrote: > >On Wed, Jan 11, 2006 at 10:36:47AM +, Simon Marlow wrote: > > > >>My suggestion: don't use the lazy state monad if you can help it. > > > >But a strict state monad

Re: [Haskell-cafe] Re: Space usage problems

ve to tread carefully to keep this optimisation happy until the GCer is improved? Thanks Ian ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] Space usage problems

On Tue, Jan 10, 2006 at 04:44:33PM +, Ian Lynagh wrote: > > readChunks :: FirstMonad String > readChunks = do xs <- get > if null xs then return [] >else do let (ys, zs) = foo xs >

Re: [Haskell-cafe] Space usage problems

On Tue, Jan 10, 2006 at 05:28:03PM +, Chris Kuklewicz wrote: > I'll make a guess... > > Ian Lynagh wrote: > > Hi all, > > > > foo :: String -> (String, String) > > foo = runState bar > > > > bar :: SecondMonad St

[Haskell-cafe] Space usage problems

e caller's remaining input was updated as we went along, but (as well as memory usage not obviously being fixed) this is giving me a stack overflow. Has anyone got any suggestions for making a constant space, constant stack version? Thanks Ian module Main (main) where import Control.Monad

[Haskell-cafe] Re: [darcs-conflicts] how to nicely implement phantom type coersion?

ng in for Patch, PatchList etc and some concrete types as parameters to simplify things) sc (undefined :: Either Int Char) :: Either Int Bool is well-typed but sc (undefined :: Either Int Char) :: Either String Char isn't. Is that what you want? Thanks Ian

Re: [darcs-users] Re: [Haskell-cafe] fptools in darcs now available

d only some of the changes you have made to the main repo if you also have some unfinished stuff you are working on. You can also do all this while on a plane, without bandwidth at a conference, or whatever. Thanks Ian ___ Haskell-Cafe mailing list Has

Re: [Haskell-cafe] invalid character encoding

On Sun, Mar 20, 2005 at 01:33:44AM +, [EMAIL PROTECTED] wrote: > On Sat, Mar 19, 2005 at 07:14:25PM +0000, Ian Lynagh wrote: > > > Most importantly, though: is there any way to remove this file without > > doing something like an FFI import of unlink? > > > >

Re: [Haskell-cafe] invalid character encoding

On Wed, Mar 16, 2005 at 11:55:18AM +, Ross Paterson wrote: > On Wed, Mar 16, 2005 at 03:54:19AM +0000, Ian Lynagh wrote: > > Do you have a list of functions which behave differently in the new > > release to how they did in the previous release? > > (I'm not inter

Re: [Haskell-cafe] invalid character encoding

On Thu, Mar 17, 2005 at 06:22:25AM +, Ian Lynagh wrote: > > [in brief: hugs' (hPutStr h) now behaves differently to > (mapM_ (hPutChar h)), and ghc writes the empty string for both when > told to write "\128"] Ah, Malcolm's commit messages have just remi

Re: [Haskell-cafe] invalid character encoding

,2 ! Type :? for help Hugs:[Leaving Hugs] --- 1,3 ! ERROR "static/mod154.hs" - Conflicting exports of entity "sort" ! *** Could refer to Data.List.sort or M.sort Hugs:[Leaving Hugs] Thanks Ian ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] invalid character encoding

On Tue, Mar 15, 2005 at 10:44:28AM +, Ross Paterson wrote: > On Mon, Mar 14, 2005 at 07:38:09PM -0600, John Goerzen wrote: > > I've got some gzip (and Ian Lynagh's Inflate) code that breaks under > > the new hugs with: > > > > : IO.getContents: proto

Re: [Haskell-cafe] Sound library?

On Fri, Dec 03, 2004 at 10:56:24AM -0500, Jason Bailey wrote: > > Would anyone know of packages out there for Haskell that support mp3's > or ogg files? I have a (partial, I think) binding for gstreamer: http://urchin.earth.li/~ian/minstrel/ (you only need GHC 6.3 for hcurses,

Re: [Haskell-cafe] Re: Efficient or predictable Ord for Typeable

gram. It just won't necessarily give the same answer next time you run the program. No call-by-name rewrites are broken, but something is certainly strange. -- Ian Stark http://www.ed.ac.uk/~stark LFCS, School of Informatics, The University of Edinburgh, Scotla

RE: [Haskell-cafe] Re: [Haskell] Re: Global Variables and IOinitializers

:-( Is there some way to insert a newtype, so that just one instance becomes visible? -- Ian Stark http://www.ed.ac.uk/~stark LFCS, School of Informatics, The University of Edinburgh, Scotland ___ Haskell-Cafe mailing li

Re: [Haskell-cafe] Execution Contexts

d take advantage of affine central actions being well-behaved. But not vital. Ian ___ Haskell-Cafe mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] Execution Contexts

th its own local context, is harder. I suspect that, yes, as soon as you want to have more than one execution context simultaneously, then you need to manage them. For which XIO seems to do the job. Ian -- Ian Stark http://www.ed.ac.uk/

Re: [Haskell-cafe] Execution Contexts

reset it? > I am almost sure that even the trick of indexing the dictionary via > types (and thus the dependency on Data.Typeable and ghc extensions) can > be avoided with a little more effort. Another global MVar to issue a sequence of unique index keys? Ian -- Ian Stark

Re: [Haskell-cafe] Re: Yet another IO initializer: Effectful declarations and an ACIO monad

On Fri, 26 Nov 2004, Jules Bean wrote: On 26 Nov 2004, at 12:08, George Russell wrote: > Yes, you need to explicitly initialise it; but you don't need then to > pass the initialized handle all around your code. The painful plumbing > goes away. I think this is either unwieldy or inefficient. Im

[Haskell-cafe] Re: Yet another IO initializer: Effectful declarations and an ACIO monad

On Fri, 26 Nov 2004, George Russell wrote: > Ian Stark wrote (snipped): > > Way back in this thread, Koen Claessen mentioned the idea of a commutative > > version of the IO monad for handling things with identity. That doesn't > quite > > do it, but I have a refi

Re: [Haskell-cafe] Yet another IO initializer: Effectful declarations and an ACIO monad

ithin the limits of dataflow dependencies between the values. Working out these dependencies are the job of a compiler, exactly as with standard value declarations in Haskell. I think it should even be possible to have mutually recursive ACIO declarations, provided non-strict constructors intervene.

[Haskell-cafe] Yet another IO initializer: Effectful declarations and an ACIO monad

entral; which means they could be put in ACIO and used as declarations instead. -- Ian Stark http://www.ed.ac.uk/~stark LFCS, School of Informatics, The University of Edinburgh, Scotland ___ Haskell-Cafe mailing list [EM

Re: new debian packages and archive: haskell experimental

ese packages are just recompiled for stable, they aren't functionally different. Thanks Ian ___ Haskell-Cafe mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: Template Haskell question

an only splice in expressions and declarations at the moment. Ian ___ Haskell-Cafe mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: syntax...(strings/interpolation/here docs)

of relatively large and complex bodies of code. That advantage is forfeited when trying to interface directly to messy GUI toolkits (and _all_ GUI toolkits in existence are messy). Significant applications, yes; but only the _back-ends_ of such applications. -- Ian Zimmerman, Oakland, California, U.S

Re: character syntax

brian> If you think about languages that have been designed to be easy brian> to parse, are these really languages that you would want to brian> use? No, but for different (semantical) reasons. -- Ian Zimmerman, Oakland, California, U.S.A. GPG: 433BA087 9C0F 194F 203A 63F7 B1B8

Re: character syntax

f there in fact were an equally innovative tool capable of providing all the editing goodies Emacs normally does, for Haskell. But I don't know of one, even now, 10 years or so after Haskell's birth. -- Ian Zimmerman, Oakland, California, U.S.A. GPG: 433BA087 9C0F 194F 203A 63F7 B1B8

Re: character syntax

by \" :-( The second one is because the haskell mode tries to handle comments on its own (and fails), since once again Haskell comments can't be handled by the normal mechanism -- partly because of nested comments, but even the line tail comments are weird due to the single-token ru

Re: character syntax

sion on part of the editor, as far as I can see. I actually plan to do something like this, let c s = head s let lparen = c"(" to avoid using character literals at all. I was just wondering if someone had a better idea. Please read my original post again if you don't understand w

character syntax

ey realize what they were doing to would-be intelligent editors? Or were they just a bunch of rabid ed users? Has anyone found a way to deal with this in Emacs, _correctly_? That is, among other things, '(' should be ignored for sexp parsing... -- Ian Zimmerman, Oakland, California, U

Re: gconsym

In fact, I think making explicit all the things which can take a precedence or associativity would be useful. Thanks Ian ___ Haskell-Cafe mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell-cafe

gconsym

Just to make sure I am interpreting the report correctly, is ":" meant to be a valid qconop regardless of the precedence-level and associativity of the qconop? Thanks Ian ___ Haskell-Cafe mailing list [EMAIL PROTECTED] http://www.h

Re: let/where

$ show $ if maybe_index == Nothing then DP_Unknown else DP_Number index Nothing -> error "No index found" As for let versus where, I use whateve

Various software and a question

I don't know if this sort of thing is of interest to anyone, but inspired by the number of people who looked at the MD5 stuff I thought I might as well mention it. I've put all the Haskell stuff I've written at http://c93.keble.ox.ac.uk/~ian/haskell/ (although I'm new at this ga

<    1   2   3