- Haskell-Cafe - Haskell.org

round function
by Chatzianastassiou Achilleas 12 Feb '06

12 Feb '06

Hi all, I am trying to implement a function that finds the significant figure of a number to a specified point i.e. 2.55555 3 = 2.556. I have implemented something like: sig :: (RealFrac a, Integral b) => a -> Int -> a sig x y = round y However this doesn't work. Moreover at the Prelude when i type round 2.3333 2 i get an error. Any suggestions? Thanks, Skag55 _________________________________________________________________ Dont just search. Find. Check out the new MSN Search! http://search.msn.click-url.com/go/onm00200636ave/direct/01/

3 9

Why is $ right associative instead of left associative?
by Brian Hulley 12 Feb '06

12 Feb '06

Hi - In the Haskell98 report section 4.4.2 $ is specified as being right associative. This means that f $ a0 a1 $ b0 b1 would parse as f (a0 a1 (b0 b1)) which seems rather strange to me. Surely it would be much more useful if $ were defined as left associative so that it could be used to separate the args to f? Does anyone know why this strange associativity was chosen? Thanks, Brian. (The reason I'm asking is that I'm working on the syntax of a language similar to Haskell but which uses layout to allow expressions like: f #$ -- can be followed by an explicit block or layout block a0 a1 b0 b1 which is sugar for (f $ a0 a1) $ b0 b1 ie f (a0 a1) (b0 b1) ) and I was surprised to discover that the parentheses are needed for the most obvious reading)

16 40

How to check for memory leak.
by zbo 12 Feb '06

12 Feb '06

I was using the code from http://www.haskell.org/hawiki/HaskellNewbie_2fTcpIpAndNetworking It seems to be losing a few Kbytes every call (i use 'top' on linux to check the RES field value). I dont know whether this is a memory leak or just the GC not collecting yet. I was just wondering What is the general method to check this. BTW, I have tried using -prof and -P, but not really able to see anything suspicious. Cheers, ed

2 1

building ghc on win with gcc of cygwin, without cygwin1.dll (-mno-cygwin flag) ?
by Marc Weber 12 Feb '06

12 Feb '06

Hi.. I've found the nice documentation about building ghc on haskell.org/ghc -> documentation. There is one chapter (#1) about C compilers and environments to use: Either MSYS or cywin and gcc of MinGW because gcc of cygwin will link to cygwin1.dll by default which may change and therefore can brake your apps. Googling around I've found that there exists the -mno-cygwin flag which you can use to not include this lib.. So would it might be possible to get a ghc build not using cygwin.dll with just cygwin ? I haven't read anything about that in those docs. Or does this flag simply include cygwin.dll within your apps (statically linked) ? #1 :http://www.haskell.org/ghc/docs/latest/html/building/platforms.html#ghc-cygwin Marc

1 0

Digrams
by Dominic Steinitz 11 Feb '06

11 Feb '06

I've quickly put this together to measure frequencies of pairs of letters (e.g. 1st and 2nd) in words. It works fine on a small test data sets but I have a feeling that it will perform poorly as it spends a lot of time updating a 26*26 array. Before I throw a dictionary at it, does anyone have any suggestions? Thanks, Dominic.

2 2

Compiling hdirect on windows with COM support
by Marc Weber 11 Feb '06

11 Feb '06

On Fri, Feb 03, 2006 at 07:55:30AM +0100, Gracjan Polak wrote: > Hi, > I would be iterested in seeing what you have done. And maybe helping > in getting it to work. > I did not find the examples :) Many links seem to be broken on HDirect > page. Hi. I have finished. It took some more time as expected ;-) Just install cygwin, and run this script. It will download parts of fptools via cvs (so you need cvs and GNU make from cygwin) Greetings, Marc ---------------------------- compilehdirect.sh --- #!/bin/sh # author: Marc Weber # marco-oweber(a)gmx.de # configure fptools WORKDIR=${WORKDIR:-myfptoolsdirectory} # you can use "" here because cvs will checkout the folder "fptools" everything will be done in that.. CREATEZIPSTODEBUGTHISSCRIPT="" # "" = no "yes"=yes, for debugging purposes. # hdirect lib info (will replace old file due to packaging info changes) hdirectlibpkginfo="name: \"hdirect\" \n\ import-dirs: \"\${hd_libdir}\" \n\ library-dirs: \"\${hd_libdir}\" \n\ hs-libraries: \"HShdirect\" \n\ include-dirs: \"\${hd_libdir}\" \n\ depends: \"base\", \"haskell98\" \n\ exposed:True \n\ exposed-modules:\"HDirect\",\"Pointer\" " #hdirect comlib cabal pkg info: hdirectcomlibpkginfo="name: com \n\ import-dirs: \"\${hd_imp}\" \n\ library-dirs: \"\${hd_lib}\" \n\ hs-libraries: \"HScom\" \n\ extra-libraries: \"kernel32\", \n\ \"user32\", \n\ \"ole32\", \n\ \"oleaut32\", \n\ \"advapi32\", \n\ \"HScom\" \n\ include-dirs: \"\${hd_inc}\" \n\ depends: \"base\", \n\ \"haskell98\" \n\ exposed:True \n\ exposed-modules: \"Com\", \n\ \"TypeLib\", \n\ \"ComPrim\", \n\ \"Automation\", \n\ \"AutoPrim\", \n\ \"WideString\", \n\ \"StdTypes\", \n\ \"StdDispatch\", \n\ \"ComServ\", \n\ \"Connection\", \n\ \"SafeArray\" " confirm() { echo -e $1 "\n" "press return to proceed, Strg-C to exit"; read; } info() { echo; echo $1; echo $1 | sed -e 's/./-/g' ; } die() { echo $1 ; exit; } question() { echo -e $1 "\n [y]es, [n]o"; read d; if [[ "$d"="y" ]]; then True ; else False; fi; } dozip() { [ -z CREATEZIPSTODEBUGTHISSCRIPT ] || zip -r ../$1.zip . || die "couldn't create zip" ; } doziphd() { [ -z CREATEZIPSTODEBUGTHISSCRIPT ] || zip -r ../../$1.zip . || die "couldn't create zip"; } confirm "this script isn't well tested yet .. run it .. Read the code first because you are running it on your risk" echo " you will need cvs, GNU make from cygwin. I've used ghc-6.4.1 from Win Installer" confirm "Be sure to have your ghc in win PATH environment variable, else everything will work till compiling hdirect ;-) if you can run ghc.exe from cygwin shell everything should be fine." [ -d "$WORKDIR" ] || mkdir "$WORKDIR" || die "couldn't create working directory" cd "$WORKDIR" || die "couldn't cd to working directory" if [[ ! -d fptools ]]; then #if :; then question "Shall I dwonload happy (say yes and add --enable-src-tree-happy to configure if you don't have happy)" && coHappy=1 question "Shall I dwonload alex (say yes and add --enable-src-tree-alex to configure if you don't have alex)" && coAlex=1 info "checking out fptools top directory" cvs -d:pserver:anoncvs@cvs.haskell.org:/cvs co -l fptools || die "cvs checkout of fptools top directory failed" info "checking out fptools/glafp-utils (used by hdirect)" cvs -d:pserver:anoncvs@cvs.haskell.org:/cvs co fptools/glafp-utils || die "cvs checkout of fptools top directory failed" info "checking out ghc" cvs -d:pserver:anoncvs@cvs.haskell.org:/cvs co fptools/ghc || die "cvs checkout of fptools top directory failed" info "checking out hdirect" cvs -d:pserver:anoncvs@cvs.haskell.org:/cvs co fptools/hdirect || die "cvs check of hdirect failed" info "checking out fptools/mk (needed by hdirect make)" cvs -d:pserver:anoncvs@cvs.haskell.org:/cvs co -l fptools/mk || die "cvs checkout of fptools top directory failed" info "checking out ghc/mk (else hdirect/make will complaing about ghc/mk/paths.mk" cvs -d:pserver:anoncvs@cvs.haskell.org:/cvs co fptools/ghc/mk || die "cvs check of hdirect failed" if [ ! -z coHappy ]; then info "checking out happy (else hdirect/make will complaing about ghc/mk/paths.mk" remhappy="add --enable-src-tree-happy" cvs -d:pserver:anoncvs@cvs.haskell.org:/cvs co fptools/happy || die "cvs check of hdirect failed" fi if [ ! -z coAlex ]; then info "checking out alex (else hdirect/make will complaing about ghc/mk/paths.mk" remalex="add --enable-src-tree-alex" cvs -d:pserver:anoncvs@cvs.haskell.org:/cvs co fptools/alex || die "cvs check of hdirect failed" fi cd fptools dozip AfterCO cd .. else info "omitting cvs co because fptools already exists" fi cd fptools if [ -f configure ]; then info "omitting autoreconf (configure already exists)"; else info "calling autoreconf"; autoreconf ||die "autoreconf failed" ; fi if [ -f config.status ]; then info "I omit configuring because fptools/conf exists. Remove it to configure again" else if [ -f configure ]; then info "omitting autoreconf (configure already exists)"; else info "calling autoreconf"; autoreconf ||die "autoreconf failed" fi echo "Now you have to configure fptools, you can add --with-ghc=ARG to specify the ghc directory and --with-gcc to specify to point to the gcc/bin directory (because you want to compile native win apps you don't want to use gcc from cygwin!)" confirm "running bash now, please call configure" echo "Your command might look like this: ./configure --with-gcc='c:/MinGWStudio/MinGW/bin/gcc' --with-ghc='c:/ghc/ghc-6.4.1/bin/ghc.exe'" $remhappy $remalex "; exit" echo "Press Ctrl-d when finished or enter exit to continue this script" bash dozip afterConfiguring fi info "***** starting compiling " if [ -d happy ]; then if [ ! -f happy/src/happy.exe ]; then info "happy in source tree. So I think you don't have it, yet. I'm running make" cd happy || die "couldn't cd to happy" make boot || die "couldn't make make boot" make || die "making happy failed" cd .. else echo "happy already built" fi fi if [ ! -z "$remalex" ]; then echo "I think alex is used to make configure not complain.. ;-)" fi if [ -f glafp-utils/.depend ]; then info "omitting glafp-utils because glasp-utils/.depend exists" else info "Making glafp-utils now" cd glafp-utils make boot || die "couln't make boot (glafp-utils) but this doesn't seem to be serious, just restart script" make || die "couln't make hdirect^ (glafp-utils) but this doesn't seem to be serious, just restart script" cd .. fi cd hdirect [ -f src/.depend ] || doziphd beforeBuildingHdirect info "I'm trying to build hdirect now!" if [ ! -f src/ihc.exe ]; then info "running make boot" make boot || die "couln't make boot (hdirect)" doziphd afterMakeBOOT fi if [ ! -f comlib/Automation.o ]; then info "running make (will build comlib and rebuild ihc.exe" make || die "couln't make hdirect^ (hdirect)" doziphd afterMake1 fi # registering hdirect: if ! ghc-pkg.exe describe hdirect; then cd lib # check wether hdirect.pkg has been replaced, yet due to changes in pkg info: if grep 'Package {' hdirect.pkg; then info "replacing hdirect.pkg due to changees in pkg info." echo "old pkg info (hdirect.pkg)" cat hdirect.pkg echo -e $hdirectlibpkginfo > hdirect.pkg echo "new pkg info (hdirect.pkg)" cat hdirect.pkg fi info "registering hdirect" #export hd_libdir="d:\\\\haskell\\\\fptools\\\\fptools\\\\hdirect\\\\lib" hd_libdir=$(cygpath -w $(pwd)) export hd_libdir=${hd_libdir//\\/\\\\} # double "\" becaus of escaping echo $hd_libdir ghc-pkg.exe -u < hdirect.pkg || die "couldn't register hdirect" cd .. fi #registering comlib of hdirect if ! ghc-pkg.exe describe comlib; then cd comlib # check wether com.pkg has been replaced, yet due to changes in pkg info: if grep 'Package{' com.pkg; then info "replacing com.pkg due to changees in pkg info." echo "old pkg info (com.pkg)" cat com.pkg echo -e $hdirectcomlibpkginfo > com.pkg echo "new pkg info (com.pkg)" cat com.pkg fi info "registering comlib" export hd_lib="" export hd_inc="" export hd_imp="" hd_lib=$(cygpath -w $(pwd)) export hd_inc=${hd_lib//\\/\\\\} export hd_imp=${hd_lib//\\/\\\\} export hd_lib=${hd_lib//\\/\\\\} echo hd_lib $hd_lib echo hd_int $hd_int echo hd_inc $hd_inc ghc-pkg.exe -u < com.pkg || die "couldn't register comlib" cd .. fi # Now it's getting really hot: trying to build ihc.exe with support Typelibs: export SUPPORT_TYPELIBS=YES info "running make boot with exported SUPPORT_TYPELIBS=YES" if [ ! -f src/ihc.exe ]; then info "running make boot" make boot || die "couln't make boot (hdirect)" doziphd afterMakeALL fi cd examples info "running bash so that you can try some examples type exit then to exit script" info "notice: you are now in $(pwd)" bash

