Re: [GHC] #5032: putting left equation sides in parantheses causes GHC.Prim.Any specialization
#5032: putting left equation sides in parantheses causes GHC.Prim.Any specialization ---+ Reporter: jeltsch | Owner: Type: bug | Status: closed Priority: normal| Milestone: Component: Compiler |Version: 6.12.1 Resolution: wontfix | Keywords: Testcase:| Blockedby: Difficulty:| Os: Linux Blocking:| Architecture: x86_64 (amd64) Failure: None/Unknown | ---+ Comment(by tsuyoshi): Replying to [comment:1 igloo]: Technically it's a bug, as `MonoPatBinds` isn't standard, but it's a deliberate bug, so I'll close as won't-fix. I doubt that it is intentional that GHCi decides an unspecified monomorphic type variable to be GHC.Prim.Any. -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/5032#comment:2 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler ___ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
Re: [GHC] #3557: CPU Vector instructions in GHC.Prim
#3557: CPU Vector instructions in GHC.Prim -+-- Reporter: guest |Owner: vivian Type: feature request | Status: new Priority: normal|Milestone: _|_ Component: Compiler (NCG)| Version: 6.11 Keywords:| Testcase: Blockedby:| Difficulty: Unknown Os: Unknown/Multiple | Blocking: Architecture: Unknown/Multiple | Failure: None/Unknown -+-- Changes (by jmcarthur): * cc: Jake.McArthur@… (added) -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/3557#comment:32 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler ___ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
Re: [GHC] #5032: putting left equation sides in parantheses causes GHC.Prim.Any specialization
#5032: putting left equation sides in parantheses causes GHC.Prim.Any specialization ---+ Reporter: jeltsch | Owner: Type: bug | Status: closed Priority: normal| Milestone: Component: Compiler |Version: 6.12.1 Resolution: wontfix | Keywords: Testcase:| Blockedby: Difficulty:| Os: Linux Blocking:| Architecture: x86_64 (amd64) Failure: None/Unknown | ---+ Comment(by batterseapower): Replying to [comment:2 tsuyoshi]: I doubt that it is intentional that GHCi decides an unspecified monomorphic type variable to be GHC.Prim.Any. I think this is the only reasonable thing that can happen. If you have a type (a - a) that you need to be monomorphic, by definition you can't use (forall a. a - a). So you have to instantiate the a with some type - in this case GHC.Prim.Any, which at least makes it clear what is going on. What were you expecting to happen? -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/5032#comment:3 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler ___ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
Re: [GHC] #5032: putting left equation sides in parantheses causes GHC.Prim.Any specialization
#5032: putting left equation sides in parantheses causes GHC.Prim.Any specialization ---+ Reporter: jeltsch | Owner: Type: bug | Status: closed Priority: normal| Milestone: Component: Compiler |Version: 6.12.1 Resolution: wontfix | Keywords: Testcase:| Blockedby: Difficulty:| Os: Linux Blocking:| Architecture: x86_64 (amd64) Failure: None/Unknown | ---+ Comment(by tsuyoshi): Replying to [comment:3 batterseapower]: What were you expecting to happen? I would expect an error or a warning. Another option which seems reasonable is to allow a monomorphic type variable as in the OCaml toplevel. -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/5032#comment:4 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler ___ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
Re: [Haskell] A opportunity to lern (parsing huge binary file)
The uu-parsing library support every ata type that is an instance of Data.Listlike (http://hackage.haskell.org/packages/archive/ListLike/3.0.1/doc/html/Data-ListLike.html#t:ListLike) and thus input from Data.Bytestring.Lazy. A very small starting program can be found below. Note that here we ask for the error correction during parsin at the end of the processing; that is probably something you do not want to do, unless you only keep a very small part of the input in the result. The parsers are online, do not hang on to the input and thus you essentially only access and keep the part of the result you are interested in. We find it a great help to have the error correction at hand since it makes it a lot easier to debug your parser. Here we just recognise any list of Word8's. Doaitse {-# LANGUAGE MultiParamTypeClasses #-} module ReadLargeBinaryFile where import Text.ParserCombinators.UU import Text.ParserCombinators.UU.BasicInstances import Data.Word import Data.ByteString.Lazy (ByteString,readFile) import Prelude hiding (readFile) type BS_Parser a = P (Str Word8 ByteString Integer) a instance IsLocationUpdatedBy Integer Word8 where advance pos _ = pos + 1 p:: BS_Parser [Word8] p = pList (pSatisfy (const True) (Insertion 0 0) ) main filename = doinp - readFile filename let r@(a, errors) = parse ( (,) $ p * pEnd) (createStr 0 inp) putStrLn (-- Result: ++ show a) if null errors then return () else do putStr (-- Correcting steps: \n) show_errors errors putStrLn -- where show_errors :: (Show a) = [a] - IO () show_errors = sequence_ . (map (putStrLn . show)) interface and that exists for Data. On 10 mrt 2011, at 16:36, Skeptic . wrote: Hi, I finally have an opportunity to learn Haskell (I'm a day-to-day Java programmer, but I'm also at ease with Scheme), parsing a huge (i.e. up to 50 go) binary file. The encoding is very stable, but it's not a flat struct array (i.e. it uses flags). Different outputs (i.e. text files) will be needed, some unknown at this time. Sounds to me a perfect real-world task to see what Haskell can offer. Any suggestions at how to structure the code or on which packages to look at is welcome. Thanks. ___ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell ___ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell
Re: [Haskell-cafe] Anyone recommend a VPS?
Does anyone have any Binaries that are built to run on EC2? That would be super! On Tue, Feb 2, 2010 at 1:11 AM, Jason Dusek jason.du...@gmail.com wrote: 2010/01/31 Marc Weber marco-owe...@gmx.de: If all you want is standard debian or such it does'nt matter. However I tried installing NixOS Linux and I've had lot's of trouble until switching to linode. NixOS was up and running within 30min then.. How did you get NixOS on your Linode system? They don't seem to offer it, last I checked. I'm looking in to doing this with PRGMR, which has pretty good pricing though it's not nearly as featureful as Linode. -- Jason Dusek ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
Re: [Haskell-cafe] Anyone recommend a VPS?
If you need to run your server continuously you might be better off with a cheap dedicated server. To run my quid2.org site, a rather complex setup with a web server and a number of background haskell processes, I use a server from the French provider OVH/Kimsufi (http://www.kimsufi.co.uk/ and http://www.ovh.co.uk/products/dedicated_offers.xml ,main site is ovh.com). You can get a decent box for 15 euro a month and a hell of a machine for 50/60 euros. They also have some Cloud/VPS options, that I have not used. Does anyone have first-hand experience with Amazon EC2? They also look very tempting. Best, titto On 19 March 2011 10:12, Lyndon Maydwell maydw...@gmail.com wrote: Does anyone have any Binaries that are built to run on EC2? That would be super! On Tue, Feb 2, 2010 at 1:11 AM, Jason Dusek jason.du...@gmail.com wrote: 2010/01/31 Marc Weber marco-owe...@gmx.de: If all you want is standard debian or such it does'nt matter. However I tried installing NixOS Linux and I've had lot's of trouble until switching to linode. NixOS was up and running within 30min then.. How did you get NixOS on your Linode system? They don't seem to offer it, last I checked. I'm looking in to doing this with PRGMR, which has pretty good pricing though it's not nearly as featureful as Linode. -- Jason Dusek ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe -- Dr. Pasqualino Titto Assini http://quid2.org/ ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
Re: [Haskell-cafe] Anyone recommend a VPS?
Hi We run a the whole of our distributed file system (AFS) on a single AWS micro instance with linux containers inside. We then use other instances for various things as/when needed (using kerberos to distributed the management and control to the appropriate people). For example we have a EC2 machine that we power up and down as needed (still have to pay for the filestore when not being used - but that is very small) for GHC - used it this morning to upgrade our shared (via AFS) development environment to 7.0.2. All our other systems read of that (we are completely distributed operation). They've been great - had a physical processor go bad once - and also they had a h/w problem on one the machines once, that is in last 2 years or so about 6 operational system years. Neil On 19 Mar 2011, at 11:36, Pasqualino Titto Assini wrote: If you need to run your server continuously you might be better off with a cheap dedicated server. To run my quid2.org site, a rather complex setup with a web server and a number of background haskell processes, I use a server from the French provider OVH/Kimsufi (http://www.kimsufi.co.uk/ and http://www.ovh.co.uk/products/dedicated_offers.xml ,main site is ovh.com). You can get a decent box for 15 euro a month and a hell of a machine for 50/60 euros. They also have some Cloud/VPS options, that I have not used. Does anyone have first-hand experience with Amazon EC2? They also look very tempting. Best, titto On 19 March 2011 10:12, Lyndon Maydwell maydw...@gmail.com wrote: Does anyone have any Binaries that are built to run on EC2? That would be super! On Tue, Feb 2, 2010 at 1:11 AM, Jason Dusek jason.du...@gmail.com wrote: 2010/01/31 Marc Weber marco-owe...@gmx.de: If all you want is standard debian or such it does'nt matter. However I tried installing NixOS Linux and I've had lot's of trouble until switching to linode. NixOS was up and running within 30min then.. How did you get NixOS on your Linode system? They don't seem to offer it, last I checked. I'm looking in to doing this with PRGMR, which has pretty good pricing though it's not nearly as featureful as Linode. -- Jason Dusek ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe -- Dr. Pasqualino Titto Assini http://quid2.org/ ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
Re: [Haskell-cafe] Cabal test interface, what/where is it?
On Fri, Mar 18, 2011 at 06:47:58PM -0500, Thomas Tuegel wrote: On Fri, Mar 18, 2011 at 3:51 PM, Magnus Therning mag...@therning.org wrote: On Fri, Mar 18, 2011 at 09:35:51PM +0100, JP Moresmau wrote: Hello, the following URL contains some useful information: http://www.haskell.org/cabal/release/cabal-1.10.1.0/doc/users-guide/#test-suites Hope this helps, That answered some questions, and I know have my test building again. Without warnings :-) However, I can't seem to get the test's sources included in the tar-ball created by 'sdist'. Is there some trick to it? This is a known bug. A patch is available, so it should be fixed in the next version. How irritating! I'll just have to live with the warning then, until a fixed version is included in HP. /M -- Magnus Therning OpenPGP: 0xAB4DFBA4 email: mag...@therning.org jabber: mag...@therning.org twitter: magthe http://therning.org/magnus I invented the term Object-Oriented, and I can tell you I did not have C++ in mind. -- Alan Kay pgpXecwVInxYd.pgp Description: PGP signature ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
[Haskell-cafe] [haskell-gsoc] Haskell.org Google Summer of Code 2011
It is that time of year again. The Google Summer of Code is upon us! *Sign Up Information* If you are a student and want to sign up to make $5,000 for hacking on the code you love over the summer or are willing to help out as a mentor, now is the time to act. Please sign up by adding your name to the list at: http://hackage.haskell.org/trac/summer-of-code/wiki/People2011 Our main wiki entry for the Summer of Code 2010 is now online: http://hackage.haskell.org/trac/summer-of-code/wiki/Soc2011 If you are interested in applying as a student, here are some guidelines: http://hackage.haskell.org/trac/summer-of-code/wiki/StudApply2011 The official deadline for student applications with Google is April 8th, but if you are interested please add your name to the People2010 page above, as soon as possible. *Interested in helping out, but not sure how? * There are a number of ideas that we've been collecting for projects available through the trac http://hackage.haskell.org/trac/summer-of-code/report/1 and which have been collecting over time in a reddit: http://www.reddit.com/r/haskell_proposals/top/ http://www.reddit.com/r/haskell_proposals/top/Unfortunately, reddit doesn't let you comment on topics after they become archived, and most of the topics in the haskell_proposals reddit have been. While the reddit is a great place to discuss proposals, we had to choose one mechanism to supply Google with our ideas officially, so please submit proposals http://hackage.haskell.org/trac/summer-of-code/newticket to the trac once you have hashed out something you like to work on, or which would be an appropriately beneficial project for a summer worth of work. *Helping Out Darcs * Haskell.org http://haskell.org/ is going to continue to act as an umbrella organization covering darcs http://darcs.net/ for the Summer of Code once more. If you are interested in helping them out, they also have a page full of project ideas as well: http://wiki.darcs.net/GoogleSummerOfCode Again, please submit proposalshttp://hackage.haskell.org/trac/summer-of-code/newticket as tickets to the trac if you can think of something you'd like to work on. *More Information* Here are a bunch of relevant links that may be able to answer your questions: Google's Summer of Code Homepage http://socghop.appspot.com/ Google's Summer of Code 2011 FAQhttp://socghop.appspot.com/document/show/gsoc_program/google/gsoc2011/faqs Google's Summer of Code 2011 Timelinehttp://socghop.appspot.com/document/show/gsoc_program/google/gsoc2011/timeline Google's Summer of Code Wiki Knowledge Basehttp://code.google.com/p/google-summer-of-code/wiki/WikiStart Of course, you can always feel free to email me ekm...@gmail.com or inquire on irc.freenode.net #haskell-soc or with the darcs folks over on #darcs for more information. If you don't have an IRC client, you can get there from: http://webchat.freenode.net Thank you all very much and we look forward to another successful Summer of Code! -Edward Kmett ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
[Haskell-cafe] Gtk2hs multiple column TreeView with ListStore issue
I cannot force GTK to render data in TreeView with ListStore model with multiple columns through Haskell. I have the following code addTextColumn view name = do col - treeViewColumnNew rend - cellRendererTextNew treeViewColumnSetTitle col name treeViewColumnPackStart col rend True treeViewColumnSetExpand col True treeViewAppendColumn view col prepareTreeView view = do addTextColumn view column1 addTextColumn view column2 --adding data here Then I try to add some data, and there are problems. I tried these: --variant 1 (data TRow = TRow {one::String, two::String} model - listStoreNew ([] :: [TRow]) listStoreAppend model $ TRow { one = Foo, two = Boo } treeViewSetModel view model --variant 2 model - listStoreNew ([] :: [[String]]) listStoreAppend model [foo,boo] treeViewSetModel view model --variant 3 model - listStoreNew ([] :: [(String, String)]) listStoreAppend model (foo, boo) treeViewSetModel view model But in all cases I see the table with column header and one blank row inserted. Any help will be appreciated. ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
[Haskell-cafe] Trac login problem
Hi, I have a problem while trying to login to Haskell Trac instance. Entering the username and password that I know are valid gives me a login error. Trying to recover the password with the mail address that I use gives another error saying that there is no combination between the username and the mail. And, when trying to recreate the account if correctly complains that there is a valid username already. Can someone, please, look into it? Thanks, -- Mihai ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
Re: [Haskell-cafe] Trac login problem
I've experienced very similar problems several times on both the ghc and cabal trac instances. I think resetting your password is (or was) breaking accounts. Now I just stick to guest login accounts on all the haskell.org trac instances. Ideally, all the trac instances, haskell wiki and etc, used a common identity system such as openid so we wouldn't need so many accounts. On Mar 19, 2011 11:28 AM, Mihai Maruseac mihai.marus...@gmail.com wrote: Hi, I have a problem while trying to login to Haskell Trac instance. Entering the username and password that I know are valid gives me a login error. Trying to recover the password with the mail address that I use gives another error saying that there is no combination between the username and the mail. And, when trying to recreate the account if correctly complains that there is a valid username already. Can someone, please, look into it? Thanks, -- Mihai ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
Re: [Haskell-cafe] [Agda] Defining subtraction for naturals
On Thursday 17 March 2011 6:41:33 PM wren ng thornton wrote: How about pragmatically efficacious? Well... (3) Use type hackery to disallow performing subtraction when the result would drop below zero, e.g. by requiring a proof that the left argument is not less than the right. As far as this goes, one has to ask where we'd get this proof. It's unlikely that we'd just have one already, so the most likely answer is that we'd have to compute the proof. But, the way to compute the proof of whether we're allowed to do subtraction is to *do subtraction*. So, if we don't want saturating subtraction, arguably we don't want subtraction at all, but a prior *comparison* of our two numbers, which will tell us: compare m n m = n + k + 1 m = n m + k + 1 = n in which case we already have the information we want. I think this article is relevant: http://existentialtype.wordpress.com/2011/03/15/boolean-blindness/ Inasmuch as we shouldn't be throwing away all propositional information by crushing to a boolean, we also shouldn't be throwing away information that we will later have to recompute by deciding the wrong proposition. -- Dan ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
[Haskell-cafe] Parsing Haskell in Parsec
I'm trying to write a parser for a small functional language in Parsec, as part of a larger project of porting thishttp://www.cs.jhu.edu/%7Escott/pl/book/dist/from ocaml to Haskell. I was wondering if there was a parser for Haskell written in Parsec that I could use as a reference. -- Alex R ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe