- Beginners - Haskell.org

Trying to compile my first program that imports another program
by Mitchell Kaplan 26 Apr '10

26 Apr '10

Hi, I created (with help) a function to test for prime numbers. It worked well enough for now in ghci. ---------------- f x n y | n>y = True | rem x n == 0 = False | otherwise = f x (n+1) y primeQ x = f x 2 y where y = floor(sqrt(fromIntegral x)) --------------- I then wanted to create object code so that I could import it. It seemed that I had to precede the above with the 2 lines: ---------------- module Prime where ---------------- I ran: ghc -c prime.hs, and created prime.o and prime.hi. Next, I wanted to write a program to import and use this function. I wrote: ------------ module Main () where import Prime main = primeQ 123 ------------ I tried to compile this with: ghc -o test Main.hs prime.o I got the following error: Main.hs:5:0: Couldn't match expected type 'IO t' against inferred type 'Bool' In the expression: main When checking the type of the function 'main' ---------------- First I'd like a hint as to what I need to do to make this work. It's pretty obvious that I don't know what I'm doing with regard to types. Also, I have no idea if I have to name this module Main, but when I didn't the compiler complained about that. In the function that I think I had to re-write to make object code, I wound up with 2 where statements, which worries me. I'd really appreciate any help in getting me unraveled. Mitchell

4 3

University project - weird problem
by Renato dos Santos Leal 25 Apr '10

25 Apr '10

I've got a university project that demands me to do a program that receive a .c file and analyze its syntax using haskell. There are just a few things that I have to analyze: literal strings, identifiers (in the program: identificadores), constants (constantes), operators (operadores) and reserverd words(palavras reservadas) There are two major problems in the program: (1) I've got this guard in le_bloco: | x `elem` listS = do separador (x:xs) but it doesn't seem to work. Every time I enable it I recieve this in execution time (after calling verifica) ERROR - Cannot find "show" function for: *** Expression : verifica *** Of type : IO a So I've made one workaround that prints the separator but stops the program...I guess the problem is doing the recursivity (2) My second problem is: when I have one identifier or keyword alone in a line or it's the last element of it it just won't print my coment! this is the function: pPCouI (x:xs) z | membroPC z = do{ putStr (z ++ " <palavra chave>\n") ; le_bloco (x:xs)} | otherwise = do{putStr z ; putStr " <identificador>\n" ; le_bloco (x:xs)} *Please help me solving those problems as soon as possible!* Here is the whole program: listO = ['+', '-', '*', '/', '%', '^', '=', '>', '<', '.', '|', '&', '!', '~'] listS = [';', '{', '(', ')', '}', '[', ']', ','] listC = ['0','1'..'9'] listCF = listC ++ ['.'] listA = listO ++ listS ++ [' '] listPC = ["auto","double","int","struct","break","else","long","switch","case", "enum","register","typedef","char","extern","return","union","const", "float","short","unsigned","continue","for","signed","void","default", "goto","sizeof","volatile","do","if","static","while"] verifica = do putStr ("Favor visualizar o codigo para ver os bugs e erros do programa\n") putStr ("Digite o nome do arquivo de entrada: ") arqent <- getLine texto <- readFile arqent le_bloco texto le_bloco (x:xs) | x `elem` listO = do operador (x:xs) | x `elem` listC = do cnum (x:xs) -- | x `elem` listS = do separador (x:xs) | x `elem` listS = do{ putStr[x] ; putStr " <separador>\n" } | x == '"' = litstr (xs) | x /= ' ' = pchave (x:xs) [] | x == ' ' = le_bloco xs | otherwise = do { putStr "Outro\n" ; le_bloco xs } separador (x:xs) | x `elem` listS = do{ putStr [x] ; separador xs} | otherwise = do{ putStr " <separador>\n" ; le_bloco xs} cnum (x:xs) | x `elem` listCF = do{ putChar x ; cnum xs} | otherwise = do{ putStr " <cte. numerica>\n" ; le_bloco (x:xs)} operador (x:xs) | x `elem` listO = do{ putChar x ; operador xs} | otherwise = do{ putStr " <operador>\n" ; le_bloco (x:xs)} litstr (x:xs) | x /= '"' = do{ putChar x ; litstr xs} | otherwise = do{ putStr " <literal string>\n" ; le_bloco xs} pchave (x:xs) ys | x `notElem` listA = pchave xs (ys++[x]) | otherwise = pPCouI (x:xs) ys pPCouI (x:xs) z | membroPC z = do{ putStr (z ++ " <palavra chave>\n") ; le_bloco (x:xs)} | otherwise = do{putStr z ; putStr " <identificador>\n" ; le_bloco (x:xs)} membroPC x | x `elem` listPC = True | otherwise = False I'm sorry for the bad english, it's been a while since the last time i used it =) Ah, I'm just starting to learn Haskell, first time i've seen it was like a month ago so pretend that I know nothing

