- Haskell-Cafe - Haskell.org

Help with generalizing function
by leledumbo 25 Jun '08

25 Jun '08

I've successfully create a function to return lists of N-ple that satisfy the following function: x1 + x2 + x3 + ... + xN = C But unfortunately, it's not generic. The N is supposed to be an input, too. I don't know how to make a dynamic N-ple (is it possible anyway?). Currently, here's the implementation: [code] findAllAns c = [ (x1,x2,x3,x4,x5) | x1 <- [0..c], x2 <- [0..c], x3 <- [0..c], x4 <- [0..c], x5 <- [0..c], x1 + x2 + x3 + x4 + x5 == c ] [/code] I tried using lists of lists, like this: [code] findAllAns c n = [ [x] | x <- [0..c], length [x] == n ] [/code] but [x] doesn't mean "a list of x", instead it's "a list that contains an x, where x in [0..c]". Can anyone help me? -- View this message in context: http://www.nabble.com/Help-with-generalizing-function-tp18063291p18063291.h… Sent from the Haskell - Haskell-Cafe mailing list archive at Nabble.com.

7 13

Problem installing Cabal-1.4.0.1 with ghc-6.8.3
by Sasko Mateski 25 Jun '08

25 Jun '08

Hi, After reading the latest article on the Haskell Hacking blog (Daily Haskell: Download and analyse logs, then generate sparklines<http://cgi.cse.unsw.edu.au/%7Edons/blog/2008/06/24#daily-haskell-one>) I wanted to install cabal-install to check it out. Soon I found out that it has a dependency on Cabal (>=1.4&&<1.5), so next thing to do was getting and installing Cabal-1.4.0.1 (since the version coming with ghc-6.8.3 is 1.2.4.0). But during the configuration part of the installation I got the following error: During interactive linking, GHCi couldn't find the following symbol: SHGetFolderPathA@20 This may be due to you not asking GHCi to load extra object files, archives or DLLs needed by your current session. Restart GHCi, specifying the missing library using the -L/path/to/object/dir and -lmissinglibname flags, or simply by naming the relevant files on the GHCi command line. Alternatively, this link failure might indicate a bug in GHCi. If you suspect the latter, please send a bug report to: glasgow-haskell-bugs(a)haskell.org <glasgow-haskell-bugs(a)haskell.org> After some googling, I couldn't find anything on the web related to the problem, so posting to a Haskell mailing list seemed like an obvious next step. Since I'm a novice Haskell any help would be very much appreciated, indeed. I'm using *ghc-6.8.3* on a *Windows XP Professional SP3*. Regards *Sasko*

2 1

Re: [Haskell-cafe] number-parameterized types and heterogeneous lists
by Harald ROTTER 25 Jun '08

25 Jun '08

Hello Anton, thanks for your enlightening piece of code. "foldD" does exactly what I was hoping for. Now it becomes very obvious to me that the positions of the forall's in the Digit definition are crucial. Thanks a lot to Alfonso, Luke and Ryan as well. Haskell Cafe is a really good place to learn new things :-) Harald. " Ce courriel et les documents qui y sont attaches peuvent contenir des informations confidentielles. Si vous n'etes pas le destinataire escompte, merci d'en informer l'expediteur immediatement et de detruire ce courriel ainsi que tous les documents attaches de votre systeme informatique. Toute divulgation, distribution ou copie du present courriel et des documents attaches sans autorisation prealable de son emetteur est interdite." " This e-mail and any attached documents may contain confidential or proprietary information. If you are not the intended recipient, please advise the sender immediately and delete this e-mail and all attached documents from your computer system. Any unauthorised disclosure, distribution or copying hereof is prohibited."

1 0

Re: [Haskell-cafe] sdl-mixer loading issue
by Norbert Wojtowicz 25 Jun '08

25 Jun '08

> Attached is a patched version of SDL_mixer 0.5.2 with a C wrapper > for this macro. I'm now able to run loadWAV in ghci. Works for me, thanks! Now I just need to learn how to make my WAVs sound not like computer-generated children voices. For example, using the hback wav files and this: import Control.Concurrent (threadDelay) import Graphics.UI.SDL.Mixer.General import Graphics.UI.SDL.Mixer.Music main = do openAudio 22050 AudioS16Sys 2 4096 w <- loadMUS "c.wav" playMusic w 1 threadDelay 2000000 freeMusic w closeAudio It plays (which is an immense improvement), but I can't get it to sound the way it does from eg. mplayer. I have almost no knowledge of the inner workings of computer sound drivers, so if there is something obvious I'm missing please do speak up. - Norbert

2 2

Why the exception?
by Thomas M. DuBuisson 25 Jun '08

25 Jun '08

Cafe I'm a bit lost on this exception and curious about what's going on. Is there a valid reason for this exception that I am missing? Note the hard-coded [0..100] could be any Word8 list you want (generated via arbitrary, [], or other) and it gives the same result. Load the module and perform: :break prop_LPS quickCheck prop_LPS :step :force ps *** Exception: Prelude.head: empty list > import qualified Data.ByteString as L > import Test.QuickCheck > > instance Arbitrary L.ByteString where > arbitrary = do > return $ L.pack [0..100] > > prop_LPS :: L.ByteString -> Bool > prop_LPS ps = ps `seq` True P.S. Same result with GHCi 6.8.2 and 6.8.3.

2 1

Fwd: Cabalized, Self-Demoing, HStringTemplate-using HAppS Tutorial
by tphyahoo 25 Jun '08

25 Jun '08

---------- Forwarded message ---------- From: tphyahoo <thomashartm...@googlemail.com> Date: Jun 24, 7:46 pm Subject: Cabalized, Self-Demoing, HStringTemplate-using HAppS Tutorial To: HAppS There are some issues with the cabalized project -- templates are missing. Doh. Use darcs for now. Thomas. On Jun 24, 7:26 pm, tphyahoo <thomashartm...@googlemail.com> wrote: > Hello HAppSers! > I have created a self-demoing, HStringTemplate-using intro to HAppS. > There is a live demo at >http://rippledeals.com:5001 > It is cabalized at >http://hackage.haskell.org/cgi-bin/hackage-scripts/package/happs-tuto... > and should install fine with sudo cabal install happs-tutorial. > There is a darcs repo at >http://code.haskell.org/happs-examples > And a google project at >http://code.google.com/p/happs-tutorial/ > which currently isn't used, but who knows, maybe for the wiki or issue > tracking. (I started at google hosting before migrating to darcs.) > I have all kinds of additional lessons planned, but under the release > early/release often motto I'm letting it out in its embryonic state. > Enjoy! > Thomas.

2 2

Fwd: Cabalized, Self-Demoing, HStringTemplate-using HAppS Tutorial
by tphyahoo 25 Jun '08

25 Jun '08

---------- Forwarded message ---------- From: tphyahoo <thomashartm...@googlemail.com> Date: Jun 24, 7:26 pm Subject: Cabalized, Self-Demoing, HStringTemplate-using HAppS Tutorial To: HAppS Hello HAppSers! I have created a self-demoing, HStringTemplate-using intro to HAppS. There is a live demo at http://rippledeals.com:5001 It is cabalized at http://hackage.haskell.org/cgi-bin/hackage-scripts/package/happs-tuto... and should install fine with sudo cabal install happs-tutorial. There is a darcs repo at http://code.haskell.org/happs-examples And a google project at http://code.google.com/p/happs-tutorial/ which currently isn't used, but who knows, maybe for the wiki or issue tracking. (I started at google hosting before migrating to darcs.) I have all kinds of additional lessons planned, but under the release early/release often motto I'm letting it out in its embryonic state. Enjoy! Thomas.

1 0

Bug in Emacs Haskell Mode
by Ronald Guida 25 Jun '08

25 Jun '08

Emacs Haskell Mode has the following useful feature: when "Haskell -> Load File" is used to load a file into GHCi from Emacs, Haskell Mode automatically looks for a "*.cabal" file in an attempt to find the project directory. When Haskell Mode finds the *.cabal file, it fails to check whether it has found a file or a folder. As a result, if I want to load a Haskell file that has no corresponding .cabal file, then Haskell Mode locates my "~/.cabal" *folder* and assumes that it's my project directory. I have a "~/.cabal" folder because Cabal-Install puts it there. Cabal-Install is part of Haskell's new package management system. Now I don't know very much Emacs Lisp, but I figured out a fix for the problem. In Haskell-Mode-2.4, in the file haskell-cabal.el, I changed the function "haskell-cabal-find-file" so that it explicitly checks to make sure that any *.cabal file is in fact a file and not a folder. I don't know if comparing the first letter of the file mode string to 'd' is the right way to diferentiate a folder from a file, but so far it appears to work for me, so I thought I'd share it. (defun haskell-cabal-find-file () "Return a buffer visiting the cabal file of the current directory, or nil." (catch 'found (let ((user (nth 2 (file-attributes default-directory))) ;; Abbreviate, so as to stop when we cross ~/. (root (abbreviate-file-name default-directory)) files) (while (and root (equal user (nth 2 (file-attributes root)))) (let ((files (directory-files root 'full "\\.cabal\\'"))) (if (and files (not (equal 100 (aref (nth 8 (file-attributes (car files))) 0)))) (throw 'found (find-file-noselect (car files))) (if (equal root (setq root (file-name-directory (directory-file-name root)))) (setq root nil)))) nil))))

2 1

sdl-mixer loading issue
by Norbert Wojtowicz 24 Jun '08

24 Jun '08

Hello, I am trying to use the SDL-mixer bindings to play wav files. I've hit a wierd error and I can't figure out how to solve it: Prelude> import Graphics.UI.SDL.Mixer.Music Prelude Graphics.UI.SDL.Mixer.Music> loadMUS "test.wav" Loading package SDL-0.5.4 ... linking ... done. Loading package SDL-mixer-0.5.2 ... linking ... <interactive>: /home/norbert/bin/lib/SDL-mixer-0.5.2/ghc-6.8.2/HSSDL-mixer-0.5.2.o: unknown symbol `Mix_LoadWAV' ghc-6.8.2: unable to load package `SDL-mixer-0.5.2' I've looked up the source code; Mix_LoadWAV seems to be #defined, so I suspect it's some kind of library path issue but I don't grok the whole system well enough to figure it out; maybe someone could point me in the right direction? Have the issue now on Ubuntu 8.04 and previously had the same issue when I tested it on a FreeBSD box. I did install all of the "libsdl-*-dev" in the Ubuntu repo. - Norbert

4 7

Template Haskell ListT wrinkle
by Robert Greayer 24 Jun '08

24 Jun '08

In messing around with TH, I noticed (what I consider to be an) odd wrinkle in the handling of list types within TH's syntax meta-data. For example, given the program at the end of this email, which prints out the TH representation of the types 'Ints' and '[Int]', where 'Ints' is just a type-alias for '[Int]', the following results are generated: Ints is: AppT (ConT GHC.Base.[]) (ConT GHC.Base.Int) [Int] is: AppT ListT (ConT GHC.Base.Int) type0, 'Ints' resolves to the application of the named type constructor "GHC.Base.[]" to the named type constructor "GHC.Base.Int" (which makes perfect sense). type1, '[Int]' resolves to the application of the 'built-in' ListT type constructor to the named type constructor "GHC.Base.Int" (which also makes perfect sense). What's odd (to me) is that in one situation, the 'named' constructor 'GHC.Base.[]' appears, and in the other, the 'built-in' constructor appears. Does anyone have insight into why this might be? (These results were obtained with GHC 6.8.2, btw). > {-# OPTIONS_GHC -XTemplateHaskell #-} > module Main where > import Language.Haskell.TH > > type Ints = [Int] > > type0 = $( reify ''Ints >>= (\ (TyConI (TySynD _ _ t)) -> return $ show t) >>= \s -> [| s |]) > type1 = $( [t| [Int] |] >>= return . show >>= \s -> [| s |]) > > main = do > putStrLn ("Ints is: " ++ type0) > putStrLn ("[Int] is: " ++ type1) Thanks rcg

2 1