March 2006 - Haskell - Haskell.org

Problems compiling hs-plugins
by Benjamin Franksen 05 Mar '06

05 Mar '06

Please, can anyone help me with this problem: I just downloaded hs-plugins version 1.0-rc0. (BTW, the stable version is not accessible). I configure it (according to the README) and everything seems to be ok. However when I try to build it, I get: aare: .../haskell/hs-plugins > ./Setup.lhs build Setup.lhs: Warning: The field "hs-source-dir" is deprecated, please use hs-source-dirs. Preprocessing library plugins-1.0... Building plugins-1.0... Chasing modules from: AltData.Dynamic,AltData.Typeable,Language.Hi.Binary,Language.Hi.FastMutInt,Language.Hi.FastString,Language.Hi.Parser,Language.Hi.PrimPacked,Language.Hi.Syntax,System.Eval,System.Eval.Haskell,System.Eval.Utils,System.MkTemp,System.Plugins,System.Plugins.Consts,System.Plugins.Env,System.Plugins.Load,System.Plugins.LoadTypes,System.Plugins.Make,System.Plugins.Package,System.Plugins.PackageAPI,System.Plugins.ParsePkgConfCabal,System.Plugins.Parser,System.Plugins.Process,System.Plugins.Utils [ 1 of 24] Compiling AltData.Typeable ( src/AltData/Typeable.hs, dist/build/AltData/Typeable.o ) src/AltData/Typeable.hs:452:0: parse error (possibly incorrect indentation) Looking at the source reveals that src/AltData/Typeable.hs contains macro calls to generate instances for class Typeable<N>, e.g. INSTANCE_TYPEABLE1([],listTc,"[]") However, I could not find any definition for these macros. Nor does the package docs mention what to install in order to get them. Any ideas? Don? Ben

2 2

Apologize For The Multiple Postings
by Aditya Siram 04 Mar '06

04 Mar '06

Hi all, I apologize for the multiple postings. I don't know why my email provider did that-I only hit the send button once, honest! Deech

1 0

Trying On Learn Haskell Web Server
by Aditya Siram 03 Mar '06

03 Mar '06

Hi all, I am former imperative programmer (Java/C/Python) I have recently discovered Haskell and read through "Yet Another Haskell Tutorial" (the best I have found) and "Tackling The Awkward Squad". This paper mentions a Haskell Web Server (HWS) but I am not able to find the source. Where can I find the source? Has this code been updated since the paper was written? Can it be compiled and run on a recent version of GHC?Hugs? I would like to use it as an example program to teach myself Haskell. Thanks... Deech

1 0

Trying On Learn Haskell Web Server
by Aditya Siram 03 Mar '06

03 Mar '06

Hi all, I am former imperative programmer (Java/C/Python) I have recently discovered Haskell and read through "Yet Another Haskell Tutorial" (the best I have found) and "Tackling The Awkward Squad". This paper mentions a Haskell Web Server (HWS) but I am not able to find the source. Where can I find the source? Has this code been updated since the paper was written? Can it be compiled and run on a recent version of GHC?Hugs? I would like to use it as an example program to teach myself Haskell. Thanks... Deech

1 0

translating Haskell into theorem provers
by Gerwin Klein 02 Mar '06

02 Mar '06

Hi, is any of you aware of activities that aim to translate Haskell into interactive theorem provers like PVS or Isabelle/HOL? (automatically or manually). We know about the Programatica project and Brian Huffman's work, but turned up little else. Cheers, Gerwin

4 4

Visual Haskell: Could not find module `Control.Monad.Writer'
by Bernd Holzmüller 02 Mar '06

02 Mar '06

Hi all, I am playing around with Visual Haskell, V0.1 (which really is great stuff!). In the main module I wrote the following import: import Control.Monad.Writer for which I get the error message: Could not find module `Control.Monad.Writer': use -v to see a list of the files searched for I use the GHCOptions: -fglasgow-exts -fallow-overlapping-instances. Is this a bug in Visual Haskell or what's wrong here? Thanks, Bernd

3 2