- Haskell-Cafe - Haskell.org

Building 'text-icu-0.1' on Windows
by Serge LE HUITOUZE 16 May '09

16 May '09

Hi there, I fail to build text-icu-0.1 on Windows, and would appreciate some help... Thanks in advance! Let me describe what I've done so for, and what results I got: First, I got a version of ICU on my machine, specifically unzipping the file "icu4c-4_0_1-Win32-msvc8.zip" from <http://icu-project.org/download/4.0.html> http://icu-project.org/download/4.0.html. This made me having ICU stuff at location "C:\HaskellStuff\icu\icu", as witnessed below: >> C:\HaskellStuff\icu\icu>dir << 30/04/2009 16:08 <REP> . << 30/04/2009 16:08 <REP> .. << 30/04/2009 16:51 <REP> bin << 30/04/2009 16:08 <REP> include << 30/04/2009 16:36 <REP> lib << 14/01/2009 22:48 2 032 license.html After downloading and untaring "text-icu-0.1", I tried to configure, typing in: >> C:\HaskellStuff\pkg\text-icu-0.1>runhaskell Setup configure << Configuring text-icu-0.1... << Setup: Missing dependencies on foreign libraries: << * Missing C libraries: icui18n, icuuc, icudata << This problem can usually be solved by installing the system packages that << provide these libraries (you may need the "-dev" versions). If the libraries << are already installed but in a non-standard location then you can use the << flags --extra-include-dirs= and --extra-lib-dirs= to specify where they are. OK, let's restart with appropriate values for said flags! >> C:\HaskellStuff\pkg\text-icu-0.1>runhaskell Setup configure >> --extra-include-dirs=C:\HaskellStuff\icu\icu\include >> --extra-lib-dirs=C:\HaskellStuff\icu\icu\lib << Configuring text-icu-0.1... And then proceed with the building per se: >> C:\HaskellStuff\pkg\text-icu-0.1>runhaskell Setup build << Preprocessing library text-icu-0.1... << In file included from C:/HaskellStuff/icu/icu/include/unicode/umachine.h:47, << from C:/HaskellStuff/icu/icu/include/unicode/utypes.h:36, << from Data\Text\ICU\Error.hsc:148: << C:/HaskellStuff/icu/icu/include/unicode/pwin32.h:120: << error: redefinition of typedef 'int8_t' << C:/ghc/ghc-6.10.1/include/mingw/stdint.h:27: << error: previous declaration of 'int8_t' was here << ... << ... (a bunch of similar messages for other type aliases, e.g. 'uint8_t') << ... << compiling dist\build\Data\Text\ICU\Error_hsc_make.c failed << command was: C:\ghc\ghc-6.10.1\gcc.exe -c -BC:\ghc\ghc-6.10.1\gcc-lib << -IC:\ghc\ghc-6.10.1\include\mingw -D__GLASGOW_HASKELL__=610 << -IC:\HaskellStuff\icu\icu\include << -IC:\ghc\ghc-6.10.1\bytestring-0.9.1.4\include << -IC:\ghc\ghc-6.10.1\base-4.0.0.0\include << -IC:\ghc\ghc-6.10.1/include << -IPAPI_INCLUDE_DIR dist\build\Data\Text\ICU\Error_hsc_make.c << -o dist\build\Data\Text\ICU\Error_hsc_make.o << << C:\HaskellStuff\pkg\text-icu-0.1> The "mingw/stdint.h" file contains a series of lines of this style: << << typedef signed char int8_t; Whereas, the "unicode/pwin32.h" file contains contains stuff like: << << /* Define whether inttypes.h is available */ << #ifndef U_HAVE_INTTYPES_H << #define U_HAVE_INTTYPES_H 0 << #endif << ... << << /* Determines whether specific types are available */ << #ifndef U_HAVE_INT8_T << #define U_HAVE_INT8_T U_HAVE_INTTYPES_H << #endif << ... << << /* If your platform does not have the <inttypes.h> header, you may << need to edit the typedefs below. */ << #if U_HAVE_INTTYPES_H << #include <inttypes.h> << #else /* U_HAVE_INTTYPES_H */ << << #if ! U_HAVE_INT8_T << typedef signed char int8_t; << #endif << ... << #endif So, do I need to explicitely change the icu include file? And in which way? Any other solution/suggestion? Best regards. --Serge

