Hi,
when trying to look up the original definition for
Data.List.transpose in
https://downloads.haskell.org/~ghc/latest/docs/html/libraries/Data-List.html
I found that the source link
https://downloads.haskell.org/~ghc/latest/docs/html/libraries/src/Data-OldList.html#transpose
does not work.
Hi,
using cpphs is the right way to go!
Rewriting it from scratch may be a good exercise but is (essentially) a
waste of time.
However, always asking Malcolm to get source changes into cpphs would be
annoying.
Therefore it would be great if the sources were just part of the ghc
sources (under
23 December 2014
GHC 7.8.4 Released!
https://www.haskell.org/ghc/
So 7.8.4 is out!
Only the download subpage https://www.haskell.org/ghc/download
is not updated yet.
Also
http://downloads.haskell.org/~ghc/latest/
still refers to http://downloads.haskell.org/~ghc/7.8.3/
(and has a funny
Hi,
rather than disambiguating a name from the current module by an
abbreviated module name, I would prefer a disambiguation as is done for
local names that shadows existing bindings. Then only imported names
would need to be qualified (possibly using shorter module names).
So names of the
Hi,
using ghc -M with ghc-7.8.2 under linux. I got a message:
You must specify at least one -dep-suffix
(and a failure).
http://www.haskell.org/ghc/docs/7.8.1/html/users_guide/separate-compilation.html#makefile-dependencies
I've stopped using ghc -M now, but I think it should be documented
Hi,
under mavericks using the ghc-clang-wrapper (ghc-7.6) or using
ghc-7.8.20140130 I can no longer install the HaXml package.
The source line:
putStrLn $ part of HaXml-++show MAJOR.MINOR
seems to put spaces around the decimal point between MAJOR and MINOR and
fails as shown below.
Is
Hi,
I've got some difficulties parsing large xml files ( 100MB).
A plain SAX parser, as provided by hexpat, is fine. However,
constructing a tree consumes too much memory on a 32bit machine.
see http://trac.informatik.uni-bremen.de:8080/hets/ticket/1248
I suspect that sharing strings when
should tagsoup be better suited for building trees from large files?
C.
Am 20.02.2014 15:30, schrieb Chris Smith:
Have you looked at tagsoup?
On Feb 20, 2014 3:30 AM, Christian Maeder christian.mae...@dfki.de
mailto:christian.mae...@dfki.de wrote:
Hi,
I've got some difficulties parsing
On 20 Feb, 2014,at 11:30 AM, Christian Maeder christian.mae...@dfki.de
wrote:
Hi,
I've got some difficulties parsing large xml files ( 100MB).
A plain SAX parser, as provided by hexpat, is fine. However,
constructing a tree consumes too much memory on a 32bit machine.
see http
...@haskell.org] On Behalf Of Christian Maeder
| Sent: 20 February 2014 15:51
| To: Daniil Frumin
| Cc: glasgow-haskell-users@haskell.org
| Subject: Re: [Typeable2] Re: ANNOUNCE: GHC 7.8.1 Release Candidate 1
|
| Yes, changing Typeable2 to Typeable in:
|
| {-# LANGUAGE StandaloneDeriving, DeriveDataTypeable
Am 06.02.2014 15:27, schrieb Páli Gábor János:
On Thu, Feb 6, 2014 at 1:39 PM, Merijn Verstraaten
mer...@inconsistent.nl wrote:
On Feb 6, 2014, at 10:33 , Christian Maeder wrote:
or (as I've seen elsewhere) better (?)
#!/usr/bin/env bash
Definitely use this, FreeBSD (for example) does
Hi,
with ghc-7.8.20140130 I get the compilation error:
Not in scope: type constructor or class ‛Typeable2’
Perhaps you meant ‛Typeable’ (imported from Data.Typeable)
What is the recommend way to adjust my code or my dependencies?
Cheers Christian
Am 03.02.2014 23:35, schrieb Austin
is compiled on Solaris 11.0 so probably of no use for you on
Solaris 10. Also I needed to provide separate tarball of compiled and
installed libgmp.so as the Solaris 11's provided does not satisfy GHC
requirements and GHC refuses to use that...
Karel
On 02/ 5/14 04:28 PM, Christian Maeder wrote:
Hi
On 02/ 5/14 04:28 PM, Christian Maeder wrote:
Hi, I was surprised to find a Solaris bindist. However, on our SunOS
5.10 ./configure failed miserably.
-bash-3.2$ ./configure
checking for path to top of build tree...
utils/ghc-pwd/dist-install/build/tmp/ghc-pwd-bindist:
LD_LIBRARY_PATH=libraries
cabal install lifted-base
finally fails with:
[5 of 6] Compiling Control.Exception.Lifted (
Control/Exception/Lifted.hs, dist/build/Control/Exception/Lifted.p_o )
Control/Exception/Lifted.hs:82:1: Warning:
The import of ‛Monad’ from module ‛Control.Monad’ is redundant
[6 of 6]
Hi, I was surprised to find a Solaris bindist. However, on our SunOS
5.10 ./configure failed miserably.
-bash-3.2$ ./configure
checking for path to top of build tree...
utils/ghc-pwd/dist-install/build/tmp/ghc-pwd-bindist:
Am 05.02.2014 16:45, schrieb Roman Cheplyaka:
* Christian Maeder christian.mae...@dfki.de [2014-02-05 16:28:50+0100]
This happens, because our /bin/sh is a real sh (and not a bash)
that only allows to export LD_LIBRARY_PATH as a separate command.
You mean it's a real sh and not a POSIX
Am 05.02.2014 17:06, schrieb Brandon Allbery:
Whatever it is, maybe it is a Korn Shell under (older) Solaris, it
does not support:
The Korn shell is where the `export NAME=value` syntax originated.
It is a Bourne Shell under (our) SunOS 5.10 (not to be mixed up with
Bourne-again
worked for me under x86 SunOS 5.10
Cheers Christian
OVERALL SUMMARY for test run started at Donnerstag, 3. Januar 2013,
09:52:19 Uhr CET
3402 total tests, which gave rise to
13556 test cases, of which
10 caused framework failures
10486 were skipped
2954 expected passes
Am 15.08.2012 23:13, schrieb Yitzchak Gale:
But in my opinion, by far the best solution, using only
GADTs, was submitted by Eric Mertens:
http://hpaste.org/44469/software_stack_puzzle
Eric's solution could now be simplified even further
using data kinds.
Find attached a version (based on
Am 14.08.2012 16:08, schrieb Simon Hengel:
On Tue, Aug 14, 2012 at 03:47:18PM +0200, Christian Maeder wrote:
[...]
I cannot test much, as long as the text package cannot be installed.
Feel free to use my git version: https://github.com/sol/text
Thanks, I've use it for http
a = AccessToken a AccessTokenData
C.
Am 14.08.2012 18:32, schrieb Felipe Almeida Lessa:
2012/8/14 Christian Maeder christian.mae...@dfki.de:
Why not use plain h98?
data UserAccessToken = UserAccessToken UserId AccessTokenData UTCTime
data AppAccessToken = AppAccessToken AccessTokenData
Am 15.08.2012 17:58, schrieb Felipe Almeida Lessa:
On Wed, Aug 15, 2012 at 12:54 PM, Christian Maeder
christian.mae...@dfki.de wrote:
Well, Either was an adhoc choice and should be application specific.
Another h98 solution would be to keep the common part in a single
constructor:
data
Am 12.08.2012 21:57, schrieb Ian Lynagh:
We are pleased to announce the first release candidate for GHC 7.6.1:
http://www.haskell.org/ghc/dist/7.6.1-rc1/
This includes the source tarball, installers for 32bit and 64bit
Windows, and bindists for amd64/Linux, i386/Linux, amd64/OSX and
Am 14.08.2012 14:48, schrieb Felipe Almeida Lessa:
data AccessToken kind where
UserAccessToken :: UserId - AccessTokenData - UTCTime -
AccessToken UserKind
AppAccessToken :: AccessTokenData - AccessToken AppKind
data UserKind
data AppKind
(Yes, that could be a data
Hi,
I think this bug is serious and should be turned into a ticket on
http://hackage.haskell.org/trac/ghc/
Would you do so Sönke?
The abstraction of floats (Float or Double) is broken if equality
considers (random and invisible) excess bits that are not part of the
ordinary sign, exponent
Am 11.07.2012 10:25, schrieb Simon Marlow:
On 11/07/2012 08:36, Christian Maeder wrote:
Hi,
I think this bug is serious and should be turned into a ticket on
http://hackage.haskell.org/trac/ghc/
Would you do so Sönke?
The abstraction of floats (Float or Double) is broken if equality
considers
Am 10.07.2012 13:06, schrieb Sönke Hahn:
I've attached the code. The code does not make direct use of
unsafePerformIO. It uses QuickCheck, but I don't think, this is a
QuickCheck bug. The used Eq-instance is the one for Float.
The Eq-instance for floats is broken wrt NaN
Prelude (0/0 ::
It also works (exposes the bug on x86) without Quickcheck and Doubles:
main = prop 6.0 0.109998815
prop m x = do
let a = x * m
putStrLn (show a ++ foo)
print (x * m == a)
0.65999289 foo
False
The middle line seems to prevent CSE.
C.
Am 10.07.2012 13:06, schrieb Sönke Hahn:
Hi,
in
http://www.haskell.org/ghc/docs/7.4.1/html/users_guide/options-sanity.html
I've found no description for -fwarn-auto-orphans
Cheers Christian
___
Glasgow-haskell-users mailing list
Glasgow-haskell-users@haskell.org
Am 08.01.2012 04:39, schrieb Bogdan Opanchuk:
Hello,
Consider the following code:
{-# LANGUAGE MultiParamTypeClasses, FlexibleInstances, OverlappingInstances,
UndecidableInstances, FunctionalDependencies #-}
We have also such (cruel) code using these extension.
t4.hs:17:31:
Am 09.01.2012 13:16, schrieb Christian Maeder:
I cannot answer this, but our code also compiles with ghc-7.2.2 using a
lower context-stack (of 26).
Apologies, I've just re-checked and noticed that our code changed and
needs consistently -fcontext-stack=26 for ghc-7.2.2 and ghc-7.0.4 (and
ghc
Hi,
full recompilation with ghc-7.4.1-rc1 is already triggered by a changed
-o option, which is inconvenient when creating different binaries with
shared modules. (see below)
It is no problem if I always omit the -o option and get binaries named
like my input file, though.
Can/should this
Hi,
I've noticed that with ghc-7.2 many modules with
LANGUAGE TypeSynonymInstances
now also require FlexibleInstances
Two examples are in the HTTP package Network.TCP and
Network.BufferType
Was ghc-7.0 wrong about this, before?
Cheers Christian
Am 29.07.2011 20:21, schrieb Ian Lynagh:
We
I've just found http://hackage.haskell.org/trac/ghc/ticket/5377
which explains it.
C.
Am 05.08.2011 12:56, schrieb Christian Maeder:
Hi,
I've noticed that with ghc-7.2 many modules with
LANGUAGE TypeSynonymInstances
now also require FlexibleInstances
Two examples are in the HTTP package
Am 06.06.2011 12:08, schrieb Johan Tibell:
On Sun, Jun 5, 2011 at 2:38 PM, Ian Lynaghig...@earth.li wrote:
On Sun, Jun 05, 2011 at 02:10:39PM +0200, Johan Tibell wrote:
I need to reproduce a bug that only appears on 32-bit machines. I
don't own such a machine but I was hoping I could compile
Am 29.03.2011 13:46, schrieb Bas van Dijk:
Dear Bjorn,
Attached is a patch that fixes a context reduction stack overflow in
your dimensional package.
I noticed something weird though (that's why I'm CCing the ghc list).
When I cabal build dimensional-0.8.2 I first get the context reduction
ghc should not fail if HOME is not set. It certainly cannot look up
local packages then, but ghc should work without those, too.
ghc is a compiler like gcc. Does gcc need HOME?
Cheers Christian
Am 25.03.2011 08:26, schrieb Joachim Breitner:
Hi,
new FTBFS coming up: ghc fails if HOME is not
Am 21.03.2011 18:40, schrieb wren ng thornton:
On 3/21/11 4:16 AM, Christian Maeder wrote:
Am 20.03.2011 20:01, schrieb wren ng thornton:
So I'm having a go of installing ghc-7.0.2 and
haskell-platform-2011.2.0.0 on OSX 10.5. Since 10.5 is no longer
supported I've had to compile from source
Am 20.03.2011 20:01, schrieb wren ng thornton:
So I'm having a go of installing ghc-7.0.2 and
haskell-platform-2011.2.0.0 on OSX 10.5. Since 10.5 is no longer
supported I've had to compile from source. The good news is, so far as I
can tell, everything works right out of the box.[1]
[...]
Am 23.02.2011 15:41, schrieb Ian Lynagh:
On Tue, Feb 22, 2011 at 05:17:35PM +0100, Christian Maeder wrote:
Am 22.02.2011 14:47, schrieb Ian Lynagh:
On Tue, Feb 22, 2011 at 09:59:20AM +0100, Christian Maeder wrote:
Where does cabal get its flags from? (hardcoded?)
From the C compiler flags
Am 14.03.2011 06:26, schrieb C K Kashyap:
Looks like a job for Data.Binary.
I'd like to use it with just the libraries that are part of the
platform
I forgot to mention, Data.Binary does not seem to be in the platform.
Right, it is not in the platform, but I would recommend
Why is the file still not being updated?
http://www.haskell.org/ghc/dist/7.0.2/testsuite-7.0.2.tar.bz2
C.
Am 10.03.2011 03:22, schrieb Jens Petersen:
On 4 March 2011 23:14, Christian Maeder christian.mae...@dfki.de wrote:
http://www.haskell.org/ghc/dist/7.0.2/testsuite-7.0.2.tar.bz2
Am 11.03.2011 11:32, schrieb Max Bolingbroke:
On 10 March 2011 17:51, Christian Maeder christian.mae...@dfki.de wrote:
Why does the base package depend on iconv only on macs? iconv is not
needed under linux or solaris (unless you install haskeline, which is
not in the platform.
I don't have
Dear All,
we would appreciate a ghc-7.0.2 distribution package via macports,
because we intend to make macports packages based on ghc and gtk+2.0.
Libraries from the Haskell-Platform would be nice, too.
Was macports given up?
Via port pkg we want to create binary mac packages, however, these
.
The official ghc is linked and links against /usr/lib/libiconv.dylib,
which makes a problem as soon as -L/opt/local/lib is added by some cabal
package. But this can be fixed by adding -L/usr/lib as first argument to
ghc.
C.
On Thu, Mar 10, 2011 at 5:50 AM, Christian Maeder
christian.mae...@dfki.de wrote
.
On Thu, Mar 10, 2011 at 6:58 AM, Christian Maeder
christian.mae...@dfki.de wrote:
Am 10.03.2011 15:52, schrieb Don Stewart:
Does MacPorts still interact badly with libiconv? (The system and
MacPorts versions out of sync, making Haskell unbuildable unless in
MacPorts).
ghc from macports was build
Hi,
compiling a simple putStrLn Hello program creates binaries of size:
ghc-6.12.3: 719K
ghc-7.0.1: 7,4M
ghc-7.0.2: 6,9M
otool -L for the ghc-7 binaries displays:
/usr/lib/libiconv.2.dylib (compatibility version 7.0.0, current
version 7.0.0)
/usr/lib/libSystem.B.dylib
I still cannot make sense out of this testsuite-7.0.2.tar.bz2
C.
Am 04.03.2011 15:14, schrieb Christian Maeder:
http://www.haskell.org/ghc/dist/7.0.2/testsuite-7.0.2.tar.bz2
This archive does not seem to have the actual tests inside the testsuite
subdirectory. At least the README
I've created a ticket for it:
http://hackage.haskell.org/trac/ghc/ticket/5008
C.
Am 09.03.2011 14:06, schrieb Christian Maeder:
Hi,
compiling a simple putStrLn Hello program creates binaries of size:
ghc-6.12.3: 719K
ghc-7.0.1: 7,4M
ghc-7.0.2: 6,9M
otool -L for the ghc-7 binaries
http://www.haskell.org/ghc/dist/7.0.2/testsuite-7.0.2.tar.bz2
This archive does not seem to have the actual tests inside the testsuite
subdirectory. At least the README is identical to the top-level one.
Cheers Christian
Am 03.03.2011 15:41, schrieb Ian Lynagh:
Am 28.02.2011 21:47, schrieb Ian Lynagh:
On Mon, Feb 28, 2011 at 04:08:55PM +0100, Christian Maeder wrote:
Am 28.02.2011 13:33, schrieb Christian Maeder:
Am 20.02.2011 22:16, schrieb Ian Lynagh:
We are pleased to announce the second release candidate for GHC 7.0.2:
http
Am 28.02.2011 21:47, schrieb Ian Lynagh:
[...]
week (which also puts back the HP release, the 7.2.1 release, and at
this rate even the 7.4 release!).
Why are you talking about a 7.2.1 release and even 7.4? The GHC trac
does not even have descriptions for those. Instead there's a milestone
for
Am 20.02.2011 22:16, schrieb Ian Lynagh:
We are pleased to announce the second release candidate for GHC 7.0.2:
http://www.haskell.org/ghc/dist/7.0.2-rc2/
I'm surprised this is already the second release candidate for GHC
7.0.2. The first release candidate was announced 16.12.2010 (and
Am 28.02.2011 13:33, schrieb Christian Maeder:
Am 20.02.2011 22:16, schrieb Ian Lynagh:
We are pleased to announce the second release candidate for GHC 7.0.2:
http://www.haskell.org/ghc/dist/7.0.2-rc2/
I'm surprised this is already the second release candidate for GHC
7.0.2. The first
Adding -optl-w to ghc's command line suppresses this (probably harmless)
warning.
ghc --make -fforce-recomp -optl-w Hello.hs
Christian
Am 23.02.2011 20:55, schrieb David Peixotto:
I'm getting a warning from the linker when building programs using the 64-bit
version of the release candidate
Am 21.02.2011 19:16, schrieb Ian Lynagh:
On Mon, Feb 21, 2011 at 05:44:54PM +0100, Christian Maeder wrote:
% cabal --version
cabal-install version 0.9.5
using version 1.10.1.0 of the Cabal library
With this the cabal-install command, you can install the network package.
No, I've tried
Am 22.02.2011 14:47, schrieb Ian Lynagh:
On Tue, Feb 22, 2011 at 09:59:20AM +0100, Christian Maeder wrote:
Where does cabal get its flags from? (hardcoded?)
From the C compiler flags, Gcc Linker flags and Ld Linker flags
entries in ghc --info's output.
Ok, they are not in bin/ghc script
Am 20.02.2011 22:16, schrieb Ian Lynagh:
We are pleased to announce the second release candidate for GHC 7.0.2:
http://www.haskell.org/ghc/dist/7.0.2-rc2/
This includes the source tarball, the Windows installer, and bindists
for 32bit and 64bit Intel OS X, amd64/Linux, i386/Linux,
for 10.6 but not for 10.5.
Christian
Am 21.02.2011 11:14, schrieb Christian Maeder:
[...]
I get an error when trying to cabal install network using
http://www.haskell.org/ghc/dist/7.0.2-rc2/ghc-7.0.1.20110217-x86_64-apple-darwin.tar.bz2
C.
Configuring network-2.3.0.2...
checking build
Am 21.02.2011 13:03, schrieb Max Bolingbroke:
On 21 February 2011 11:50, Christian Maeder christian.mae...@dfki.de wrote:
The problem (below) is caused by the new flags
-isysroot /Developer/SDKs/MacOSX10.5.sdk -mmacosx-version-min=10.5
inside hsc2hs that have been added to fix
http
Am 18.11.2010 11:12, schrieb Simon Marlow:
On 17/11/2010 14:34, Christian Maeder wrote:
ghc can be built without and with libffi.
Which build option are you referring to here?
I did not use any explicit build option, but just created a
binary-distribution from sources without having /usr
Am 18.11.2010 13:04, schrieb Simon Marlow:
ghc-pkg describe rts only lists:
extra-libraries: m rt dl
$ ghc-pkg field rts depends
depends: builtin_ffi
$ ghc-pkg describe ffi
name: ffi
version: 1.0
id: builtin_ffi
...
this entry does not say that it wants to link against libffi (and
Am 18.11.2010 13:04, schrieb Simon Marlow:
also for the official ghc-7.0.1-i386-unknown-linux.tar.bz2 that is
linked against libffi (I hope not, unnecessarily). Does this mean that
GHCi is based on a different RTS?
That does seem strange. My 32-bit GHC here doesn't link against libffi:
ghc can be built without and with libffi. What advantage do I gain in
the latter case? The packages that come with ghc (displayed by ghc-pkg
dump) don't use it.
Thanks Christian
Am 16.11.2010 13:03, schrieb Christian Maeder:
http://new-www.haskell.org/ghc/dist/7.0.1/ghc-7.0.1-i386-unknown
Congratulation to shared libraries, but for
http://new-www.haskell.org/ghc/dist/7.0.1/ghc-7.0.1-i386-unknown-linux.tar.bz2
./configure failed with:
checking for path to top of build tree... utils/ghc-pwd/ghc-pwd: error
while loading shared libraries: libffi.so.5: cannot open shared object
file:
What was the name of the flag for ghc-7.0.1?
I did not find it in the documentation. -fwarn-incomplete-patterns does
not work for my lambda expressions.
Cheers Christian
Am 22.09.2010 18:05, schrieb Simon Peyton-Jones:
Good point. Simon and I have decided we agree. I'll push a patch shortly.
Am 16.11.2010 17:49, schrieb Christian Maeder:
What was the name of the flag for ghc-7.0.1?
I did not find it in the documentation. -fwarn-incomplete-patterns does
not work for my lambda expressions.
-fno-warn-incomplete-patterns works! (Unfortunately not for lambda
abstractions, separately
Am 03.11.2010 11:59, schrieb John Lato:
From: Simon Michael si...@joyful.com mailto:si...@joyful.com
On 11/2/10 10:20 AM, John Lato wrote:
Since Apple seems disinclined to fix the system's libiconv, and
macports projects refuse to use it, the only real
solution is to
Am 02.11.2010 18:03, schrieb Thorkil Naur:
Hello,
On Tue, Nov 02, 2010 at 01:03:04PM +0100, Christian Maeder wrote:
...
Are there better workarounds?
I am not sure about that, I assume that you have looked at
http://hackage.haskell.org/trac/ghc/ticket/4068?
no, I found Simon Michael's
Hi,
after installing
http://lambda.galois.com/hp-tmp/2010.2.0.0/haskell-platform-2010.2.0.0.i386.dmg
and various more libraries using cabal, we get the following linker
error below.
A simple hello program compiles and links fine and uses
/usr/lib/libiconv.2.dylib (compatibility version 7.0.0,
Am 02.11.2010 11:48, schrieb Christian Maeder:
Hi,
after installing
http://lambda.galois.com/hp-tmp/2010.2.0.0/haskell-platform-2010.2.0.0.i386.dmg
and various more libraries using cabal, we get the following linker
error below.
A simple hello program compiles and links fine and uses
Am 29.10.2010 20:38, schrieb Ian Lynagh:
We are pleased to announce the second release candidate for GHC 7.0.1:
http://new-www.haskell.org/ghc/dist/7.0.1-rc2/
Works fine for me. I need a higher -fcontext-stack of 31 (instead of 20)
and the compile time without optimization increased
and hets compiles fine after setting -fcontext-stack=100. (I did not try
smaller values yet.)
Thanks a lot
Christian
Simon
| -Original Message-
| From: glasgow-haskell-users-boun...@haskell.org
[mailto:glasgow-haskell-users-
| boun...@haskell.org] On Behalf Of Christian Maeder
| Sent
Again thanks, it works with ghc 7.1.20101024
C.
Am 18.10.2010 18:16, schrieb Simon Peyton-Jones:
Thanks. We knew about this -- in flight changes happening now -- but I've
added it as a new regression test even so.
Simon
| -Original Message-
| From: Christian Maeder
Hi,
I've looked at:
http://hackage.haskell.org/trac/ghc/blog/LetGeneralisationInGhc7
but still have a problem with the attached program that fails with:
GHCi, version 7.1.20101010: http://www.haskell.org/ghc/ :? for help
Loading package ghc-prim ... linking ... done.
Loading package
Am 14.10.2010 15:44, schrieb Serge D. Mechveliani:
I have the two notes on the GHC library.
The docs show that
1. Map has the function for the Map inclusion relation,
and Set does not have such for sets.
Which function(s) do you mean?
Data.Map:
isSubmapOf :: (Ord k, Eq a) = Map k a -
Am 14.10.2010 17:27, schrieb Christian Maeder:
2. notMember looks unnecessary, because one can write
not . Map.member k.
That's the same for elem and notElem.
One motivation was to ease LaTeX creation by replacing `notElem` with
\notin.
Cheers Christian
Regards
is
better.)
Simon
| -Original Message-
| From: glasgow-haskell-users-boun...@haskell.org [mailto:glasgow-haskell-
| users-boun...@haskell.org] On Behalf Of Christian Maeder
| Sent: 27 September 2010 15:32
| Cc: glasgow-haskell-users@haskell.org
| Subject: Re: context-stack GHC 7.0.1
Hi,
thanks for pointing this out.
Am 29.09.2010 06:47, schrieb Andrés Sicard-Ramírez:
Hi Christian,
On Thu, Sep 9, 2010 at 4:35 AM, Christian Maeder
christian.mae...@dfki.de wrote:
Hi,
we call from our haskell application the metis prover via
System.Process.readProcessWithExitCode
Am 27.09.2010 13:31, schrieb Daniel Fischer:
On Monday 27 September 2010 12:58:08, Christian Maeder wrote:
I've tried to install HTTP (for cabal-install) and get the following
error:
Configuring HTTP-4000.0.9...
Setup: At least the following dependencies are missing:
base ==3.*
What
Am 27.09.2010 13:44, schrieb Christian Maeder:
Am 27.09.2010 13:31, schrieb Daniel Fischer:
On Monday 27 September 2010 12:58:08, Christian Maeder wrote:
I've tried to install HTTP (for cabal-install) and get the following
error:
Configuring HTTP-4000.0.9...
Setup: At least the following
Am 27.09.2010 14:06, schrieb Christian Maeder:
The HTTP.cabal file is not correct!
Build-depends: base = 2 4, network, parsec, mtl
Changing 4 to 5 works for the HTTP package (which is buggy
anyway http://hackage.haskell.org/trac/ghc/ticket/4251).
But adjusting cabal-install.cabal
Am 26.09.2010 21:03, schrieb Ian Lynagh:
We are pleased to announce the first release candidate for GHC 7.0.1:
http://new-www.haskell.org/ghc/dist/7.0.1-rc1/
This includes the source tarball, installers for OS X and Windows, and
bindists for amd64/Linux and i386/Linux.
Please test
Logic.Modification failed after 2 hours with such
a large error message, that I could not scroll back to the top.)
Simon
| -Original Message-
| From: glasgow-haskell-users-boun...@haskell.org
[mailto:glasgow-haskell-users-
| boun...@haskell.org] On Behalf Of Christian Maeder
| Sent
Am 22.09.2010 18:05, schrieb Simon Peyton-Jones:
Good point. Simon and I have decided we agree. I'll push a patch shortly.
For patterns in left hand sides (lhs) of let or where also no warnings
are issued.
data Foo = Bar Int | Baz
test3 :: Foo - Int
test3 x = let Bar i = x in i
Will or
Am 23.09.2010 10:40, schrieb Simon Peyton-Jones:
| For patterns in left hand sides (lhs) of let or where also no warnings
| are issued.
|
| data Foo = Bar Int | Baz
|
| test3 :: Foo - Int
| test3 x = let Bar i = x in i
|
| Will or should these cases be covered, too?
No, I don't plan
Brandon S Allbery KF8NH schrieb:
On 9/9/10 05:35 , Christian Maeder wrote:
System.Process.readProcessWithExitCode metis filename
If all else fails, there's:
sh -c '(sleep 120; kill -TERM $$ /dev/null 21) exec metis'
Yes, I've considered something like this, too. It does not give metis
Hi,
we call from our haskell application the metis prover via
System.Process.readProcessWithExitCode metis filename
However, we are not able to get rid of this process if metis does not
terminate by itself. In particular, wrapping this call into a
System.Timeout.timeout does not work.
Any
Christian Maeder schrieb:
Hi,
we call from our haskell application the metis prover via
System.Process.readProcessWithExitCode metis filename
However, we are not able to get rid of this process if metis does not
terminate by itself. In particular, wrapping this call
David Peixotto schrieb:
On Sep 9, 2010, at 6:37 AM, Simon Marlow wrote:
On 09/09/2010 10:39, Christian Maeder wrote:
Christian Maeder schrieb:
Hi,
we call from our haskell application the metis prover via
System.Process.readProcessWithExitCode metis filename
However, we are not able
/2010 16:37, Christian Maeder wrote:
Christian Maeder schrieb:
Simon Marlow schrieb:
On 23/08/2010 17:45, Brandon S Allbery KF8NH wrote:
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
On 8/23/10 11:57 , Christian Maeder wrote:
However, when I try to compile the simplest source with on older
Simon Marlow schrieb:
On 23/08/2010 17:45, Brandon S Allbery KF8NH wrote:
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
On 8/23/10 11:57 , Christian Maeder wrote:
However, when I try to compile the simplest source with on older
gcc-3.4.4 I get the link error below, but only for the threaded
Christian Maeder schrieb:
Simon Marlow schrieb:
On 23/08/2010 17:45, Brandon S Allbery KF8NH wrote:
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
On 8/23/10 11:57 , Christian Maeder wrote:
However, when I try to compile the simplest source with on older
gcc-3.4.4 I get the link error below
Hi,
I've created a sparc solaris installation of ghc-6.12.3 using
gcc-4.3.3
However, when I try to compile the simplest source with on older
gcc-3.4.4 I get the link error below, but only for the threaded rts!
With ghc-6.12.1 and gcc-4.x.y (x 3) I did not have such a problem when
switching to
Hi,
seeing
http://www.haskell.org/ghc/docs/6.12.2/html/users_guide/syntax-extns.html#new-qualified-operators
Could you add:
Spaces are not allowed in new qualified operators!
For
{-# LANGUAGE NewQualifiedOperators #-}
f1 = (+)
f2 = ( +)
f3 = (+ )
f4 = Prelude.(+)
f5 = Prelude.( +)
f6 =
Hi,
I've successfully compiled ghc-6.12.3 under x86 solaris.
However, for the testsuite I had to add '-lz' to the threaded1 entry of
config.way_flags in file testsuite/config/ghc:
'threaded1' : ['-lz', '-threaded', '-debug'],
Otherwise I got many link failures of the kind:
Compile
Chris Kuklewicz schrieb:
hsc2hs: On OS 10.6 ghc is calling hsc2hs without any special -arch
option, and hsc2hs is calculating offsets in x86_64 mode. This is
breaking the interface between ghc and c-structures for various
libraries. In particular I ran into this with gtk2hs.
It may
Axel Simon schrieb:
Hi Ian,
I can build this version on Mac OS X 10.5 and compile Gtk2Hs against it.
All concurrency demos work and the more complicated demos work that
trigger several levels of callbacks (to C and back to Haskell).
1. I could not install gtk2hs-0.11.0 under x86 Solaris.
Simon Marlow schrieb:
On 23/02/10 18:46, Christian Maeder wrote:
Ross Paterson schrieb:
On Tue, Feb 23, 2010 at 03:05:56PM -, Bayley, Alistair wrote:
Just a wild guess, but the package description has this non-ascii text:
author: Ralf Lämmel, Simon Peyton Jones
It could
1 - 100 of 490 matches
Mail list logo
