Tristan Allwood got quite a long way with this a couple of years ago.
http://research.microsoft.com/en-us/um/people/simonpj/papers/stack-trace/DebugTraces.pdf
But not enough to finish it off! The paper describes the tricky points... Simon
M is more of an expert than I.
Moreover the work Simon
On 25/04/2012 17:28, Ozgur Akgun wrote:
Hi,
On 25 April 2012 16:36, Michael Snoyman mich...@snoyman.com
mailto:mich...@snoyman.com wrote:
Prelude.head: empty list
Recent versions of GHC actually generate a very helpful stack trace, if
the program is compiled with profiling
Hello.
I need to annotate abstract syntax tree with additional information in a
compiler.
Using the Annotations package[1] I have written the following small
program:
import Annotations.F.Annotated
import Annotations.F.Fixpoints
data ExprF r
= Num Double
| Var String
| Add r
On Wed, Apr 25, 2012 at 7:28 PM, Ozgur Akgun ozgurak...@gmail.com wrote:
Hi,
On 25 April 2012 16:36, Michael Snoyman mich...@snoyman.com wrote:
Prelude.head: empty list
Recent versions of GHC actually generate a very helpful stack trace, if the
program is compiled with profiling turned
Hi Romildo,
If I understand correctly, you now want to add annotations to
mutually-recursive datatypes. The annotations package supports that.
Section 8 of our paper [1] gives an example of how to do that, and also
Chapter 6 of Martijn's MSc thesis [2].
Let me know if these references do not
Hi,
Am Mittwoch, den 25.04.2012, 18:36 +0300 schrieb Michael Snoyman:
I'm sure there are many better ways to approach the problem, and I
can't speak to the complexity of implementation within GHC. I *can*
say, however, that this would have saved me a lot of time in the
example I gave above,
This is also quite similar to what we have in SmallCheck:
https://github.com/feuerbach/smallcheck/blob/master/Test/SmallCheck/Series.hs
Not sure how to exploit this, though.
* Sjoerd Visscher sjo...@w3future.com [2012-04-26 00:32:28+0200]
I am pleased to announce the 5th version of the
Hi,
Sjoerd Visscher wrote:
Just as there's a Foldable class, there should also be an Unfoldable class.
This package provides one:
class Unfoldable t where
unfold :: Unfolder f = f a - f (t a)
Just to be sure: That's not a generalization of Data.List.unfoldr, or is
it somehow?
* Tillmann Rendel ren...@informatik.uni-marburg.de [2012-04-26 21:34:21+0200]
Hi,
Sjoerd Visscher wrote:
Just as there's a Foldable class, there should also be an Unfoldable class.
This package provides one:
class Unfoldable t where
unfold :: Unfolder f = f a - f (t a)
Just
Hello,
This is to announce a provisional webpage to summarise hackage.haskell.org.
http://www.fremissant.net/portackage
It is a lot of data, so will be a bit slow to load. Columns can be
sorted by clicking the headers, but this will also take some seconds
on a typical client. The initial sort
Jonathan,
On Thu, Apr 26, 2012 at 4:13 PM, Jonathan Daugherty j...@galois.com wrote:
Although I believe this is a complete list of all packages/modules in
hackage, it is probably still buggy, so if you see anything amiss
please let me know.
It might not be showing the most recent releases of
Should be fixed in that respect now, thanks again for pointing it out.
On Thu, Apr 26, 2012 at 4:23 PM, Andrew Seniuk ras...@gmail.com wrote:
Jonathan,
On Thu, Apr 26, 2012 at 4:13 PM, Jonathan Daugherty j...@galois.com wrote:
Although I believe this is a complete list of all packages/modules
On Apr 26, 2012, at 9:34 PM, Tillmann Rendel wrote:
class Unfoldable t where
unfold :: Unfolder f = f a - f (t a)
Just to be sure: That's not a generalization of Data.List.unfoldr, or is it
somehow?
Yes, it is. unfoldr is quite specifically tailored to lists, so it doesn't work
*Homepage:* http://egonschiele.github.com/HandsomeSoup
*On Hackage:* http://hackage.haskell.org/package/HandsomeSoup
*Blurb:*
HandsomeSoup is the library I wish I had when I started parsing HTML in
Haskell.
It is built on top of HXT and adds a few functions that make is easier to
work with HTML.
On 4/24/2012 11:44 PM, wren ng thornton wrote:
To pick another similar namespacing issue, consider the problem of
Google Code. In Google Code there's a single namespace for projects,
and the Google team spends a lot of effort on maintaining that
namespace and resolving conflicts. (I know folks
Somewhat lighter, using summarised module lists. A more sophistocated
UI with per-column filtering is in the works. I invite your comments.
Andrew
On Thu, Apr 26, 2012 at 4:05 PM, Andrew Seniuk ras...@gmail.com wrote:
Hello,
This is to announce a provisional webpage to summarise
16 matches
Mail list logo