4 12

Problems with Data types a la carte
by Rodrigo Geraldo 23 Apr '10

23 Apr '10

Hi ! I've tried to implement the expression interpreter present in Data types a la carte, putting the new "cases" of my data type in a separate module. When I'm trying to create a simple expression like this: x :: Expr (Val :+: Add :+: Mult) x = (val 2000 `mult` val 399) `plus` (val 3) I'm getting the following type error that I can't solve: src/Main.hs:25:4: No instance for (Add :<: Mult) arising from a use of `plus' at src/Main.hs:25:4-43 Possible fix: add an instance declaration for (Add :<: Mult) In the expression: (val 2000 `mult` val 399) `plus` (val 3) In the definition of `x': x = (val 2000 `mult` val 399) `plus` (val 3) src/Main.hs:25:5: No instance for (Val :<: Mult) arising from a use of `val' at src/Main.hs:25:5-12 Possible fix: add an instance declaration for (Val :<: Mult) In the first argument of `mult', namely `val 2000' In the first argument of `plus', namely `(val 2000 `mult` val 399)' In the expression: (val 2000 `mult` val 399) `plus` (val 3) I've attached the source code... Regards Rodrigo

2 1

Generating Random Float
by Giorgio Stefanoni 23 Apr '10

23 Apr '10

Hi guys, I'm working with Haskell for a little project at the university and I'm stuck with a problem. I'm trying to generate a random number in the interval [0.0,1.0]. It is straightforward for me to implement the function on ints: rand :: IO Int rand = do r <- newStdGen let (x1, r2) = randomR (0,1) r print x1 return x1 However, if I try to generate a Float instead, I always get an Arithmetic Overflow error that I can not understand. Code: rand :: IO Float rand = do r <- newStdGen let (x1, r2) = randomR (0.0::Float,1.0::Float) r print x1 return x1 Do you have any clue why this happens? Thanks in advance, -- Giorgio

3 2

eve / did = 0.talktalktalk...
by Alexander.Vladislav.Popov 22 Apr '10

22 Apr '10

Dear Everebody. Hepl me please to parallelize (parallel computing of evedidtalk function) the rebus: -- | eve / did = 0.talktalktalk... ten :: Integral a => [a] ten = [0..9] infixr 7 /: (/:) :: (Integral a) => [a] -> [a] -> [a] (/:) [] _ = [0] (/:) _ [] = [] (/:) x y = coldiv (getInteger x) (getInteger y) getInteger :: (Num a) => [a] -> a getInteger = foldl ((+) . (*10)) 0 coldiv :: (Integral a) => a -> a -> [a] coldiv a b = q : if r == 0 then [] else coldiv (r * 10) b where (q, r) = a `quotRem` b evedidtalk = [ ([e, v, e], [d, i, d], [t, a, l, k]) | e <- ten, v <- ten, v /= e, d <- ten, d /= e, d /= v, i <- ten, i /= e, i /= v, i /= d, t <- ten, t /= e, t /= v, t /= d, t /= i, a <- ten, a /= e, a /= v, a /= d, a /= i, a /= t, l <- ten, l /= e, l /= v, l /= d, l /= i, l /= t, l /= a, k <- ten, k /= e, k /= v, k /= d, k /= i, k /= t, k /= a, k /= l, take 9 ([e, v, e] /: [d, i, d]) == [0, t, a, l, k, t, a, l, k] ] Sincerely, Alexander

3 4

sunrise sunset
by Markus Böhm 22 Apr '10

22 Apr '10

Is there any Haskell package/impl already that calculates sunrise and sunset for a given location (via lat/lon)? -- Mike

3 3

cabal re-configure not recognized
by Ashish Agarwal 21 Apr '10

21 Apr '10

When changing a cabal file, if one runs 'cabal build' immediately, a message states that you must re-configure. So I run 'cabal configure' and then again try 'cabal build', but I get the same message again. The problem goes away if I wait about a minute. So I suspect there is an issue with the file modification time being ahead of what cabal thinks the time is. Has anyone experienced this problem, and know what might be the fix? Thank you. The issue occurs only on my Ubuntu machine. I do not have this problem with the same code on Mac OS X.

1 1

Creating an exe file
by legajid 21 Apr '10

21 Apr '10

Hi, After running interpreted programs, i want to create an exe file; in a first time, just for my local machine. Later shall i try to install on other machines ... To do this, i wrote a batch file : d: cd d:\prog\lang\haskell set shs=%1 ghc %shs% -o%shs:hs=exe% del %shs:hs=hi% del %shs:hs=o% pause where %1 is my hs file full path. Example of a run : D:\>cd d:\prog\lang\haskell D:\PROG\lang\haskell>set shs=E:\didier\haskell\cases.hs D:\PROG\lang\haskell>ghc E:\didier\haskell\cases.hs -oE:\didier\haskell\cases.exe D:\PROG\lang\haskell>del E:\didier\haskell\cases.hi D:\PROG\lang\haskell>del E:\didier\haskell\cases.o D:\PROG\lang\haskell>pause Appuyez sur une touche pour continuer... It's ok with some modules i have to import, like import Data.List import Data.Maybe But, when using wxhaskell, i get a lot of errors, although i include import Graphics.UI.WXCore import Graphics.UI.WX here is a small list of errors : E:\didier\haskell\graphe.o:fake:(.data+0x2f0): undefined reference to `wxcorezm0zi11zi1zi2_GraphicsziUIziWXCoreziDialogs_infoDialog_closure' E:\didier\haskell\graphe.o:fake:(.data+0x300): undefined reference to `wxzm0zi11zi1zi2_GraphicsziUIziWXziDraw_zdf4_closure' E:\didier\haskell\graphe.o:fake:(.data+0x314): undefined reference to `wxzm0zi11zi1zi2_GraphicsziUIziWXziDraw_zdf4_closure' what should the correct ghc command line be, in order to get a successful compilation ? Thanks for help, Didier Running ghc 6.10.4 on Windows XP SP2, with wxhaskell-0.11.1.2

2 1

ANN: scan-0.1.0.3, a Haskell style scanner
by Christian Maeder 19 Apr '10

19 Apr '10

Dear Haskell friends, I like to announce a Haskell style scanner at http://hackage.haskell.org/package/scan documented under http://projects.haskell.org/style-scanner/ It's best used in conjunction with hlint http://community.haskell.org/~ndm/hlint/ and gives many suggestions regarding the file format. Feedback is welcome. Thanks Christian (Discussions should only be posted to either haskell-cafe@ or beginners@)

1 0

Re: [Haskell-beginners] Beginner trying to install Haskell support in Eclipse and failing
by Alan Shaw 17 Apr '10

17 Apr '10

I installed scion from hackage ok, but then I remembered this, from http://eclipsefp.sourceforge.net/ : You cannot use the version from Hackage (0.1.0.2) since commands have been added for eclipsefp. You'll need to build Scion from source (git clone git://github.com/JPMoresmau/scion.git, runhaskell Setup.hs configure/build/install) So I did the other thing: cabal install -f-cabal_1_8 And now I have got updates in Eclipse from http://eclipsefp.sf.net/updates, and I'm about to "Create a Haskell Project." so if that process doesn't mystify me I'm good to go for now. And I plan to update ghc "soon." Thanks, all! -A On Sat, Apr 17, 2010 at 7:43 PM, Daniel Fischer <daniel.is.fischer(a)web.de> wrote: > > Am Sonntag 18 April 2010 01:07:17 schrieb Alan Shaw: > > Hi, > > I'm using cabal for the first time, and I'm confused. > > > > I'm trying to build scion as instructed at > > http://eclipsefp.sourceforge.net/build.html . > > I have done: > > > > git clone git://github.com/JPMoresmau/scion.git > > cd scion > > cabal install > > > > > > I'm now at the point where this tells me the following: > > > > Resolving dependencies... > > cabal.exe: dependencies conflict: ghc-6.10.4 requires Cabal ==1.6.0.3 > > however > > Cabal-1.6.0.3 was excluded because scion-0.1.0.2 requires Cabal ==1.8.* > > && ==1.8.* > > That's odd, the .cabal file says > > if flag(cabal_1_8) > build-depends: Cabal == 1.8.* > cpp-options: -DCABAL_VERSION=108 > else > build-depends: Cabal == 1.6.* > cpp-options: -DCABAL_VERSION=106 > > and since you don't have Cabal-1.8.*, it should set the flag to false and > try again. > > Anyway, try setting the flag to false on the command line: > > cabal install -f-cabal_1_8 > > or install the hackage package: > > cabal install scion > > > > > Some more information: > > > > $ cabal -V > > cabal-install version 0.6.2 > > using version 1.6.0.3 of the Cabal library > > $ cabal update > > Downloading the latest package list from hackage.haskell.org > > Note: there is a new version of cabal-install available. > > To upgrade, run: cabal install cabal-install > > $ cabal install cabal-install > > (lots and lots of output, ending with:) > > Linking dist\build\cabal\cabal.exe ... > > Installing executable(s) in C:\Program Files (x86)\Haskell\bin > > Is that directory in your path (and before the directory cabal- > install-0.6.2 is in)? > > > $ cabal -V > > cabal-install version 0.6.2 > > using version 1.6.0.3 of the Cabal library > > perhaps > > cabal install cabal-install-0.8.0 (or whatever the latest version working > on windows is) > > > > > > > Help? > > > > Thanks, > > -A >

1 0