Stepan Golosunov wrote:
On Mon, Jan 09, 2006 at 02:42:27PM +, Simon Marlow wrote:
Stepan Golosunov wrote:
Is ghc from darcs.haskell.org/ghc supposed to be buildable with ghc
6.2.2 ? I am getting the following error:
utils/Encoding.hs: unknown flags in {-# OPTIONS #-} pragma: _GHC
I
On Tue, Jan 10, 2006 at 09:42:03AM +, Simon Marlow wrote:
Stepan Golosunov wrote:
On Mon, Jan 09, 2006 at 02:42:27PM +, Simon Marlow wrote:
Stepan Golosunov wrote:
Is ghc from darcs.haskell.org/ghc supposed to be buildable with ghc
6.2.2 ? I am getting the following error:
Christian Maeder wrote:
Bulat Ziganshin wrote:
CM My old version is faster, because the version with makeStableName
does
CM very much GC.
CMMUT time 27.28s ( 28.91s elapsed)
CMGCtime 133.98s (140.08s elapsed)
try to add infamous +RTS -A10m switch ;)
You saved my day,
On Jan 10, 2006, at 4:26 AM, Simon Marlow wrote:
Christian Maeder wrote:
Bulat Ziganshin wrote:
CM My old version is faster, because the version with
makeStableName does
CM very much GC.
CMMUT time 27.28s ( 28.91s elapsed)
CMGCtime 133.98s (140.08s elapsed)
try to add
Jan-Willem Maessen wrote:
On Jan 10, 2006, at 4:26 AM, Simon Marlow wrote:
Christian Maeder wrote:
Bulat Ziganshin wrote:
CM My old version is faster, because the version with
makeStableName does
CM very much GC.
CMMUT time 27.28s ( 28.91s elapsed)
CMGCtime 133.98s
2006/1/10, [EMAIL PROTECTED] [EMAIL PROTECTED]:
It seems using types to enforce the policy that a data base handle
cannot ever `leak' out might be a better idea, in Haskell. It is quite
straight-forward to do so: cf. the design of the ST monad guarantees
that an STRef cannot `leak' out in the
There are three active database libraries: HDBC, HSQL and Takusen. It
is quite disappointing from my point of view. Recently there was the
same situation with the GUI libraires. The Haskell Community is quite
small to waste efforts, developing different libraries for the same
things. When I
There has been a lot of talk about Haskell performance recently,
particularly in relation to the shootout benchmarks, with many useful
techniques being mentioned. Some of this information is already
available in various bits of documentation, and some of it is only
emitted in small nuggets by
On Mon, 2006-01-09 at 12:51 -0500, John Peterson wrote:
The reason that MediaWiki was installed on haskell.org is that people
that know how to install and use MediaWiki (Ashley and others)
volunteered to do all the work.
That's fair.
If we want to move up to Drupal we need someone that is
Gour wrote:
Well, I consider more important to first decide resolve about why
rather than how (When there is a will, there is a way. :-) i.e. do
we need/want CMS like Drupal or not. Then, I'm sure we can sort out how
to install it. I personally install some older Drupal on my localhost,
but I'm
On Tue, 2006-01-10 at 17:09 +, Simon Marlow wrote:
Personally I quite like the idea of using a CMS for haskell.org, but
there needs to be enough effort available to make it fly and keep it
flying, and I just don't see that yet.
That is very true, so let's stop taxing our brain with it
Am Montag, 9. Januar 2006 10:56 schrieb Axel Simon:
On Fri, 2006-01-06 at 22:37 +0100, Wolfgang Jeltsch wrote:
Hello again,
now that I had installed libsm-dev and libxmu-dev, building a Gears
binary worked well. Since the problem didn't seem related to the GHC
version, I deinstalled
Wolfgang Jeltsch wrote:
There is already one important objection written on the wiki: You cannot put
your work into the public domain in every country.
So instead you license it under the conditions of Do whatever you
please with it, but don't bug me, which is what is commonly understood
as
On 09/01/06, Twan van Laarhoven [EMAIL PROTECTED] wrote:
I was wondering, in the MonadPlus documentation it says that:
* mzero is the identity of mplus (and some extra conditions)
* mplus is an associative operation
While for Monoid we have:
* mempty is identity of mappend
*
On 1/10/06, Ashley Yakeley [EMAIL PROTECTED] wrote:
Udo Stenzel wrote:
Can we please settle on a This work may be used freely for any purpose
and comes without any expressed or implied warranty and just _link_ to
existing works that don't fit in? Thinking about the subject matter is
hard
Am Dienstag, 10. Januar 2006 22:52 schrieb Ashley Yakeley:
Udo Stenzel wrote:
Can we please settle on a This work may be used freely for any purpose
and comes without any expressed or implied warranty and just _link_ to
existing works that don't fit in? Thinking about the subject matter is
Wolfgang Jeltsch writes:
Maybe we should start with forcing everything on the wiki to be
licensed under a permissive license. We could use the one Udo
proposed. Or we could use a BSD-style license so that we can
incorporate parts of already existing BSD-style-licensed material.
BSD is also
I'm not sure how things work legally, but the wiki itself has all of
the authorship information in it. Simply acknowledging that something
came from the Haskell wiki would allow anyone to identify the
underlying source given the ability to crawl around in page
histories. I wouldn't want to have
I'm no expert on licenses, but I'd like to say what I hope we can
achieve
GOALS
A) It should be easy for people to contribute to the Wiki.
In particular, it should be easy for multiple people to contribute
to a single Wiki page, so that the question who is the author
has (by design) no
In article
[EMAIL PROTECTED]
ft.com,
Simon Peyton-Jones [EMAIL PROTECTED] wrote:
My suggestion would be
* One license for the Wiki. If a contributor wants to put up material
with a different license, then link to it as Udo suggested. (This also
makes it clear that the link is to
[moved from the main Haskell-list: I'm afraid the HDB discussion on
the Haskell mailing list had already been long]
Tim Docker wrote on the Haskell mailing list
The differences between HDBC and HSQL have been recently discussed.
Where does Takusen fit into this picture? From the above, it
John Meacham wrote:
Yeah. this is a major bug in ghc IMHO. I believe it has been fixed, but
am unsure.
It hasn't been fixed, this is the current behaviour and it's likely to
stay that way, I'm afraid.
We used to run finalizers on exit, but we stopped doing that for various
reasons. Even
Hello John,
Tuesday, January 10, 2006, 2:08:44 AM, you wrote:
i want to read a file encoded in utf8 and at a later time output portions of
it
on the console. Is there an easy way to do this in haskell? using the
standard
i/o functions i can read the file but the output gives me \1071 ...
On 1/9/06, Gracjan Polak [EMAIL PROTECTED] wrote:
Hi all,
A bit strange behaviour with hPutStrLn. Consider following program:
main = do
handle - openFile output.txt WriteMode
hPutStrLn handle (unlines contLines2)
-- hFlush houtput
where
contLines2 = flip map
From: [EMAIL PROTECTED]
[mailto:[EMAIL PROTECTED] On Behalf Of Bulat Ziganshin
i have the question about this issue - i also want to provide
autodetection mechanism, which relies on first bytes of text files to
set proper encoding. what is the standard rules to encode utf8/utf16
encoding
On my 1.2 GHz Duron (SuSE linux), I get significantly different timings than
those on the wiki. Sebastian Sylvan's, Kimberley Burchett's and Bertram
Felgenhauer's all take roughly thrice as long as posted (that's rather
consistent, but the factor is surprisingly large). Cale Gibbard's takes
Brian Hulley wrote:
Cale Gibbard wrote:
Unifying these two under a single operation is certainly trickier,
and it's a little more questionable that it should be done at all,
given that their types are so different -- below is the closest I
could come to it off-hand.
snip
Thanks! I'm
[Moving to café, too]
There are three active database libraries: HDBC, HSQL and Takusen. It
is quite disappointing from my point of view. Recently there was the
same situation with the GUI libraires. The Haskell Community is quite
small to waste efforts, developing different libraries for
On 10/01/06, Daniel Fischer [EMAIL PROTECTED] wrote:
On my 1.2 GHz Duron (SuSE linux), I get significantly different timings than
those on the wiki. Sebastian Sylvan's, Kimberley Burchett's and Bertram
Felgenhauer's all take roughly thrice as long as posted (that's rather
consistent, but the
Bayley, Alistair wrote:
[Moving to café, too]
There are three active database libraries: HDBC, HSQL and Takusen.
It is quite disappointing from my point of view. Recently there was
the same situation with the GUI libraires. The Haskell Community is
quite small to waste efforts, developing
Am Dienstag, 10. Januar 2006 16:10 schrieben Sie:
On 10/01/06, Daniel Fischer [EMAIL PROTECTED] wrote:
On my 1.2 GHz Duron (SuSE linux), I get significantly different timings
than those on the wiki. Sebastian Sylvan's, Kimberley Burchett's and
Bertram Felgenhauer's all take roughly thrice
Hi all,
I am having space issues with some decompression code; I've attached a
much simplified version as Test1.hs.
At the bottom (foo/bar) is the equivalent of deflate. This should be a
standalone module which doesn't know about the rest.
In the middle (readChunks) is the equivalent of
I'll make a guess...
Ian Lynagh wrote:
Hi all,
In the middle (readChunks) is the equivalent of gunzip. It repeatedly
calls foo until there is no more input left.
At the top is a simple main function that calls them.
If I do
dd if=/dev/zero of=data bs=1000 count=3000 # making
On Tue, Jan 10, 2006 at 05:28:03PM +, Chris Kuklewicz wrote:
I'll make a guess...
Ian Lynagh wrote:
Hi all,
foo :: String - (String, String)
foo = runState bar
bar :: SecondMonad String
bar = do inp - get
case inp of
[] - return []
Hello ,
those rank-2 types wil make me mad :)
encodeHelper :: (MRef m r, Binary m a, BitStream m (StringBuffer m r))
= a - m String
encodeHelper x = do h - newStringBuffer stringBufferDefaultCloseFunc
put_ h x
getStringBuffer h
encode x =
I will continue to guess...
Ian Lynagh wrote:
On Tue, Jan 10, 2006 at 05:28:03PM +, Chris Kuklewicz wrote:
I'll make a guess...
Ian Lynagh wrote:
Hi all,
foo :: String - (String, String)
foo = runState bar
bar :: SecondMonad String
bar = do inp - get
case inp of
Hi -
I'm wondering if there is any possiblility of getting intersection types
into Haskell. For example, at the moment there is no (proper) typing for:
f g x y = (g x, g y)
Ideally, I'd like to be able to write:
f:: (a - b c - d) - a - c - (b,d)
or
f :: (a - b a) - c - d - (b c,
Hi
If I understand your problem than the following is a solution:
--
{-# OPTIONS -fglasgow-exts #-}
class Foo a b where
g :: a - b
type A = {- change the following -} Int
type B = {- change the following -} Char
instance Foo A B where
José Miguel Vilaça wrote:
Hi
If I understand your problem than the following is a solution:
--
{-# OPTIONS -fglasgow-exts #-}
class Foo a b where
g :: a - b
type A = {- change the following -} Int
type B = {- change the following -} Char
--- Chris Kuklewicz [EMAIL PROTECTED]
wrote:
I have two strong suggestions:
* whoever does submit them should diff the output
with a previously accepted version.
-snip-
Simply diff program output with the example output
file (there's now an output file link in each problem
description).
Of
On 1/10/06, Brian Hulley [EMAIL PROTECTED] wrote:
Hi -
I'm wondering if there is any possiblility of getting intersection types
into Haskell. For example, at the moment there is no (proper) typing for:
f g x y = (g x, g y)
Ideally, I'd like to be able to write:
f:: (a - b c - d)
Taral wrote:
On 1/10/06, Brian Hulley [EMAIL PROTECTED] wrote:
Hi -
I'm wondering if there is any possiblility of getting intersection
types into Haskell. For example, at the moment there is no (proper)
typing for:
f g x y = (g x, g y)
Ideally, I'd like to be able to write:
f:: (a -
Brian Hulley wrote:
Taral wrote:
I have no idea what kind of function would have type (a - b c -
d). Can you give an example?
g x = x
because g 3 = 3 so g has type Int - Int but also g 'a' = 'a' so g
has type Char - Char hence g has type Int - Int Char - Char
Actually I should have said
On Tue, Jan 10, 2006 at 09:40:41AM +, Simon Marlow wrote:
John Meacham wrote:
Yeah. this is a major bug in ghc IMHO. I believe it has been fixed, but
am unsure.
It hasn't been fixed, this is the current behaviour and it's likely to
stay that way, I'm afraid.
We used to run
Hello Daniel,
Tuesday, January 10, 2006, 7:40:24 PM, you wrote:
DF These are user/MUT times, at the moment, my machine is busy, so that elapsed
DF time is about double that, otherwise these times are rather consistently
DF reproduced (between 8.4 and 8.9 for pure, 1.7 and 1.9 for impure, clean
Am Dienstag, 10. Januar 2006 17:44 schrieb Ian Lynagh:
Hi all,
I am having space issues with some decompression code; I've attached a
much simplified version as Test1.hs.
At the bottom (foo/bar) is the equivalent of deflate. This should be a
standalone module which doesn't know about the
On Tue, Jan 10, 2006 at 04:44:33PM +, Ian Lynagh wrote:
readChunks :: FirstMonad String
readChunks = do xs - get
if null xs then return []
else do let (ys, zs) = foo xs
put zs
Am Dienstag, 10. Januar 2006 19:11 schrieben Sie:
Hello Daniel,
Tuesday, January 10, 2006, 7:40:24 PM, you wrote:
DF These are user/MUT times, at the moment, my machine is busy, so that
elapsed DF time is about double that, otherwise these times are rather
consistently DF reproduced
daniel.is.fischer:
Am Dienstag, 10. Januar 2006 19:11 schrieben Sie:
Hello Daniel,
Tuesday, January 10, 2006, 7:40:24 PM, you wrote:
DF These are user/MUT times, at the moment, my machine is busy, so that
elapsed DF time is about double that, otherwise these times are rather
On Tue, Jan 10, 2006 at 08:47:32PM +0300, Bulat Ziganshin wrote:
those rank-2 types wil make me mad :)
encodeHelper :: (MRef m r, Binary m a, BitStream m (StringBuffer m r))
= a - m String
encodeHelper x = do h - newStringBuffer stringBufferDefaultCloseFunc
Brian Hulley wrote:
snip
which is perhaps clearer and prevents bad types such as (Int -
String Int - Char) by construction.
Oops! I forgot that functions with such types can exist via multi-parameter
type classes and overloading - this may be one reason why intersection types
have not yet
Brian Hulley writes:
Also, as a second point, could functional dependencies in type
classes be written using a similar syntax eg instead of
class Insert t c a | c a - t where
insert :: t - c a - c a
we could write:
class Insert (h (c a)) c a where
insert :: h
52 matches
Mail list logo