#5493: @instance Control.Applicative.Applicative Q@
-+--
Reporter: beroal| Owner:
Type: feature request | Status: new
Priority: normal|
#5591: Type constructor variables not injective
+---
Reporter: daniel.is.fischer| Owner: simonpj
Type: bug | Status: new
Priority: normal
#6139: Data.Time.Day read instance too liberal
-+--
Reporter: guest| Owner:
Type: bug | Status: new
Priority: normal
#5493: @instance Control.Applicative.Applicative Q@
---+
Reporter: beroal| Owner:
Type: feature request | Status: closed
Priority: normal|
#6099: filepath library a lot bigger in 7.4.2 RC 1
---+
Reporter: igloo | Owner: pcapriotti
Type: bug | Status: closed
Priority: highest |
#6147: GeneralizedNewtypeDeriving should fail with data families
-+--
Reporter: rl | Owner:
Type: bug | Status: new
#6148: 63-tuples are not rejected when written using (,,,)
-+--
Reporter: guest| Owner:
Type: bug | Status: new
#6147: GeneralizedNewtypeDeriving should fail with data families
-+--
Reporter: rl | Owner:
Type: bug | Status: new
#4148: improve new recursive do syntax
-+--
Reporter: guest | Owner:
Type: feature request | Status: new
Priority: low | Milestone:
#6139: Data.Time.Day read instance too liberal
--+-
Reporter: guest| Owner:
Type: bug | Status: closed
Priority:
#5553: sendWakeup error in simple test program with MVars and killThread
---+
Reporter: bit | Owner: tibbe
Type: bug | Status: new
#6145: DataCon do not have location info
-+--
Reporter: JeanPhilippeMoresmau | Owner:
Type: bug | Status: new
Priority:
#6145: DataCon do not have location info
-+--
Reporter: JeanPhilippeMoresmau | Owner:
Type: bug | Status: new
Priority:
#6145: DataCon do not have location info
-+--
Reporter: JeanPhilippeMoresmau | Owner:
Type: bug | Status: new
Priority:
#6145: DataCon do not have location info
-+--
Reporter: JeanPhilippeMoresmau | Owner:
Type: bug | Status: new
Priority:
#5939: Standalone deriving Generic on type with instantiated arguments
--+-
Reporter: dreixel | Owner: dreixel
Type: bug | Status: new
Priority: normal
#5527: mkTopLevEnv: not interpreted
+---
Reporter: cdsmith | Owner: pcapriotti
Type: bug | Status: patch
Priority: normal | Milestone: 7.6.1
Component: GHC API |
#3942: Strange profiling behaviour in 6.10.4
-+--
Reporter: simonpj | Owner: simonmar
Type: bug | Status: infoneeded
Priority: normal|
#4148: improve new recursive do syntax
-+--
Reporter: guest | Owner:
Type: feature request | Status: new
Priority: low | Milestone:
#5469: Reorganisation of exports in template-haskell library
-+--
Reporter: reinerp | Owner:
Type: task | Status: new
Priority: normal
#5939: Standalone deriving Generic on type with instantiated arguments
--+-
Reporter: dreixel | Owner: dreixel
Type: bug | Status: new
Priority: normal
Hi,
I'm having some trouble making Haskell bindings to libsane (a scanner
access library: http://www.sane-project.org/)
When I build the cut down sample of my code (below) with GHC 7.4.1 with
the non-threaded runtime, it hangs at runtime in the call to
c'sane_get_devices (after printing go).
Are there any known issues involving type-level pairs and lists? I've
hit a few baffling type errors that went away when I refactored my
code to use locally-defined pairs and lists instead of those provided
by the prelude.
More worryingly, I had one function that would stop passing the type
Hi David,
Are you using HEAD? If so, and you run into problems, please report them
(either here or as bugs in trac).
Thanks,
Pedro
On Wed, Jun 6, 2012 at 9:37 PM, David Menendez d...@zednenem.com wrote:
Are there any known issues involving type-level pairs and lists? I've
hit a few baffling
I'm confused about something with promoted Kinds (using an example with Kind-
promoted Nats).
This is in GHC 7.4.1. (Apologies if this is a known bug/limitation/already
explained somewhere -- I know 7.4.1 is relatively experimental. I have
searched the bug tracs and discussions I could find.)
Quoting AntC anthony_clay...@clear.net.nz:
{-# OPTIONS_GHC -XDataKinds -XPolyKinds -XKindSignatures#-}
data MyNat = Z | S Nat
class NatToIntN (n :: MyNat)
where natToIntN :: (n :: MyNat) - Int
instance NatToIntN Z
where natToIntN _ = 0
instance
wagnerdm at seas.upenn.edu writes:
Quoting AntC anthony_clayden at clear.net.nz:
{-# OPTIONS_GHC -XDataKinds -XPolyKinds -XKindSignatures#-}
data MyNat = Z | S MyNat
class NatToIntN (n :: MyNat)
where natToIntN :: (n :: MyNat) - Int
instance NatToIntN Z
For our German readers:
Es ist wieder so weit: Am Freitag, 13. Juli laden wir zum 7. Haskell-Treffen
HaL ein, diesmal nach Halle an der Saale. Wir bieten eine bunte Mischung aus
Tutorien zum Mitmachen, Vortraegen zum Anhoeren und Gelegenheiten zum
Fachsimpeln, theoretisches wie praktisches,
I guess we should also give credit to the speakers who contribute the
tutorials (which promise to be very interesting):
snap: Matthias Fischmann
repa: Andres Löh
schule: Ralf Dorn
reactive: Heinrich Apfelmus
generics: Andres Löh
liveseq: Johannes Waldmann
Best,
Janis.
Am 06.06.2012
(We apologize if you have received multiple copies of this CFP)
Dear Colleague
We would like to invite you to submit papers to The 14th IEEE International
Symposium on High Assurance Systems Engineering (HASE 2012), to be held at
Omaha NE. October 25-27. HASE 2012 is a forum on tools and
Welcome to issue 230 of the HWN, an issue covering crowd-sourced bits
of information about Haskell from around the web. This issue covers the
week of May 27 to June 02, 2012.
Announcements
Mark Lentczner had great news for us this week, announcing the
release of the Haskell Platform 2012.2.0.0.
Sounds exciting!
On Tue, Jun 5, 2012 at 6:22 PM, Bartosz Milewski bart...@fpcomplete.comwrote:
You might have seen a few post by me mentioning FP Complete and asked
yourself the question: Who is this guy and what is FP Complete?
I haven't been active in the Haskell community, as I'm a
On Wed, Jun 6, 2012 at 3:22 AM, Bartosz Milewski wrote:
You might have seen a few post by me mentioning FP Complete and asked
yourself the question: Who is this guy and what is FP Complete?
Yes. ;)
I haven't been active in the Haskell community, as I'm a relative newcomer
to Haskell. I am
For our German readers:
Es ist wieder so weit: Am Freitag, 13. Juli laden wir zum 7. Haskell-Treffen
HaL ein, diesmal nach Halle an der Saale. Wir bieten eine bunte Mischung aus
Tutorien zum Mitmachen, Vortraegen zum Anhoeren und Gelegenheiten zum
Fachsimpeln, theoretisches wie praktisches,
I guess we should also give credit to the speakers who contribute the
tutorials (which promise to be very interesting):
snap: Matthias Fischmann
repa: Andres Löh
schule: Ralf Dorn
reactive: Heinrich Apfelmus
generics: Andres Löh
liveseq: Johannes Waldmann
Best,
Janis.
Am 06.06.2012
Date: Tue, 5 Jun 2012 10:25:26 -0700
From: Warren Harris warrensomeb...@gmail.com
On Jun 5, 2012, at 9:57 AM, Johan Tibell wrote:
I don't think applying == to something that contains floating point
values at the leaves makes much sense. You want some approxEq function
that uses
Hey Haskell-Cafe,
I would like to run GTK2HS on my Mac 10.6.8 but after the successful
installation with Homebrew of all modules (GTK+, GTK2HS) I get this failure
message:
Prelude :l guitest.hs
guitest.hs:1:8:
Could not find module `Graphics.UI.Gtk':
Use -v to see a list of the
If there would be a package where this could be in it would be
contravariant[1], but it isn't.
newtype Q' p f a = Q' (p a - f a)
This compiles:
instance (Contravariant p, Functor m, MonadFix m) = Applicative (Q' p m)
where
pure a = Q' (pure (return a))
Q' fs * Q' as = Q' $ \r - do
On 7 June 2012 03:01, Tanja Piechnick tanja.piechn...@stud.uni-due.de wrote:
Hey Haskell-Cafe,
I would like to run GTK2HS on my Mac 10.6.8 but after the successful
installation with Homebrew of all modules (GTK+, GTK2HS) I get this failure
message:
Prelude :l guitest.hs
guitest.hs:1:8:
*Bump*
Especially as there is now a version of the Haskell Platform based
around GHC-7.4.1, I would appreciate it if this behaviour could be
clarified.
On 20 April 2012 15:25, Ivan Lazar Miljenovic ivan.miljeno...@gmail.com wrote:
Has there been a change in the behaviour/requirement of
On Fri, Apr 20, 2012 at 12:25 AM, Ivan Lazar Miljenovic
ivan.miljeno...@gmail.com wrote:
Has there been a change in the behaviour/requirement of
TypeSynonymInstances as of GHC-7.4.1? (Not sure if this behaviour
occurs with 7.2.1 as I don't have it installed)
I had an instance for String for a
Also: if you have only very recently built gtk etc via mac homebrew, you
need to build the head version of gtk2hs and family. (there was a header
file / api change at some point regarding gtk, and only the darcs HEAD
version of gtk2hs et al has been updated to reflect that.)
On Wed, Jun 6, 2012
Welcome to issue 230 of the HWN, an issue covering crowd-sourced bits
of information about Haskell from around the web. This issue covers the
week of May 27 to June 02, 2012.
Announcements
Mark Lentczner had great news for us this week, announcing the
release of the Haskell Platform 2012.2.0.0.
43 matches
Mail list logo
