Re: [Haskell-cafe] text-icu on Windows

2013-04-27 Thread John MacFarlane
Ryan, Many thanks for your reply. I was assuming ghc would statically link against the library files instead of relying on the dll's. I will see if I can build the library from source under mingw. An alternative would be to distribute the needed dlls with the binary. John +++ Ryan Yates [Apr

Re: [Haskell-cafe] text-icu on Windows

2013-04-27 Thread Ryan Yates
Also note that running in the console produces no error message, but running by double-clicking from explorer does produce an error message that specifies one of the missing dlls: --- icu.exe - System Error --- The program can't start

Re: [Haskell-cafe] text-icu on Windows

2013-04-27 Thread Ryan Yates
Hi John, I just tried this out and if I copied all of the .dll files from the icu4c bin folder into the same folder as the test icu.exe it works as expected. You can see what dlls are missing with the dependency walker program http://www.dependencywalker.com/. Perhaps with a mingw based build of

Re: [Haskell-cafe] Markdown extension for Haddock as a GSoC project

2013-04-27 Thread Mateusz Kowalczyk
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 On 27/04/13 22:18, John MacFarlane wrote: > I agree with Chris that it would be better to have a standard > syntax for Haskell documentation. Especially if the alternative is > ten different markup languages. (Remember, all of these need to be > suppo

Re: [Haskell-cafe] Looking for portable Haskell or Haskell like language

2013-04-27 Thread Aaron Tomb
I recently built a binary installer for GHC 7.6.3 to run on CentOS 5.9, which should be compatible with RHEL 5. It uses glibc 2.5, at least. I don't have a good place to host it long-term, but would be happy to make it available to you (or anyone else who's interested). Aaron On Fri, Apr 26, 201

Re: [Haskell-cafe] partially applied data constructor and corresponding type

2013-04-27 Thread TP
Thanks Yury, The problem with this solution is that if I have written a method for the Tensor type (for example a method of a typeclass of which Tensor is an instance) that uses the order of the tensor (your "ndims") in a general way, I cannot reuse it easily for a vector defined like that. In

Re: [Haskell-cafe] Markdown extension for Haddock as a GSoC project

2013-04-27 Thread John MacFarlane
I agree with Chris that it would be better to have a standard syntax for Haskell documentation. Especially if the alternative is ten different markup languages. (Remember, all of these need to be supported in haddock, which is a basic piece of infrastructure.) Here's a thought. Instead of adding

Re: [Haskell-cafe] Looking for portable Haskell or Haskell like language

2013-04-27 Thread Christopher Howard
On 04/27/2013 08:36 AM, Jerzy Karczmarczuk wrote: > Christopher Howard: > Is the portability which worries you, or the age of your system? > Actually getting a successful build and installation would be great. Also, there are multiple systems I work with, both of which have ancient software, but

Re: [Haskell-cafe] Markdown extension for Haddock as a GSoC project

2013-04-27 Thread Bryan O'Sullivan
On Sat, Apr 27, 2013 at 1:47 PM, Ben wrote: > asciidoc has been mentioned a few times in comments, i think it's worth > looking at. > This is the problem I was afraid of: for every markup syntax under the sun, someone will come along to champion it. The choice of one or N syntaxes is ultimately

[Haskell-cafe] text-icu on Windows

2013-04-27 Thread John MacFarlane
Hello café: I'd very much like to get text-icu working on Windows, as then I could ship pandoc binaries that do proper unicode collation in bibliographies. But I'm having a devil of a time. This may be due to my very limited Windows knowledge. Any help would be appreciated, especially from some

Re: [Haskell-cafe] Markdown extension for Haddock as a GSoC project

2013-04-27 Thread Ben
asciidoc has been mentioned a few times in comments, i think it's worth looking at. * mature, over 10 years old (predates markdown i think), not "just another markdown clone" * human readable, but it has a lot of advanced features including mathematical formulas. * github supports it (they

Re: [Haskell-cafe] Operations on functional graphs