1 2

question about type lambda and decidability of typechecking
by Robert Dockins 10 Feb '06

10 Feb '06

OK. I've been doing a little thinking about type lambda in Haskell. Now, I understand the prevailing wisdom is that adding type lambda and/or partially applied type synonyms to the haskell type system would make type checking/inference undecidable. The reason given is that higher-order unification is undecidable. I have to admit that I don't fully understand this reason. Setting aside typeclasses for now, it seems to me that type expressions together with the kind system are just the simply-typed lambda calculus with unit, which is well known to be strong normalizing. So any type with kind * has a normal form with (by definition) no internal redexes. I think this is sufficient to guarantee that all type lambdas are removed. Now you can proceed using first-order unification, which is decidable. Of course, all valid expressions have kind * (ignoring unboxing and other trickiness for now). So where have I gone wrong? Do typeclasses complicate the matter? Or have I missed something more basic? Thanks, Rob Dockins Speak softly and drive a Sherman tank. Laugh hard; it's a long way to the bank. -- TMBG

1 1

Numerical methods in Haskell
by Rob Tougher 10 Feb '06

10 Feb '06

I'm currently working on a mathematics library in Haskell. I'm not a mathematician -- I'm basically writing this library as an excuse to learn mathematics and Haskell at the same time. Feel free to check out the code: http://robtougher.com/ My main focus is financial mathematics (options pricing, etc), but I took a detour last week and implemented basic matrix stuff. I might work on some Linear Programming algorithms (simplex, interior point) before returning to finance. - Rob

