#6040: Adding a type signature changes heap allocation into stack allocation
without changing the actual type
-+--
Reporter: tibbe | Owner:
Type: bug |
#6041: Program hangs when run under Ubuntu Precise
-+--
Reporter: dsf | Owner:
Type: bug | Status: infoneeded
Priority: high |
#6042: GHC is bloated
-+--
Reporter: simonmar | Owner:
Type: bug | Status: new
Priority: high | Milestone: 7.6.1
#6042: GHC is bloated
-+--
Reporter: simonmar | Owner:
Type: bug | Status: new
Priority: high | Milestone: 7.6.1
#6043: ARM build fails
-+--
Reporter: kgardas | Owner:
Type: bug | Status: new
Priority: normal | Component: Compiler
Version: 7.5
#5914: armhf build fails in Ubuntu (7.4.1)
-+--
Reporter: jani@… | Owner: kgardas
Type: bug | Status: new
Priority: normal |
#6042: GHC is bloated
-+--
Reporter: simonmar | Owner:
Type: bug | Status: new
Priority: high | Milestone: 7.6.1
#6042: GHC is bloated
-+--
Reporter: simonmar | Owner:
Type: bug | Status: new
Priority: high | Milestone: 7.6.1
#6036: Kind generalization fails in data family instance GADT
---+
Reporter: goldfire | Owner:
Type: bug| Status: new
#6039: Ill-sorted kinds crash GHC
-+--
Reporter: simonpj | Owner:
Type: bug | Status: new
Priority: normal| Milestone:
#6035: Kind-indexed type family failure with polymorphic kinds
--+-
Reporter: goldfire | Owner:
Type: bug | Status: new
Priority:
#5867: Include use site of deprecated identifiers in deprecation warnings
-+--
Reporter: SimonHengel | Owner:
Type: feature request | Status: new
Priority:
#6005: Template Haskell disallows use of promoted data constructor in same
splice
---+
Reporter: goldfire | Owner:
Type: bug| Status:
#6042: GHC is bloated
-+--
Reporter: simonmar | Owner:
Type: bug | Status: new
Priority: high | Milestone: 7.6.1
#6042: GHC is bloated
-+--
Reporter: simonmar | Owner:
Type: bug | Status: new
Priority: high | Milestone: 7.6.1
#6042: GHC is bloated
-+--
Reporter: simonmar | Owner:
Type: bug | Status: new
Priority: high | Milestone: 7.6.1
#5867: Include use site of deprecated identifiers in deprecation warnings
--+-
Reporter: SimonHengel | Owner:
Type: feature request | Status: closed
#6039: Ill-sorted kinds crash GHC
---+
Reporter: simonpj | Owner:
Type: bug | Status: closed
Priority: normal| Milestone:
#6005: Template Haskell disallows use of promoted data constructor in same
splice
+---
Reporter: goldfire | Owner:
Type: bug| Status:
#6036: Kind generalization fails in data family instance GADT
+---
Reporter: goldfire | Owner:
Type: bug| Status: closed
#6009: The packaging used to provide GHC 7.0.4 for OS X fails for 32 bit --
cannot
install
---+
Reporter: InvisibleTech | Owner:
Type: bug | Status: closed
Priority:
#6027: Allow changing fixity of new type operators
-+--
Reporter: atnnn | Owner: pcapriotti
Type: feature request | Status: patch
Priority: normal|
#6038: Allow view patterns inside record patterns
-+--
Reporter: akio | Owner:
Type: feature request | Status: new
Priority: normal|
#6021: panic with scoped kind variables
-+--
Reporter: atnnn | Owner:
Type: bug | Status: closed
Priority: normal |
#6041: Program hangs when run under Ubuntu Precise
-+--
Reporter: dsf | Owner:
Type: bug | Status: infoneeded
Priority: high |
#6041: Program hangs when run under Ubuntu Precise
-+--
Reporter: dsf | Owner:
Type: bug | Status: new
Priority: high |
#6005: Template Haskell disallows use of promoted data constructor in same
splice
+---
Reporter: goldfire | Owner:
Type: bug| Status:
#6042: GHC is bloated
-+--
Reporter: simonmar | Owner:
Type: bug | Status: new
Priority: high | Milestone: 7.6.1
#6042: GHC is bloated
-+--
Reporter: simonmar | Owner:
Type: bug | Status: new
Priority: high | Milestone: 7.6.1
#3699: Wildcards in type functions
--+-
Reporter: MartijnVanSteenbergen | Owner:
Type: feature request| Status: new
Priority: low|
#2189: hSetBuffering stdin NoBuffering doesn't work on Windows
-+--
Reporter: FalconNL| Owner:
Type: bug | Status: new
#6044: Regression error: Kind variables don't work inside of kind constructors
in
type families
---+
Reporter: goldfire | Owner:
Type: bug|
#6045: GHC 6.10.4 panic when compiling she-0.6
+---
Reporter: nobody | Owner:
Type: bug | Status: new
Priority: normal | Component:
#6045: GHC 6.10.4 panic when compiling she-0.6
+---
Reporter: nobody | Owner:
Type: bug | Status: new
Priority: normal | Component:
#6020: Couldn't match kind with free type variables and PolyKinds
+---
Reporter: atnnn | Owner:
Type: feature request| Status: new
#6046: inconsistent type error messages between ghc and ghci
-+--
Reporter: carter | Owner:
Type: bug | Status: new
#6046: inconsistent type error messages between ghc and ghci
-+--
Reporter: carter | Owner:
Type: bug | Status: new
#6046: inconsistent type error messages between ghc and ghci
-+--
Reporter: carter | Owner:
Type: bug | Status: new
#6046: inconsistent type error messages between ghc and ghci
+---
Reporter: carter |Owner:
Type: bug | Status: closed
#6046: inconsistent type error messages between ghc and ghci
+---
Reporter: carter |Owner:
Type: bug | Status: closed
On 25/04/2012 03:17, Mikhail Glushenkov wrote:
Hello Simon,
Sorry for the delay.
On Tue, Apr 10, 2012 at 1:03 PM, Simon Marlowmarlo...@gmail.com wrote:
Questions:
Would implementing this optimisation be a worthwhile/realistic GSoC
project?
What are other potential ways to bring 'ghc -c'
On 25/04/2012 08:57, Simon Marlow wrote:
On 25/04/2012 03:17, Mikhail Glushenkov wrote:
Hello Simon,
Sorry for the delay.
On Tue, Apr 10, 2012 at 1:03 PM, Simon Marlowmarlo...@gmail.com wrote:
Questions:
Would implementing this optimisation be a worthwhile/realistic GSoC
project?
What are
Hi Simon,
First of all, I'm sorry if I'm coming off as too combative,
as Greg says. That is certainly not my intention.
I'm not asking for any free work from you, either.
The only reason I don't like using OverloadedStrings
for typing string literals as Text and ByteString
is that when you turn
On Wed, Apr 25, 2012 at 10:15, Yitzchak Gale g...@sefer.org wrote:
The only reason I don't like using OverloadedStrings
for typing string literals as Text and ByteString
is that when you turn on OverloadedStrings, you turn
it on for all types, not just Text and ByteString.
I don't want to be
One can always use a Maybe to make an IsString literal total. Perhaps this
is what library authors should do in those cases when a fromString
implementation is obviously partial.
i.e. instead of instance IsString XML where ...
define: instance IsString (Maybe XML) where ...
HTH,
Ozgur
On 24
Hi,
On 04/25/2012 09:15 AM, Yitzchak Gale wrote:
Because
all other uses of OverloadedStrings that I have
seen, and there are many, are ill-advised in my
opinion. They all should have been quasiquoters.
But the problem here is that reasonable people may choose to
disagree as to what is
The idea that I currently like the most is to make it possible to save
and load objects in the GHC heap format. That way, deserialisation
could be done with a simple fread() and a fast pointer fixup pass,
which would hopefully make running many 'ghc -c' processes as fast as
a single 'ghc
Hi,
I've just attached my fix for hard-float ABI build failure on GHC HEAD
to the #5914.
I would be more than glad if you can attempt to merge it to 7.4.x you
are packaging and test if it works for you on both soft and hard float
ABI. Hard seems to be preferred these days at least on
Erik Hesselink wrote:
I don't think IsString should be dismissed so easily.
I'm just saying I don't want to be forced to use it.
If others like it, I'm not dismissing it.
we have a couple of newtypes over Text that do different kinds of
normalization. An IsString instance for these is useful
Thanks Etienne
When I tried to compile your Type.hs file, the first thing that broke was this:
class ((ma :: m a) = (f :: a - m b - Constraint)) (mb :: m b) | ma f - mb
You want the sort of 'm' to be BOX - BOX, but you can't do this at the moment.
As our paper say, the sort system is pretty
On April 25, 2012 04:15:41 Yitzchak Gale wrote:
The only reason I don't like using OverloadedStrings
for typing string literals as Text and ByteString
is that when you turn on OverloadedStrings, you turn
it on for all types, not just Text and ByteString.
I don't want to be forced to do that.
On Wed, Apr 25, 2012 at 8:19 AM, Tyson Whitehead twhiteh...@gmail.com wrote:
Is there a technical reason this couldn't be done? The Haskell report only
says doing this is not part of haskell. It doesn't say why.
I think the problem is incoherence, what if the same Map value got
used with two
From: Yitzchak Gale g...@sefer.org
Erik Hesselink wrote:
I don't think IsString should be dismissed so easily.
I'm just saying I don't want to be forced to use it.
If others like it, I'm not dismissing it.
we have a couple of newtypes over Text that do different kinds of
normalization.
The only reason I don't like using OverloadedStrings
for typing string literals as Text and ByteString
is that when you turn on OverloadedStrings, you turn
it on for all types, not just Text and ByteString.
I don't want to be forced to do that. Because
all other uses of OverloadedStrings
On Wed, Apr 25, 2012 at 11:39 AM, Ozgur Akgun ozgurak...@gmail.com wrote:
One can always use a Maybe to make an IsString literal total. Perhaps this
is what library authors should do in those cases when a fromString
implementation is obviously partial.
i.e. instead of instance IsString XML
Hi,
Am Mittwoch, den 25.04.2012, 11:15 +0300 schrieb Yitzchak Gale:
The only reason I don't like using OverloadedStrings
for typing string literals as Text and ByteString
is that when you turn on OverloadedStrings, you turn
it on for all types, not just Text and ByteString.
I don't want to
On April 25, 2012 12:20:16 Johan Tibell wrote:
On Wed, Apr 25, 2012 at 8:19 AM, Tyson Whitehead twhiteh...@gmail.com
wrote:
Is there a technical reason this couldn't be done? The Haskell report
only says doing this is not part of haskell. It doesn't say why.
I think the problem is
Hi,
Am Mittwoch, den 25.04.2012, 21:57 +0100 schrieb Joachim Breitner:
Am Mittwoch, den 25.04.2012, 11:15 +0300 schrieb Yitzchak Gale:
The only reason I don't like using OverloadedStrings
for typing string literals as Text and ByteString
is that when you turn on OverloadedStrings, you turn
=
Call for papers
14th International Symposium on
Principles and Practice of Declarative Programming
PPDP 2012
Special Issue of Science of
I am pleased to announce the first release of a language module for editing
Haskell source code from within the BBEdit text editor, available at
http://code.google.com/p/bbedit-haskell/
The module implements these features:
* color highlighting of keywords and comment, including nested
Glad to see this. The existing Haskell module was way out of date, last I used
BB. Maybe I'll give it another shot if I take a break from Emacs.
On Apr 25, 2012, at 2:55 PM, Nicolas Godbout wrote:
I am pleased to announce the first release of a language module for editing
Haskell source
Welcome to issue 224 of the HWN, an issue covering crowd-sourced bits
of information about Haskell from around the web. This issue covers the
week of April 15 to 21, 2012.
Announcements
Some of these announcements are a bit behind, for which I apologize.
Better late than never...
The long
Johannes Waldmann waldm...@imn.htwk-leipzig.de writes:
A similar thing is mentioned here (see Caveat)
http://www.haskell.org/haskellwiki/Web/Literature/Static_linking
Another caveat is that shared linking isn't very useful on Linux, since
the C library loads various stuff dynamically anyway.
On 04/24/2012 09:46 PM, Jeff Shaw wrote:
Hello,
Up until now I've been using Aeson, but I've found that its number type isn't
going to work for me. I need to use decimal numbers while avoiding conversions
from and to Double, which Aeson doesn't allow. There are quite a few more JSON
libraries
Wren, Sjoerd,
This is not just about map, but it also a problem for the Monoid instance.
You are basically adding an extra identity element, 0, to the max monoid,
which works but is weird.
Still that's how union is typically defined for hybrid sets. It's what
happens if want union and
One more update:
cabal haddock exposes a --html-location flag which is useful:
http://www.haskell.org/cabal/users-guide/installing-packages.html#setup-haddock
Another way of invoking haddock is through cabal install. It looks like
cabal install --enable-documentation and cabal install
I have seen some push to take advantage of the new primop casMutVar, yet I
see that atomicModifyMutVar hasn't been used yet either. For example,
modifySTRef is just a read followed by a write. I've been unable to create
a version that does not allocate with something as simple as modifySTRef
ref
It is possible. I have done it for
http://projects.haskell.org/diagrams/doc/index.html
But it is not fun, and it took me several days of work (spread over
two weeks) to figure out the proper magic incantations to get
everything to work properly. I really ought to write up a blog post
with
On 23 Apr 2012, at 17:49, Evan Laforge wrote:
I use a custom Pretty class along with HughesPJ, ala ghc's Outputable.
It means I can omit data or print it out in a more readable form
(even just rounding floats to %.03f can help a lot), and also get nice
layout and wrapping.
I think I do
I had a bug in a site of mine[1] for a few weeks, where it would just print:
Prelude.head: empty list
It took a long time to track down the problem, as it came from some
other library I was depending on. Eventually I tracked it down,
reported it, and the problem was fixed the next day. The
And then have the compiler automatically include (optional) package
name, module name, and line number where `headContext` was called. How
about we borrow a bit from rewrite rules, and have a pragma such as:
{-# WITH_CONTEXT head headContext #-}
This seems similar to the SRCLOC_ANNOTATE
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 on and run with -xc.
See:
On 4/24/2012 11:49 PM, wren ng thornton wrote:
On 4/24/12 9:59 AM, Gregg Lebovitz wrote:
The question of how to support rapid innovation and stable
deployment is not an us versus them problem. It is one of staging
releases. The
Linux kernel is a really good example. The Linux development
Warning:
I, not the maintainer of hsc2hs, will be uploading a trivial fix for
hsc2hs to hackage (new build deps). Even after public attempts to
contact anyone in charge of hsc2hs (last January) there still has been
no word. Speak now or forever hold your peace.
Cheers,
Thomas
P.S. I still
On Apr 25, 2012, at 11:39 AM, Stefan Holdermans wrote:
The union of two sets is typically defined as the smallest set that is a
superset of both the operands; this definition extends nicely for multisets
and hybrid sets [1,2,3].
[3] differs from [1] and [2] (and your implementation). [3]
I am pleased to announce the 5th version of the unfoldable package. (This is
the first announcement, you didn't miss anything.)
http://hackage.haskell.org/package/unfoldable-0.4.0
Just as there's a Foldable class, there should also be an Unfoldable class.
This package provides one:
class
Sjoerd,
I am sorry, as I already wrote, I decided to deprecate the package.
[3] defines the union as h(u) = max(f(u), g(u)) where f, g and h are
multiplicity functions.
Which is the same, as [3] is about multisets, not signed multisets.
[...] and this is also what your implementation does.
I uploaded a new version of the ACU unifier in package cmu. It
includes a Linear Diaphantine equation solver that now handles
inhomogeneous equations. What's interesting is the algorithm is
based on a paper by Contejean and Devie. That paper includes a proof
of correctness of their algorithm.
On Apr 26, 2012, at 12:54 AM, Stefan Holdermans wrote:
Sjoerd,
I am sorry, as I already wrote, I decided to deprecate the package.
That's too bad, I really love these kind of data structures. (That's why I keep
ranting about it, sorry about that.)
[3] defines the union as h(u) =
Sjoerd,
[3] defines the union as h(u) = max(f(u), g(u)) where f, g and h are
multiplicity functions.
Which is the same, as [3] is about multisets, not signed multisets.
Chapter 3 of [3] is about Hybrid Sets.
And there the union is defined by taking the *minimum* of multiplicities, which
On Wed, Apr 25, 2012 at 4:59 PM, Thomas DuBuisson
thomas.dubuis...@gmail.com wrote:
Warning:
I, not the maintainer of hsc2hs, will be uploading a trivial fix for
hsc2hs to hackage (new build deps). Even after public attempts to
contact anyone in charge of hsc2hs (last January) there still
On Wed, Apr 25, 2012 at 5:27 PM, Antoine Latter aslat...@gmail.com wrote:
On Wed, Apr 25, 2012 at 4:59 PM, Thomas DuBuisson
thomas.dubuis...@gmail.com wrote:
Warning:
I, not the maintainer of hsc2hs, will be uploading a trivial fix for
hsc2hs to hackage (new build deps). Even after public
Welcome to issue 224 of the HWN, an issue covering crowd-sourced bits
of information about Haskell from around the web. This issue covers the
week of April 15 to 21, 2012.
Announcements
Some of these announcements are a bit behind, for which I apologize.
Better late than never...
The long
On 25/04/2012, at 9:51 AM, Alvaro Gutierrez wrote:
For that reason, most standard (fixed size/binary) numeric types like double
are a poor choice to contain numeric values specified in JSON; in particular,
the mismatch means that conversion can be lossy in both directions.
Note that the
On 4/25/12 5:39 AM, Stefan Holdermans wrote:
The union of two sets is typically defined as the smallest set that is a
superset of both the operands;
Or, the smallest set containing all the elements of both/all operands.
The two definitions coincide for sets.
They diverge for bags/multisets:
On Wed, Apr 25, 2012 at 10:42 PM, Richard O'Keefe o...@cs.otago.ac.nz wrote:
Note that the conversion *IS* lossy in practice.
If you send a JSON message to a Javascript program,
or a Python program, or a Go program (if I am reading
src/pkg/encoding/json/decode.go
correctly) what you get will
On 4/25/12 7:27 PM, Stefan Holdermans wrote:
Sjoerd,
[3] defines the union as h(u) = max(f(u), g(u)) where f, g and h are
multiplicity functions.
Which is the same, as [3] is about multisets, not signed multisets.
Chapter 3 of [3] is about Hybrid Sets.
And there the union is defined by
87 matches
Mail list logo