2013-04-27 Thread Francesco Mazzoli
At Wed, 24 Apr 2013 13:02:39 +0100, Francesco Mazzoli wrote: > Hi list, > > I’ve been lately thinking about how to implement an algorithm efficiently, > and I > need a directed graph that can perform the following tasks: > > 1. Finding the strongly connected components > 2. Condensing strong

Re: [Haskell-cafe] partially applied data constructor and corresponding type

2013-04-27 Thread Yury Sulsky
Hi TP, Are you looking to use a phantom types here? Here's an example: data One data Two data Tensor ndims a = Tensor { dims :: [Int], items :: [a] } type Vector = Tensor One type Matrix = Tensor Two etc. On Sat, Apr 27, 2013 at 3:33 PM, TP wrote: > Hello, > > I ask myself if there is a way

Re: [Haskell-cafe] Haskell compilation errors break the complexity encapsulation on DSLs

2013-04-27 Thread Ozgur Akgun
Hi, On 27 April 2013 10:07, Alberto G. Corona wrote: > I created a ticket for the feature request: > > Ticket #7870 > > Teachers, newbies and people working in Industry: Please push it! > A link to the ticket may be helpful for the lazy. http://hackage.haskell.org/trac/ghc/ticket/7870 I quite

[Haskell-cafe] partially applied data constructor and corresponding type

2013-04-27 Thread TP
Hello, I ask myself if there is a way to do the following. Imagine that I have a dummy type: data Tensor = TensorVar Int String where the integer is the order, and the string is the name of the tensor. I would like to make with the constructor TensorVar a type "Vector", such that, in "pseudo-la

Re: [Haskell-cafe] Looking for portable Haskell or Haskell like language

2013-04-27 Thread Hong Yang
I had similar work situation before. What I did was: install a CentOS virtual machine on Windows at home (CentOS version should be compatible to your RHEL5 version, and do not update it), then play with Haskell within CentOS. Your executables will be runnable on RHEL5. On Sat, Apr 27, 2013 at 1:2

[Haskell-cafe] Markdown extension for Haddock as a GSoC project

2013-04-27 Thread Chris Smith
Oops, forgot to reply all. -- Forwarded message -- From: "Chris Smith" Date: Apr 27, 2013 12:04 PM Subject: Re: [Haskell-cafe] Markdown extension for Haddock as a GSoC project To: "Bryan O'Sullivan" Cc: I don't agree with this at all. Far more important than which convention get

Re: [Haskell-cafe] Display an inferred type during compilation

2013-04-27 Thread Ilya Portnov
В письме от 27 апреля 2013 18:55:16 пользователь Corentin Dupont написал: Hi Cafe,can I ask the compiler to display the type of an inferred value during compile time?It would be great if I can output a string during compilation with the type.A little bit like running :type in GHCi, but withou

Re: [Haskell-cafe] Looking for portable Haskell or Haskell like language

2013-04-27 Thread Siraaj Khandkar
On Apr 27, 2013, at 1:21 AM, Christopher Howard wrote: > Hi. I've got this work situation where I've got to do all my work on > /ancient/ RHEL5 systems, with funky software configurations, and no root > privileges. I wanted to install GHC in my local account, but the gnu > libc version is so ol

Re: [Haskell-cafe] Markdown extension for Haddock as a GSoC project

2013-04-27 Thread Bryan O'Sullivan
On Sat, Apr 27, 2013 at 2:23 AM, Alistair Bayley wrote: > How's about Creole? > http://wikicreole.org/ > > Found it via this: > > http://www.wilfred.me.uk/blog/2012/07/30/why-markdown-is-not-my-favourite-language/ > > If you go with Markdown, I vote for one of the Pandoc implementations, > probabl

Re: [Haskell-cafe] Markdown extension for Haddock as a GSoC project

