#6028: warning for cyclic unimplemented defaults
--+-
Reporter: lerkok| Owner:
Type: feature request | Status: new
Priority: normal|
#6028: warning for cyclic unimplemented defaults
--+-
Reporter: lerkok| Owner:
Type: feature request | Status: new
Priority: normal|
#5985: Type operators are not accepted as variables in contexts
-+--
Reporter: mikhail.vorozhtsov | Owner:
Type: bug | Status: new
Priority: normal
#5884: GHC panics while trying to derive a Generic instance for Complex a
-+--
Reporter: mux | Owner: dreixel
Type: bug | Status: new
#6029: GHC fails to stop at phase HCc
--+-
Reporter: liuexp| Owner:
Type: bug | Status: new
Priority: normal| Component:
#6029: GHC fails to stop at phase HCc
--+-
Reporter: liuexp| Owner:
Type: bug | Status: new
Priority: normal| Component:
#6030: Typeclass constraint should pick the OverloadedString type.
--+-
Reporter: GregWeber | Owner:
Type: bug | Status: new
Priority: normal
I've isolated the below small piece of code that is giving me a stack
overflow. I'm kind of at a loss as has to fix, or even find what is
happening here. (The real program is reading the data from a file,
and doing something more complex with it). I'm not even sure how to
work around this
On 21.04 11:21, David Brown wrote:
I've isolated the below small piece of code that is giving me a stack
overflow. I'm kind of at a loss as has to fix, or even find what is
happening here. (The real program is reading the data from a file,
and doing something more complex with it). I'm not
I would like to default IsString to use the Text instance to avoid
ambiguous type errors.
I see defaulting capability is available for Num. Is there any way to
do this for IsString?
Thanks,
Greg Weber
___
Glasgow-haskell-users mailing list
Pretty sure it does default to String, anyway:
{-# LANGUAGE OverloadedStrings #-}
main = print (show Hello!)
___
Glasgow-haskell-users mailing list
Glasgow-haskell-users@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
I think it'll be hard to do that without putting Text in base, which I'm
not sure anyone wants to do.
Dan
On Sat, Apr 21, 2012 at 8:20 PM, Greg Weber g...@gregweber.info wrote:
I would like to default IsString to use the Text instance to avoid
ambiguous type errors.
I see defaulting
my actual use case looks more like this:
{-# LANGUAGE OverloadedStrings #-}
{-# LANGUAGE FlexibleInstances, TypeSynonymInstances #-}
import Data.Text as T
class ShowT a where
showT :: a - String
instance ShowT T.Text where
showT = show
instance ShowT String where
showT = show
main =
This is a better demonstration of the issue. I am going to open a GHC
bug report, as I can't see how this behavior is desirable.
{-# LANGUAGE OverloadedStrings #-}
import Data.Text as T
classNoDefault a where noDefault :: a - Text
instance NoDefault T.Text where noDefault = id
main =
Today heralds the release of version 2.5 of the venerable yeganesh[1] menu.
The suckless team produces a small program named dmenu[2] which acts like a
normal Unix pipe program, accepting input on stdin and producing output on
stdout, with the one caveat that it sticks the user in between. It
Haskell 2012
ACM SIGPLAN Haskell Symposium 2012
Copenhagen, Denmark
13th September, 2012
Yes, this has always bothered me too.
John
On Sat, Apr 21, 2012 at 2:51 AM, Andreas Abel andreas.a...@ifi.lmu.de wrote:
In Control.Monad, when has type
when :: Monad m = Bool - m () - m ()
I think this type should be generalized to
when :: Monad m = Bool - m a - m ()
to avoid silly
On 21/04/2012, Andreas Abel andreas.a...@ifi.lmu.de wrote:
to avoid silly return () statements like in
when cond $ do
monadicComputationWhoseResultIWantToDiscard
return ()
(when cond ∘ void) monadicComputationWhoseResultIWantToDiscard
or
when cond $ () $
Ben wrote:
however, this does bring up a general question : why are applicative
functors (often) faster than monads? malcolm wallace mentioned this
is true for polyparse, and heinrich mentioned this is true more
generally. is there a yoga by which one can write monadic functors
which have a
Hello all,
I've just released a new version of blaze-html on Hackage. It has some
backward-incompatible changes, so feel free to contact me if you run
into any trouble.
Summary of changes:
- Split into blaze-markup and blaze-html
- Easy creation of custom HTML elements
- Very simple HTML tree
Hi,
I was trying to install ad (Automatic Differentiation) but got the
following error. I guess the answer is to upgrade my ghc (perhaps
someone could confirm) but I am using the Haskell Platform and would
rather stick with that. I see from http://hackage.haskell.org/platform/
that the next
Hi,
I just found out that with the new ConstraintKinds extension we can
parameterize the constraint of an existentially quantified type:
{-# LANGUAGE KindSignatures, ConstraintKinds, ExistentialQuantification #-}
import GHC.Exts
data Some (c :: * - Constraint) = forall a. c a = Some a
This
On Sat, Apr 21, 2012 at 6:05 PM, Bas van Dijk v.dijk@gmail.com wrote:
Hi,
I just found out that with the new ConstraintKinds extension we can
parameterize the constraint of an existentially quantified type:
{-# LANGUAGE KindSignatures, ConstraintKinds, ExistentialQuantification #-}
I'll need to get an older ghc version installed, so I can try to figure out
what changes are needed to make template haskell bits compatible back to the
current platform. 'ad' uses TH rather extensively, and sadly, the update to
support ghc 7.4.1 broke a fair bit of the old code gen -- as I
Haskell 2012
ACM SIGPLAN Haskell Symposium 2012
Copenhagen, Denmark
13th September, 2012
25 matches
Mail list logo