2 1

Matching constructors
by Creighton Hogg 10 Feb '06

10 Feb '06

Hi, If I have something like data Patootie = Pa Int | Tootie Int and I want to pull out the indices of all elements of a list that have type constructor Tootie, how would I do that? I thought I might be able to use findIndices, but I don't know how to express the predicate.

7 6

multiple defentions of .. fst defined here errors.
by Marc Weber 10 Feb '06

10 Feb '06

Why do these error occur? After hiding the packages com (beeing in comlib) and hdirect (beeing in lib) and adding -package com -package hdirect it works fine. I haven't tried without hiding but adding -package options yet. ghc --make -H16m -O -fglasgow-exts -syslib com -fno-warn-missing-methods daotest.hs Chasing modules from: daotest.hs Skipping DAO ( ./DAO.hs, ./DAO.o ) Skipping DB ( ./DB.hs, ./DB.o ) Skipping Main ( daotest.hs, daotest.o ) Linking ... c:\haskell\myfptoolsdirectory\fptools\hdirect\comlib/libHScom.a(PointerPrim.o)(.text+0x696):ghc2648.hc: multiple definition of `__stginit_PointerPrim_' c:\haskell\myfptoolsdirectory\fptools\hdirect\lib/libHShdirect.a(PointerPrim__12.o)(.text+0x0):ghc2036.hc: first defined here c:\haskell\myfptoolsdirectory\fptools\hdirect\comlib/libHScom.a(PointerPrim.o)(.text+0x6da):ghc2648.hc: multiple definition of `__stginit_PointerPrim' c:\haskell\myfptoolsdirectory\fptools\hdirect\lib/libHShdirect.a(PointerPrim__12.o)(.text+0x44):ghc2036.hc: first defined here Marc

1 0