On Mon, Dec 7, 2009 at 3:38 PM, David Fox dds...@gmail.com wrote:
On Sat, Dec 5, 2009 at 2:38 AM, Andrea Vezzosi sanzhi...@gmail.com wrote:
On Fri, Dec 4, 2009 at 8:51 PM, Jeremy Shaw jer...@n-heptane.com wrote:
I have stripped things down to the bare minimum, and test under GHC 6.10,
GHC
I think the best bet is to:
cabal install tagsoup-0.6 --reinstrall
This somehow didn't work, since hxt-3.8.2 insisted on using tagsoup-0.8 even
when i removed every tagsoup-0.8 directory.
And perhaps send the HXT maintainer a cabal patch?
Ok, did
Michael Snoyman wrote:
[--snip--]
Next, I have made the ResponseBodyClass typeclass specifically with the goal
of allowing optimizations for lazy bytestrings and sending files. The former
seems far-fetched; the latter provides the ability to use a sendfile system
call instead of copying the
Thank you, that worked.
I wonder two things:
1) How to downgrade cabal packages? Just installing tagsoup-0.6 and removing
every trace of tagsoup-0.8 somehow didn't work for me. cabal still insisted that
there should be a tagsoup-0.8.
2) Is the commonly used version-scheming = XYZ ideal?
Hi,
The problem with Data for Text isn't that we have to write a new
instance, but that you could argue that proper handling of Text with
Data would not be using a type class, but have special knowledge baked
in to Data. That's far worse than the Serialise problem mentioned
above, and no one
Am Sonntag 24 Januar 2010 06:19:58 schrieb Matthew Phillips:
Thanks very much Daniel for giving my (amateurish!) exercise such an
in-depth a look-over. Comments inline below.
On 23/01/2010, at 12:11 AM, Daniel Fischer wrote:
That does help, but the worst part is building the map. That
Am Sunday 24 January 2010 12:24:37 schrieben Sie:
Thank you, that worked.
I wonder two things:
1) How to downgrade cabal packages? Just installing tagsoup-0.6 and
removing every trace of tagsoup-0.8 somehow didn't work for me. cabal
still insisted that there should be a tagsoup-0.8.
Hm,
Peter Green wrote:
Another interesting problem is starting from a file of single wagers
and
trying to compress them (i.e. inverse of 'explosion'. I believe this
problem is analogous to Set Cover and therefore NP-Complete. Heuristics
are the order of the day here.
Interesting indeed! What
Hi Cafe!
That's a capital i for anyone with font issues.
I posted this question to beginners a while ago, but received no
meaningful response so I'm trying cafe instead :-)
Most packages I try to install off Hackage with cabal are giving me
the error ghc: unrecognised flags: -I.
For example,
I was able to build encoding-0.6.2. My steps:
(0. Update package list with 'cabal update')
1. Unpack package with 'cabal unpack encoding'
2. Edit encoding.cabal. We need to add HaXml as dependency. It should
be added to 'Build-Depends' field. I've added below HaXml == 1.20.2
because 1.20.2. is
On Sun, 24 Jan 2010 12:23:46 +0100, Bardur Arantsson s...@scientician.net
wrote:
Michael Snoyman wrote:
[--snip--]
Next, I have made the ResponseBodyClass typeclass specifically with the goal
of allowing optimizations for lazy bytestrings and sending files. The former
seems far-fetched;
Dear cafe,
I'm trying to prepare a naive definition of booleans, numbers and
some helper functions such a way, so that definition in lambda-calculus
can be used in a straightforward way in Haskell. I was caught in trouble
quite soon during change of lambda-expressions to Haskell - defining
---
Haskell Weekly News
http://sequence.complete.org/hwn/20100124
Issue 147 - January 24, 2010
---
Welcome to issue 147 of HWN, a newsletter covering
On Sun, Jan 24, 2010 at 1:23 PM, Bardur Arantsson s...@scientician.netwrote:
Michael Snoyman wrote:
[--snip--]
Next, I have made the ResponseBodyClass typeclass specifically with the
goal
of allowing optimizations for lazy bytestrings and sending files. The
former
seems far-fetched; the
Doesn't the simply typed lambda calculus introduce if-then-else as a
primitive precisely so that it can be typed?
Its not an illuminating answer to your question and I'd welcome
clarification for my own understanding, but I don't think you can
solve the problem without appealing to Haskell's
On Sun, Jan 24, 2010 at 3:12 PM, Stephen Tetley
stephen.tet...@gmail.com wrote:
Doesn't the simply typed lambda calculus introduce if-then-else as a
primitive precisely so that it can be typed?
Its not an illuminating answer to your question and I'd welcome
clarification for my own
Minor spec question: what should be the defined behavior when an application
requests that a file be sent and it does not exist?
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
On 24/01/2010, at 10:22 PM, Daniel Fischer wrote:
...
I think I know what happened here:
$ ghc -fforce-recomp --make matthew -o matthew0
...
I habitually compile all code with -O2, unless I have a specific reason not
to. I tend to forget that some compile without optimisations.
For
AFV is an infinite state model checker to verify assertions in
embedded C programs.
New in this release:
- Starts analysis from 'main' entry point. Automatically identifies
the main loop (for (;;), while (1)).
- Better counter example generation.
- Enforces stateless expressions.
Am Montag 25 Januar 2010 05:34:50 schrieb Matthew Phillips:
On 24/01/2010, at 10:22 PM, Daniel Fischer wrote:
...
I think I know what happened here:
$ ghc -fforce-recomp --make matthew -o matthew0
...
I habitually compile all code with -O2, unless I have a specific
reason not to.
20 matches
Mail list logo