3 4

Re: [Haskell-cafe] Decoupling OpenAL/ALUT packages from OpenGL
by Tillmann Vogt 16 May '09

16 May '09

Sven Panne schrieb: > > * a tiny "ObjectName" package, consisting only of OpenGL's ObjectName class > (In "Data.ObjectName"? I'm not very sure about a good place in the hierarchy > here.) How about Data.GraphicsObjects ? > > * a package containing most of the data types/newtypes in OpenGL's > VertexSpec module (Vertex{2,3,4}, Color{3,4}, etc.) plus instances for the > base classes like Eq, Ord, Show, etc. I really don't know a good name for this > package and what a good place in the hierarchy would be (probably something > like "Data.Foo", but what is Foo?) Now that you mention it. I just looked through haskell hierachical libraries and there seems to be no standard data types for vector math. Am I getting something wrong or is every library that is using linear algebra stuff using its own data types? So if I use a numeric library for matrices inside HOpenGL I have to convert around? I think it would be nice to have data types and functions for dot produkt, scalar product, norms, ... together with HOpenGL types. Currently I am trying to embed a triangulation library from a ten year old diploma thesis (http://www.dinkla.net/fp/cglib.html) in my libary (I know that glu has tesselation). The author has developed a quite big and abstract type structure for all sorts of computer graphics algorithms and I didn't wanted to copy this into my library just for triangulation. But it is reasonable. It could be combined with HOpenGL types to maybe Data.VectorMath or Data.LinearAlgebra . I would favour the second. > > The point is: The first two package would be very small. Would this be OK? > Does anybody see other alternatives? What would be good names for those > packages and where in the naming hierarchy should they really go? > > Cheers, > S. > _______________________________________________ > Haskell-Cafe mailing list > Haskell-Cafe(a)haskell.org > http://www.haskell.org/mailman/listinfo/haskell-cafe

5 7

conflicting variable definitions in pattern
by Martin Hofmann 16 May '09

16 May '09

It is pretty clear, that the following is not a valid Haskell pattern: foo (x:x:xs) = x:xs My questions is _why_ this is not allowed. IMHO, the semantics should be clear: The pattern is expected to succeed, iff 'x' is each time bound to the same term. Isn't this allowed, because this would require a strict evaluation of the 'x' variables? Thanks, Martin

11 16

help :type class?
by yu yang 16 May '09

16 May '09

Does anyone have an idea how to use an instance to list all the functions of type? Thank you! ___________________________________________________________ 好玩贺卡等你发，邮箱贺卡全新上线！ http://card.mail.cn.yahoo.com/

3 2

Data.FiniteMap deprecrated
by Vasili I. Galchin 16 May '09

16 May '09

Hello, http://hackage.haskell.org/cgi-bin/hackage-scripts/package/FiniteMap ... since this is deprecated what is the orthodox way to implement "finite map"?? Thanks, Vasili

2 1

Re: [Haskell-cafe] Example code won't compile
by michael rice 16 May '09

16 May '09

OK. Thanks, everyone. Michael --- On Fri, 5/15/09, Krzysztof Skrzętnicki <gtener(a)gmail.com> wrote: From: Krzysztof Skrzętnicki <gtener(a)gmail.com> Subject: Re: [Haskell-cafe] Example code won't compile To: "michael rice" <nowgate(a)yahoo.com> Cc: "Lennart Augustsson" <lennart.augustsson(a)gmail.com>, "haskell-cafe(a)haskell.org" <haskell-cafe(a)haskell.org> Date: Friday, May 15, 2009, 9:55 PM The one important line is > import Control.Monad.Error It adds dependancy on mtl package, which is not used by default (contrary to 'base' package, which includes Monad, System and IO modules). With --make GHC adds it automatically. Therefore $ ghc -package mtl ex14.hs compiles fine. I'd recommend using --make. In rare occasions when there is a namespace clash between packages one can simply hide offending packages or specify preferred ones. Best regards Christopher Skrzętnicki

1 0

Re: [Haskell-cafe] Example code won't compile
by michael rice 16 May '09

16 May '09

This example compiles fine without --make. What's the difference? Michael ================== {- Author: Jeff Newbern Maintainer: Jeff Newbern <jnewbern(a)nomaware.com> Time-stamp: <Wed Jul 2 18:11:36 2003> License: GPL -} {- DESCRIPTION Example 13 - Using the List monad Usage: Compile the code and execute the resulting program with various arguments. Each argument will produce a list of possible parses of the argument as a decimal number, a hexadecimal number or a word. Try: ./ex13 34 f3 bean ./ex13 food f00d ./ex13 beef 10 "n!" ./ex13 "why?" "(punctuation)" -} import Monad import System import Char -- we can parse three different types of terms data Parsed = Digit Integer | Hex Integer | Word String deriving Show -- attempts to add a character to the parsed representation of a hex digit parseHexDigit :: Parsed -> Char -> [Parsed] parseHexDigit (Hex n) c = if isHexDigit c then return (Hex ((n*16) + (toInteger (digitToInt c)))) else mzero parseHexDigit _ _ = mzero -- attempts to add a character to the parsed representation of a decimal digit parseDigit :: Parsed -> Char -> [Parsed] parseDigit (Digit n) c = if isDigit c then return (Digit ((n*10) + (toInteger (digitToInt c)))) else mzero parseDigit _ _ = mzero -- attempts to add a character to the parsed representation of a word parseWord :: Parsed -> Char -> [Parsed] parseWord (Word s) c = if isAlpha c then return (Word (s ++ [c])) else mzero parseWord _ _ = mzero -- tries to parse the digit as a hex value, a decimal value and a word -- the result is a list of possible parses parse :: Parsed -> Char -> [Parsed] parse p c = (parseHexDigit p c) `mplus` (parseDigit p c) `mplus` (parseWord p c) -- parse an entire String and return a list of the possible parsed values parseArg :: String -> [Parsed] parseArg s = do init <- (return (Hex 0)) `mplus` (return (Digit 0)) `mplus` (return (Word "")) foldM parse init s -- show the original string and all possible parses for the string showResult :: String -> IO () showResult s = do putStr s putStr ": " print (parseArg s) -- prints possible parsed values for command-line arguments main :: IO () main = do args <- getArgs mapM_ showResult args -- END OF FILE --- On Fri, 5/15/09, Lennart Augustsson <lennart.augustsson(a)gmail.com> wrote: From: Lennart Augustsson <lennart.augustsson(a)gmail.com> Subject: Re: [Haskell-cafe] Example code won't compile To: "michael rice" <nowgate(a)yahoo.com> Cc: "haskell-cafe(a)haskell.org" <haskell-cafe(a)haskell.org> Date: Friday, May 15, 2009, 7:25 PM --make -- Lennart (iPhone)

2 1

Example code won't compile
by michael rice 15 May '09

15 May '09

Why won't this code compile? Michael ======================= {- Author: Jeff Newbern Maintainer: Jeff Newbern <jnewbern(a)nomaware.com> Time-stamp: <Thu Aug 14 09:53:53 2003> License: GPL -} {- DESCRIPTION Example 14 - Using the IO monad Usage: Compile the code to produce a poor replacement for the standard Unix "tr" command. Try: cat file | ./ex14 "aeiou" "X" cat file | ./ex14 " " "_" ./ex14 "abc" -} import Monad import System import IO import Control.Monad.Error -- translate char in set1 to corresponding char in set2 translate :: String -> String -> Char -> Char translate [] _ c = c translate (x:xs) [] c = if x == c then ' ' else translate xs [] c translate (x:xs) [y] c = if x == c then y else translate xs [y] c translate (x:xs) (y:ys) c = if x == c then y else translate xs ys c -- translate an entire string translateString :: String -> String -> String -> String translateString set1 set2 str = map (translate set1 set2) str usage :: IOError -> IO () usage e = do putStrLn "Usage: ex14 set1 set2" putStrLn "Translates characters in set1 on stdin to the corresponding" putStrLn "characters from set2 and writes the translation to stdout." -- translates stdin to stdout based on commandline arguments main :: IO () main = (do [set1,set2] <- getArgs contents <- hGetContents stdin putStr $ translateString set1 set2 contents) `catchError` usage -- END OF FILE ===================================== [michael@localhost ~]$ ghc ex14.hs -o ex14 ex14.o: In function `rF8_info': (.text+0x48): undefined reference to `mtlzm1zi1zi0zi2_ControlziMonadziError_zdf17_closure' ex14.o: In function `sGp_info': (.text+0x861): undefined reference to `mtlzm1zi1zi0zi2_ControlziMonadziError_zdf17_closure' ex14.o: In function `sGp_info': (.text+0x91d): undefined reference to `__stginit_mtlzm1zi1zi0zi2_ControlziMonadziError_' ex14.o: In function `rF8_info': (.text+0x50): undefined reference to `mtlzm1zi1zi0zi2_ControlziMonadziErrorziClass_zdp1MonadError_info' ex14.o: In function `sGp_info': (.text+0x869): undefined reference to `mtlzm1zi1zi0zi2_ControlziMonadziErrorziClass_catchError_info' ex14.o: In function `rF8_srt': (.data+0x0): undefined reference to `mtlzm1zi1zi0zi2_ControlziMonadziError_zdf17_closure' ex14.o: In function `Main_main_srt': (.data+0x6c): undefined reference to `mtlzm1zi1zi0zi2_ControlziMonadziError_zdf17_closure' collect2: ld returned 1 exit status [michael@localhost ~]$

2 1

GSoC project for EclipseFP
by Thomas ten Cate 15 May '09

15 May '09

Hi all, I'm happy to announce that my Google Summer of Code project proposal, titled "Extend EclipseFP functionality for Haskell", has been accepted! This means that I will be working on EclipseFP during the upcoming months. For the uninitiated, EclipseFP is a plugin for the Eclipse IDE that makes Haskell support possible. Currently it is fairly limited, but I hope to bring it to a state in which I can start using it for some larger projects of my own. "Live" type checking and type inference, and all that jazz. This will be powered by the Scion library by Thomas Schilling (nominolo), who is also my GSoC mentor. More information is on my new blog: http://eclipsefp.wordpress.com/ Cheers, Thomas

3 2

ANN: RESTng 0.1 + RedHandlers 0.1 (request handlers) + YuiGrids 0.1 (yahoo grids)
by Sergio Urinovsky 15 May '09

15 May '09

I'd like to announce the release of 3 new packages in hackage developed for a RESTful web framework called RESTng. They are experimental, the framework is incomplete and we are currently not actively developing it. There are several interesting features so we have decided to release them to share the ideas. *RESTng:* A framework for writing RESTful applications. Features that may be of interest are: * Resource presentation with annotations (implemented with Grids): Resources are annotated with related data and all ends in boxes using grids. i.e., an annotation for a book resource could be its author (the author resource), and also their comments, so the book, the author and their comments are shown in boxes. Annotations can have arbitrary data, but there are some generic ones already available. * Hierarchical URLs are automatically handled. i.e.: Can easily define that a book resource "has many" chapters, then these actions are defined: GET http://site/book/3/chapter/1 (get the chapter 1 of book with id 3) GET http://site/book/3/chapter/new (get a form for filling data for the new chapter for book with id 3) POST http://site/book/3/chapter/new (create a new chapter for the book with id 3) and so on for updates, list and delete actions * ORM generates tables from haskell records (currently only PostgreSQL is supported in the ORM). * Associations "has many" defined for models. Making available functions to query for the parent and children so you don't have to make the SQL query. * Associations can be polymorphic so a comment can be associated to different resources types. A record for a comment on a book, another for a comment on a post. * Tags, Ratings, Comments, Users and login and CMS-like form fields validations supported. *YuiGrids:* * Containers and boxes with layout hints are specified. i.e: - Box A: in left side bar, near the bottom, with this content .... - Container B: in the main part of the page, near the top, with 3 columns and these let's say 14 boxes inside ... (including Box C) - Box C: in the left column of three, with this other content ... * Tries to satisfy the layout hints. Not allways possible, i.e: if every box has layout hint to go near the bottom, some of them will go at the top. * Boxes can have CSS specifications. * All is rendered into Yahoo grids (http://developer.yahoo.com/yui/grids) Currently, the YuiGrids uses own contextual html combinators are also implemented in this package (called CxML here) instead of Text.XHtml for keeping track of html parts like inline CSSs to be rendered at the head. This can be improved to use the standard Text.XHtml library. *RedHandlers:* It is another HTTP request handlers library to build standalone web apps. * They deal with request data as usual. * There are also combinators for mapping part of the URL to public folders in the file system. * And one for sending files efficiently in the response (a fork of the HTTP library was necessary for this, included here).

1 0