#1320: FAQ item for running GHCi on WinXP x64 using DEP
--+-
Reporter: guest| Owner:
Type: task | Status: new
Priority: low |
#1321: GHCi stdout bug when base package is not optimised
---+
Reporter: simonmar | Owner:
Type: bug | Status: new
Priority: normal| Milestone: 6.8
Component:
#1320: FAQ item for running GHCi on WinXP x64 using DEP
-+--
Reporter: guest |Owner:
Type: task | Status: closed
Priority: low
#1317: add warning for the Prelude being imported implicitly
+---
Reporter: Isaac Dupree |Owner:
Type: feature request | Status: new
Priority: normal |
#1313: HEAD gives warnings about code that it generates itself
+---
Reporter: igloo|Owner: simonpj
Type: bug | Status: closed
Priority: normal
#1306: GHC generates warning about internally generated functions
-+--
Reporter: guest |Owner:
Type: bug | Status: closed
Priority: normal|Milestone:
#1308: Type signature in warning is wrong
-+--
Reporter: guest |Owner:
Type: bug | Status: new
Priority: normal|Milestone:
Component: Compiler |
#1256: GHC warns about omitting type signatures; would be more helpful if it
supplied inferred type signature
+---
Reporter: guest|Owner:
Type: feature request | Status:
#1311: newtypes of unboxed types disallowed - documentation bug and/or feature
request
+---
Reporter: Isaac Dupree |Owner:
Type: feature request | Status: new
Priority: low
#1310: confusing error message when trying to give a type-signature to an
imported
symbol
-+--
Reporter: Isaac Dupree |Owner:
Type: bug | Status: closed
Priority: normal
#1204: Associated types don't work with record updates
+---
Reporter: [EMAIL PROTECTED] |Owner:
Type: bug | Status: closed
Priority: normal
#1308: Type signature in warning is wrong
-+--
Reporter: guest |Owner:
Type: bug | Status: new
Priority: normal|Milestone:
Component: Compiler |
Bas van Dijk wrote:
However the build now crashes when running Haddock on Cabal:
...
ifBuildable/ifBuildable Cabal setup/Setup haddock
Preprocessing library Cabal-1.1.7...
Running Haddock for Cabal-1.1.7...
Warning: cannot use package base-2.1:
ghc-pkg failed
On 5/2/07, Simon Marlow [EMAIL PROTECTED] wrote:
Thanks, I think I've fixed this one now.
You did indeed, thanks!
Now I get another error when compiling main/GHC.hs:
../compiler/stage1/ghc-inplace -H64m -Onot -fasm -optc-march=athlon64
-opta-march=athlon64 -istage2/utils
Bas van Dijk wrote:
On 5/2/07, Simon Marlow [EMAIL PROTECTED] wrote:
Thanks, I think I've fixed this one now.
You did indeed, thanks!
Now I get another error when compiling main/GHC.hs:
../compiler/stage1/ghc-inplace -H64m -Onot -fasm -optc-march=athlon64
-opta-march=athlon64
Hi
I have a program (below) which when compiled with -O2 gives the result:
H:\work\supero\charcounttype log.txt | diff.exe
i am here
109
done
The process tried to write to a nonexistent pipe.
And when compiled with -O0 gives:
H:\work\supero\charcounttype log.txt | diff
i am here
109
i am here
Hello Neil,
Wednesday, May 2, 2007, 7:00:05 PM, you wrote:
{-# NOINLINE wrapIO #-}
wrapIO x = unsafePerformIO (x = return)
-fno-cse ? it's usual company for unsafePerformIO+NOINLINE :)
--
Best regards,
Bulatmailto:[EMAIL PROTECTED]
Hi Bulat,
Wednesday, May 2, 2007, 7:00:05 PM, you wrote:
{-# NOINLINE wrapIO #-}
wrapIO x = unsafePerformIO (x = return)
-fno-cse ? it's usual company for unsafePerformIO+NOINLINE :)
No luck, alas. A slightly tweaked version, which is slightly simpler
and still gives the same behaviour is
Hi
Thanks to dcoutts, I have now come up with an answer. I don't
understand why it works now, but not before. I do remember than
browsing either Core or STG is not a fun thing to do...
p_System_IO_hGetChar h = trace i am here $
unsafePerformIO $ getCharIO h
{-# NOINLINE getCharIO #-}
On 5/2/07, Simon Marlow [EMAIL PROTECTED] wrote:
I believe this one is now fixed, sorry about that.
No problem. I'm now able to successfully make GHC. Thanks about that!
However 'make install' fails:
$ make install
...
ifBuildable/ifBuildable base setup/Setup install
copy directory
On Wed, 2007-05-02 at 16:33 +0100, Neil Mitchell wrote:
Hi
Thanks to dcoutts, I have now come up with an answer. I don't
understand why it works now, but not before.
main = p_System_IO_hGetChar 1
`seq` p_System_IO_hGetChar 2
`seq` putStrLn done
This is fine (though note that
Thanks for the pointer. I get failures (below) when I try to make
install. Does anyone have a suggestion? - Conal
bash-3.2$ ./configure
checking build system type... i686-pc-cygwin
checking host system type... i686-pc-cygwin
checking target system type... i686-pc-cygwin
Which we'll further
Thanks for the pointer. I get failures (below) when I try to make
install. Does anyone have a suggestion? - Conal
if you are talking about the good old-fashioned snapshots, there shouldn't
be any configuration or install, just untar where you need it?
claus
bash-3.2$ ./configure
checking
[Note: Sorry if this is a duplicate. I originally sent the patches
inline in the mail, but the resulting mail grew rather big and is
awaiting moderators approval now. (moderators: no need to approve it)]
Bas van Dijk wrote:
On 5/2/07, Simon Marlow [EMAIL PROTECTED] wrote:
I believe this one is
Federico Squartini wrote:
Thanks for the hints. It's a pity that (as far as I know) no one has
written a tutorial on those techniques, because I think it would be
appreciated. Some of them are quite involved and learning them just by
reading code is very time consuming.
There's the Performance
These Haskell lists seems to have a problem of having to many elitist
pricks on it admittedly I am probably in this category as well so I will
help you guys and by eliminating one prick and remove myself from the
list good luck with the rest of them
Troy
-Original Message-
From: [EMAIL
Dear Stefan, thanks for your comment.
E.g. the Coq papers define its elimination constructs either as
a catamorphism, or as a combination of casefix, where the recursive calls
are appropriately restricted to pass subterms as arguments.
if we replace the subterm ordering by some other
On 2 May 2007, at 12:18, Johannes Waldmann wrote:
If you want to contribute further to the discussion,
then please do so via http://groups.google.com/group/fp-termination
(I don't want to clutter the haskell mailing list,
but I want to have the discussion in some public place.)
Isn't
Hi Jahannes,
I don't want to make a big research project out of this,
rather I think of quickly putting together a prototype
that proves the concept.
I figure it could be distilled from some existing refactoring suite,
or be manufactured from existing building blocks.
Well, HaRe -- the
Hello Federico,
Tuesday, May 1, 2007, 7:23:45 PM, you wrote:
Thanks for the hints. It's a pity that (as far as I know) no one has
written a tutorial on those techniques,
except for me :) - http://haskell.org/haskellwiki/Modern_array_libraries
--
Best regards,
Bulat
Hello Donald,
Wednesday, May 2, 2007, 7:38:25 AM, you wrote:
Here's an improved version, using Foreign.Marshal.Array. I spent about 2
minutes inspecting the core, as well.
i think that using just the ! on array arguments should be enough.
there is nothing magic in usafeReadArray calls, they
Hello,
could someone please explain why fix is necessary here:
fix (\f l - if null l then [] else let (s,e) = break (==' ') l in s:f (drop 1
e))
Source: http://www.haskell.org/haskellwiki/Blow_your_mind
Thanks.
phiroc
---BeginMessage---
Hello,
could someone please explain why fix in
Hello,
the Haskell homepage contains a link “Applications and libraries” but the page
it links to is called “Libraries and tools”. Since the title “Applications
and libraries” is better (A tool is an application and the page is also about
non-tool applications.), I changed its name. I had to
On 02/05/07, [EMAIL PROTECTED] [EMAIL PROTECTED] wrote:
Hello,
could someone please explain why fix is necessary here:
fix (\f l - if null l then [] else let (s,e) = break (==' ') l in s:f (drop 1
e))
Source: http://www.haskell.org/haskellwiki/Blow_your_mind
Because you're writing a
Hi,
I'm pleased to announce the 1.1.0 release of HDBC and the three primary
backends.
The big news is an API change, implemented by Peter Thiemann, that
transforms the primary connection object from a record to a typeclass.
This allows database backends to define their own private functions that
Yes. I often do this when people miss the guidelines. After renaming,
some links become redirects, but people usually clean those up
eventually. (It can be done by clicking on the What links here on the
WIKI page and then changing the links it finds.)
On Wed, 2007-05-02 at 17:55 +0200,
Iavor Diatchki wrote:
Notice, furthermore, that the behavior of such constructors may be a
bit unexpected when combined with overloading. Consider, for example,
the following declarations:
data T = T !(forall a. Eq a = a)
test = seq (T undefined) True
In GHC 6.6 ``test`` evaluets to
The FileManip package provides expressive functions and combinators for
searching, matching, and manipulating files.
It provides three modules.
System.FilePath.Find lets you search a filesystem hierarchy efficiently:
find always (extension ==? .rb) = mapM_ remove
Bryan O'Sullivan wrote:
The FileManip package provides expressive functions and combinators for
searching, matching, and manipulating files.
As seems to be my habit, I forgot something important, namely where to
get FileManip from.
The FileManip package provides expressive functions and combinators for
searching, matching, and manipulating files.
hi Brian,
i'm a fan of find | xargs, so a portable haskell replacement unencumbered
by viral licenses would be very welcome. i have no intention to participate
in
Duncan Coutts wrote:
On Tue, 2007-05-01 at 22:29 +0100, Magnus Therning wrote:
So if foo.hs is in test-src and Foo/Bar.hs is in src then I think you
just need:
hs-source-dirs: test-src, src
No, that's not enough, I also have to add the following lines to make
the executable compile and link:
On Wed, 2007-05-02 at 09:59 +0100, Claus Reinke wrote:
The FileManip package provides expressive functions and combinators for
searching, matching, and manipulating files.
hi Brian,
i'm a fan of find | xargs, so a portable haskell replacement unencumbered
by viral licenses would be
Hi
Could we have a collective thought, and decide whether we wish to
either kill off all compilers that don't start with a G, or could
people at least do minimal benchmarking on Hugs? I'm not quite sure
what the solution is, but it probably needs some discussion.
I don't think doing
i'm a fan of find | xargs, so a portable haskell replacement unencumbered
by viral licenses would be very welcome. i have no intention to participate
in yet-another-licencing-discussion, i would just like to ask whether those
limitations of your offering are an accident or intended?
On Mon, 30 Apr 2007, Denis Volk wrote:
Hello all,
I am trying to make a (turn-based) game in Haskell and need to pass
around quite a bit of information, so using the State monad seems most
appropriate. My question is, which is a better idea:
The famous Why functional programming matters
On Wed, 2007-05-02 at 12:00 +0100, Claus Reinke wrote:
i'm a fan of find | xargs, so a portable haskell replacement unencumbered
by viral licenses would be very welcome. i have no intention to participate
in yet-another-licencing-discussion, i would just like to ask whether
those
These Haskell lists seems to have a problem of having to many elitist
pricks on it admittedly I am probably in this category as well so I will
help you guys and by eliminating one prick and remove myself from the
list good luck with the rest of them
Troy
-Original Message-
From: [EMAIL
no need to get all touchy-feely about this.
Perl is popular so it must have some merit.
So is Crack. I still won't smoke it, though.
I don't subscribe to the
flawed reasoning that Perl Hackers just don't know any better or that
they are dumb, or intellectual inferior in some
Hi
no, i browsed the license file before asking my question (no non-restrictive
license needs to be longer than a page). if i wanted to use that library for
anything i want to distribute, my only chance to avoid the source
re-distribution
and advertising clauses would be dynamic linking
Hi Andrew,
Thanks for the comments, it really helps to have someone else's
opinion on my code. I'll be applying what you've said as soon as I
get a chance and I'm sure I'll have some more questions then. I'll
certainly look more closely at the Set interface and try and duplicate
all the parts
On May 2, 2007, at 7:00 , Claus Reinke wrote:
my question. similarly for the unix dependency - it could be
inherent in the
design, or an accident of the author's current platform.
The Haskell libraries don't currently provide a platform-independent
way to do most file tests. I
On Wed, May 02, 2007 at 10:08:41 +0100, Simon Marlow wrote:
[..]
IMO we shouldn't allow both a library and an exe in the same package.
I think I argued against this originally, and my understanding is that
doing this is deprecated, although perhaps not visibly enough.
Whenever the question of what
Hello Neil,
Wednesday, May 2, 2007, 2:48:16 PM, you wrote:
the right answer always, then I think its a much nicer choice. For
the particular case of ByteString, type ByteString=String means you
roughly import Data.List - not that much additional work or
maintenance.
then Binary library want
Claus Reinke wrote:
i have no intention to participate
in yet-another-licencing-discussion, i would just like to ask whether
those limitations of your offering are an accident or intended?
I didn't use the LGPL by accident. However, I might be amenable to
persuasion, perhaps more so if you
Claus Reinke wrote:
if i wanted to use that library
for
anything i want to distribute, my only chance to avoid the source
re-distribution
and advertising clauses would be dynamic linking
I believe that the magical protective properties of dynamic linking
amount to no more than folklore.
Simon Peyton-Jones wrote:
| I like the strong static type system of Haskell for various
| reasons. One reason is, that it makes easier to understand new
| code. I.e. when I read code I type ':t foo' in ghci/hugs from
| time to time, to check my own idea of the type signature, if it
| is not
i have no intention to participate
in yet-another-licencing-discussion, i would just like to ask whether
those limitations of your offering are an accident or intended?
I didn't use the LGPL by accident. However, I might be amenable to
persuasion, perhaps more so if you climb down from that
I think Simon is right, and not just from a Haskell point of view.
Allowing a package to contain a both a library and an executable
makes the behavior of the package system less obvious. That's not to
say that it can't behave correctly, but that it can't behave both
correctly and in a
Jules Bean [EMAIL PROTECTED] wrote,
concerning the problem of getting at the types of local definitions:
Simon Peyton-Jones wrote:
The principal difficulties here are to do with what do we want
rather the implementation challenges.
1. Should the compiler print the type of every
On 2 May 2007 16:16:57 -, [EMAIL PROTECTED] [EMAIL PROTECTED] wrote:
* It would be nice if this worked inside the do-notation, too:
do x :: Ordering
x - m
(This is curently a syntax error.)
I think the following works with -fglasgow-exts:
do (x :: Ordering) - m
--
-David
* It would be nice if this worked inside the do-notation, too:
do x :: Ordering
x - m
(This is curently a syntax error.)
I think the following works with -fglasgow-exts:
do (x :: Ordering) - m
I know, but it is not as nice!
;-)
Wolfram
I'd love to post an ANN: Chicago Haskell user group, but i want to
make sure there's more than one of me.
-johnnn
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
[EMAIL PROTECTED] wrote:
Jules Bean [EMAIL PROTECTED] wrote,
concerning the problem of getting at the types of local definitions:
Simon Peyton-Jones wrote:
The principal difficulties here are to do with what do we want
rather the implementation challenges.
1. Should the compiler
On Wed, May 02, 2007 at 04:16:57PM -, [EMAIL PROTECTED] wrote:
Now the compiler gives you wonderful error messages
``cannot match type `x y z' against Ordering'' ---
so you replace ``Ordering'' with ``x y z''.
You could just use a rigid type variable:
foo :: a
foo = ...
(What is the
G'day all.
Quoting Michael T. Richter [EMAIL PROTECTED]:
Ummm... Udo? Just what the fuck did you hope to accomplish with this
kind of talk?
Guys, could we keep it civil on the list, please?
And for the record:
http://www.perl.com/pub/2000/12/advocacy.html
Cheers,
Andrew Bromage
ajb:
G'day all.
Quoting Michael T. Richter [EMAIL PROTECTED]:
Ummm... Udo? Just what the fuck did you hope to accomplish with this
kind of talk?
Guys, could we keep it civil on the list, please?
And for the record:
http://www.perl.com/pub/2000/12/advocacy.html
I'd like
66 matches
Mail list logo