2013-04-27 Thread Mateusz Kowalczyk
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 On 27/04/13 10:23, Alistair Bayley wrote: > How's about Creole? http://wikicreole.org/ > > Found it via this: > http://www.wilfred.me.uk/blog/2012/07/30/why-markdown-is-not-my-favourite-language/ > > If you go with Markdown, I vote for one of the Pa

Re: [Haskell-cafe] Display an inferred type during compilation

2013-04-27 Thread Gwern Branwen
On Sat, Apr 27, 2013 at 12:55 PM, Corentin Dupont wrote: > can I ask the compiler to display the type of an inferred value during > compile time? > It would be great if I can output a string during compilation with the type. > A little bit like running :type in GHCi, but without GHCi... Because ru

[Haskell-cafe] Display an inferred type during compilation

2013-04-27 Thread Corentin Dupont
Hi Cafe, can I ask the compiler to display the type of an inferred value during compile time? It would be great if I can output a string during compilation with the type. A little bit like running :type in GHCi, but without GHCi... Because running GHCi is sometime painful (I have to clean my code f

Re: [Haskell-cafe] Looking for portable Haskell or Haskell like language

2013-04-27 Thread Jerzy Karczmarczuk
Christopher Howard: I was wondering if there was perhaps another language very similar to Haskell (but presumably simpler) with a super portable compiler easily built from source, which I could try. I'll admit -- I haven't tried the HUGS compiler for Haskell. The quick description didn't make it

Re: [Haskell-cafe] Looking for portable Haskell or Haskell like language

2013-04-27 Thread Jeremy Shaw
Have you considered installing on older version of GHC? Such as GHC 6.10.4 or GHC 6.8.3? http://www.haskell.org/ghc/download_ghc_6_10_4 http://www.haskell.org/ghc/download_ghc_683 They won't have all the latest extensions.. but they still have more features than any other alternative. Also, once

Re: [Haskell-cafe] Request for help: Recompile of ghc producing "...-ghc7.4.2.so"s, which break project builds.

2013-04-27 Thread Brandon Allbery
On Sat, Apr 27, 2013 at 11:47 AM, David Banas wrote: > dbanas@dbanas-lap:~/prj/AMI-Tool$ make > rm -f libami.so > ghc -o libami.so -shared -dynamic -package parsec -lHSrts -lm -lffi -lrt > AMIParse.o AMIModel.o ami_model.o ExmplUsrModel.o Filter.o > dbanas@dbanas-lap:~/prj/AMI-Tool$ > > > However

Re: [Haskell-cafe] Request for help: Recompile of ghc producing "...-ghc7.4.2.so"s, which break project builds.

2013-04-27 Thread David Banas
I am able to fix my build problem, by creating a link to * libHSrts-ghc7.4.2.so, *named *libHSrts.so*: dbanas@dbanas-lap:~/prj/AMI-Tool$ ll /usr/lib/ghc-7.4.2/libHSrts* -rw-r--r-- 1 root root 980950 Apr 23 20:08 /usr/lib/ghc-7.4.2/libHSrts.a {snip} -rwxr-xr-x 1 root root 429218 Apr 23 20:08 /us

[Haskell-cafe] Request for help: Recompile of ghc producing "...-ghc7.4.2.so"s, which break project builds.

2013-04-27 Thread Captain Freako
Recently, I had to recompile ghc, in order to get the "-dyn" versions of the standard libraries installed. (The standard Ubuntu 12.10 64-bit Linux distribution doesn't include them in its "haskell-platform" package, and you can't upgrade "base" using the normal "cabal iinstall" approach, from what

Re: [Haskell-cafe] Looking for portable Haskell or Haskell like language

2013-04-27 Thread Joe Quinn
If you are feeling brave, you can also bootstrap GHC. For operating systems that are already supported, it should not be too hard. Last time I tried on a fresh install of Debian, the process was to install the dependencies, and then something like this: sh configure make make install Disclaime

Re: [Haskell-cafe] Looking for portable Haskell or Haskell like language

2013-04-27 Thread Daniel Fischer
On Saturday 27 April 2013, 19:18:35, Andrew Cowie wrote: > On Fri, 2013-04-26 at 21:21 -0800, Christopher Howard wrote: > > Hi. I've got this work situation where I've got to do all my work on > > /ancient/ RHEL5 systems, with funky software configurations, and no root > > privileges. I wanted to i

Re: [Haskell-cafe] Diving into the records swamp (possible GSoC project)

2013-04-27 Thread AntC
> Johan Tibell gmail.com> writes: > > The discussions about an overhauled record system also involve lots of talk about record sub-typing, extensible records, and other more advanced features. I'd like to point out that there doesn't seem to be a great demand for these features. ... Sorry, Jo

Re: [Haskell-cafe] Diving into the records swamp (possible GSoC project)

2013-04-27 Thread AntC
> Johan Tibell gmail.com> writes: > > Instead of endorsing one of the listed proposals directly, I will emphasize the problem, so we don't lose sight of it. The problem people run into *in practice* and complain about in blog posts, on Google+, or privately when we chat about Haskell over beer

Re: [Haskell-cafe] Markdown extension for Haddock as a GSoC project

2013-04-27 Thread Alistair Bayley
How's about Creole? http://wikicreole.org/ Found it via this: http://www.wilfred.me.uk/blog/2012/07/30/why-markdown-is-not-my-favourite-language/ If you go with Markdown, I vote for one of the Pandoc implementations, probably Pandoc (strict): http://johnmacfarlane.net/babelmark2/ (at least then

Re: [Haskell-cafe] Looking for portable Haskell or Haskell like language

2013-04-27 Thread Andrew Cowie
On Fri, 2013-04-26 at 21:21 -0800, Christopher Howard wrote: > Hi. I've got this work situation where I've got to do all my work on > /ancient/ RHEL5 systems, with funky software configurations, and no root > privileges. I wanted to install GHC in my local account, but the gnu > libc version is so

Re: [Haskell-cafe] Haskell compilation errors break the complexity encapsulation on DSLs

2013-04-27 Thread Alberto G. Corona
I created a ticket for the feature request: Ticket #7870 Teachers, newbies and people working in Industry: Please push it! 2013/4/24 Alberto G. Corona > > Maybe it is possible to do something In a google summer of code. Nothing > as sophisticated as the Helium paper ("Scripting the Type Infe

Re: [Haskell-cafe] Diving into the records swamp (possible GSoC project)

2013-04-27 Thread Adam Gundry
Hi Johan, On 26/04/13 20:46, Johan Tibell wrote: > Hi Adam, > > Since we have already had *very* long discussions on this topic, I'm > worried that I might open a can of worms be weighing in here, but the > issue is important enough to me that I will do so regardless. I'm the one busily opening

Re: [Haskell-cafe] Diving into the records swamp (possible GSoC project)

2013-04-27 Thread Adam Gundry
Hi Petr, On 26/04/13 19:53, Petr Pudlák wrote: > Hi Adam, > > very nice idea. As the others, I'm curious why you chose to implement > SORF in favor of the other ideas? As I've commented in a message just now [1], by mentioning SORF I didn't mean to exclude taking on board the other proposals (p

Re: [Haskell-cafe] Diving into the records swamp (possible GSoC project)

2013-04-27 Thread Adam Gundry
Hi AntC, Thanks for the feedback! On 26/04/13 09:55, AntC wrote: >> Adam Gundry strath.ac.uk> writes: >> >> Hi, >> >> I am hoping to do a GSoC project this year working on GHC, and >> have been pointed in the direction of the records issue (in >> particular, the desire to overload field names

Re: [Haskell-cafe] Looking for portable Haskell or Haskell like language

2013-04-27 Thread Francesco Mazzoli
At Fri, 26 Apr 2013 21:21:48 -0800, Christopher Howard wrote: > Hi. I've got this work situation where I've got to do all my work on > /ancient/ RHEL5 systems, with funky software configurations, and no root > privileges. I wanted to install GHC in my local account, but the gnu > libc version is so