On 16 March 2015 at 21:30, Austin Seipp wrote:
> We are pleased to announce the third release candidate for GHC 7.10.1:
>
> https://downloads.haskell.org/~ghc/7.10.1-rc3
> https://downloads.haskell.org/~ghc/7.10.1-rc3/docs/html/
I noticed that the Haddock docs return 404s:
https://downlo
Hi Michael,
Are you already using usb-1.3.0.0? If not, could you upgrade and test
again? That release fixed the deadlock that Ben and Carter where
talking about.
Good luck,
Bas
___
Glasgow-haskell-users mailing list
Glasgow-haskell-users@haskell.org
ht
On 25 November 2014 at 19:34, Richard Eisenberg wrote:
> If I were you, I would just write `g` using unsafeCoerce in the right spot,
> instead of bothering with all the singletons, which would have to use
> unsafety anyway.
Thanks, I hadn't considered this yet.
Cheers,
Bas
___
Tagged (Proxy :: Proxy n))
>>>> | otherwise = Nothing
>>>
>>> Compiletime converter for known naturals
>>>
>>>> fromKnown :: (KnownNat n, n <= 255) => Proxy n -> Proof (n <= 255) (Proxy
>>>> n)
>>>> fromKn
Hi,
I have another type-level programming related question:
> {-# LANGUAGE GADTs #-}
> {-# LANGUAGE TypeOperators #-}
> {-# LANGUAGE ScopedTypeVariables #-}
> {-# LANGUAGE KindSignatures #-}
>
> import GHC.TypeLits
Say I have a Proxy p of some type-level natural number:
> p :: forall (n :: Nat)
Does the following make sense:
https://ghc.haskell.org/trac/ghc/ticket/9120
Bas
___
Glasgow-haskell-users mailing list
Glasgow-haskell-users@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
Hi Joachim,
I used the following in the past:
module M (PublicClass(..)) where
class HiddenClass a
class HiddenClass a => PublicClass a where
...
instance HiddenClass SomeType
instance PublicClass SomeType where
...
Now users of M can't declare instances of PublicClass because they don't
On 6 September 2012 18:05, Ian Lynagh wrote:
> The GHC Team is pleased to announce a new major release of GHC, 7.6.1.
Great!
> * It is now possible to defer type errors until runtime using the
> -fdefer-type-errors flag.
In section 7.13.1 it says:
...given the following code:
x :: Int
x
On 4 August 2012 15:53, Brandon Simmons wrote:
> The only thing that bothers me about this foldl is the presence of z0 xs0,
> which I think
> are only there on the LHS to indicate to GHC where it should inline.
Are these really needed?
Since GHC only inlines functions which are "fully applied"
On 12 July 2012 12:33, Andres Löh wrote:
> Your example compiles for me with HEAD (but fails with 7.4.1 and
> 7.4.2, yes). I've not tested if it also "works".
Great, I will wait for a new release then.
Bas
___
Glasgow-haskell-users mailing list
Glasgo
Hi,
I'm hitting on an issue when deriving Generic for an associated data type:
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE DeriveGeneric #-}
import GHC.Generics
class Foo a where
data T a :: *
instance Foo Int where
data T Int = Bla deriving Generic
Couldn't match type `Rep (T Int)' wi
On 23 June 2012 02:40, Ian Lynagh wrote:
>
> Hi Bas,
>
> On Sun, Jun 17, 2012 at 05:11:35PM +0200, Bas van Dijk wrote:
>>
>> module Main where
>>
>> import Foreign
>> import qualified Foreign.Concurrent as FC
>> import Control.Concurrent
>>
I just tried building the following program with the new GHC
win64_alpha1 and apart from warnings from using the unsupported
stdcall calling convention running the program doesn't give a
segmentation fault as it does when building the program with
GHC-7.4.2:
{-# LANGUAGE ForeignFunctionInterface #
Hello,
I'm trying to solve #5254
(http://hackage.haskell.org/trac/ghc/ticket/5254). The issue can be
isolated to the following short program which only uses
bindings-libusb
(http://hackage.haskell.org/packages/archive/bindings-libusb/1.4.4.1/doc/html/Bindings-Libusb-InitializationDeinitialization.
On 4 May 2012 14:12, Simon Marlow wrote:
> The forked thread is deadlocked, so the MVar is considered unreachable and
> the main thread is also unreachable. Hence both threads get sent the
> exception.
>
> The RTS does this analysis using the GC, tracing the reachable objects
> starting from the
On 3 May 2012 18:14, Bas van Dijk wrote:
> Now it seems the thread is killed while delaying. But why is it
> killed?
Oh I realise the forked thread is killed because the main thread
terminates because it received a BlockedIndefinitelyOnMVar exception
and then all daemonic threads are
On 3 May 2012 17:31, Edward Z. Yang wrote:
> Excerpts from Bas van Dijk's message of Thu May 03 11:10:38 -0400 2012:
>> As can be seen, the putMVar is executed successfully. So why do I get
>> the message: "thread blocked indefinitely in an MVar operation"?
>
> GHC will send BlockedIndefinitelyOnM
Hello,
Before I turn the following into a ticket I want to ask if I miss
something obvious:
When I run the following program:
-
import Prelude hiding (catch)
import Control.Exception
import Control.Concurrent
main :: IO ()
main = do
mv <- newEmp
On 23 April 2012 20:34, J. Garrett Morris wrote:
> On Mon, Apr 23, 2012 at 9:58 AM, Yitzchak Gale wrote:
>> In addition, OverloadedStrings is unsound.
>
> No. OverloadedStrings treats string literals as applications of
> fromString to character list constants. fromString can throw errors,
> jus
On 11 February 2012 00:30, John Meacham wrote:
> Would it be useful to make 'Proxy' an unboxed type itself? so
>
> Proxy :: forall k . k -> #
>
> This would statically ensure that no one accidentally passes ⊥ as a parameter
> or will get anything other than the unit 'Proxy' when trying to evaluate
Should I file a bug for this:
GHCi 7.2.2:
> import I.Do.Not.Exist
:
Could not find module `I.Do.Not.Exist'
Use -v to see a list of the files searched for.
GHCi 7.4.1:
> import I.Do.Not.Exist
>
(and for the record: I.Do.Not.Exist does not exist)
Bas
__
Hello,
Given the following program:
---
{-# LANGUAGE DeriveDataTypeable, TypeFamilies #-}
import Data.Typeable
class C a where
data T a :: *
data MyType1 = MyType1 deriving Typeable
data MyType2 = MyType2 deriving Typeable
instance C
On 27 January 2012 15:14, Felipe Almeida Lessa wrote:
> On Fri, Jan 27, 2012 at 12:06 PM, Bas van Dijk wrote:
>> $ cabal configure --ghc-options="-O2 -prof -auto-all -caf-all"
>
> Why aren't you using the specific options for profiling?
>
> $ cabal con
Hello,
I would like to profile a cabal package that contains template haskell
code. However I get the following error:
$ cabal configure --ghc-options="-O2 -prof -auto-all -caf-all"
...
$ cabal build
...
Dynamic linking required, but this is a non-standard build (eg. prof).
You need to build
uld be replaced by a _.
Bas
On Jan 9, 2012 6:22 AM, "wren ng thornton" wrote:
> On 1/8/12 8:32 AM, Bas van Dijk wrote:
>
>> On 23 December 2011 17:44, Simon
>> Peyton-Jones>
>> wrote:
>>
>>> My attempt at forming a new understanding was driven
On 23 December 2011 17:44, Simon Peyton-Jones wrote:
> My attempt at forming a new understanding was driven by your example.
>
> class Functor f where
> type C f :: * -> Constraint
> type C f = ()
>
> sorry -- that was simply type incorrect. () does not have kind * ->
> Constraint
So am I
On 22 December 2011 09:31, Simon Peyton-Jones wrote:
> What about
>
> class Functor f where
> type C f :: * -> Constraint
> type C f = ()
>
> After all, just as (Ord a, Show a) is a contraint, so is ().
But there's a kind mis-match there. `C f` should have kind `* ->
Constraint` but () has
On 22 December 2011 01:58, wrote:
> Quoting Bas van Dijk :
>
>> I'm playing a bit with the new ConstraintKinds feature in GHC
>> 7.4.1-rc1. I'm trying to give the Functor class an associated
>> constraint so that we can make Set an instance of Functor. The
>&
I'm playing a bit with the new ConstraintKinds feature in GHC
7.4.1-rc1. I'm trying to give the Functor class an associated
constraint so that we can make Set an instance of Functor. The
following code works but I wonder if the trick with: class Empty a;
instance Empty a, is the recommended way to
On 22 December 2011 00:10, José Pedro Magalhães wrote:
> Hi Bas,
>
> On Wed, Dec 21, 2011 at 23:02, Bas van Dijk wrote:
>>
>> On 21 December 2011 19:29, Ian Lynagh wrote:
>> > * There is a new feature constraint kinds (-XConstraintKinds):
>> >
>> &
On 21 December 2011 19:29, Ian Lynagh wrote:
> * There is a new feature constraint kinds (-XConstraintKinds):
>
> http://www.haskell.org/ghc/dist/stable/docs/html/users_guide/constraint-kind.html
I'm trying to run the ConstraintKinds example from the documentation:
{-# LANGUAGE Constraint
On 21 December 2011 19:29, Ian Lynagh wrote:
> Please test as much as possible; bugs are much cheaper if we find them
> before the release!
I'm trying to build bindings-levmar with the new GHC but get the
errors as reported here:
https://bitbucket.org/mauricio/bindings-dsl/issue/7/build-errors-w
On 7 December 2011 16:54, Ian Lynagh wrote:
> This is probably caused by old header files in includes/. Updating to
> the latest HEAD and making clean should fix it.
I already performed a make clean so that doesn't fix it. Fortunately a
make maintainer-clean does.
Thanks,
Bas
_
Hello,
I'm trying to build GHC HEAD but get the following error:
"inplace/bin/ghc-stage1" -H64m -O0 -fasm -Iincludes -Irts
-Irts/dist/build -DCOMPILING_RTS -package-name rts -dcmm-lint -i
-irts -irts/dist/build -irts/dist/build/autogen -Irts/dist/build
-Irts/dist/build/autogen
On 24 November 2011 16:46, José Pedro Magalhães wrote:
> Hi Bas,
>
> On Thu, Nov 24, 2011 at 09:23, Bas van Dijk wrote:
>>
>> Hello,
>>
>> Now that we have DefaultSignatures, why is it not allowed to have
>> multiple default method implementations, as i
Hello,
Now that we have DefaultSignatures, why is it not allowed to have
multiple default method implementations, as in:
{-# LANGUAGE DefaultSignatures #-}
class Foo a where
foo :: a
foo = error "foo"
default foo :: Num a => a
foo = 1
GHC complains: "Conflicting definitions for
On 12 November 2011 00:18, Ian Lynagh wrote:
> Looks fine to me. Perhaps you have a cached copy?
You're right. Sorry for the noise.
Bas
___
Glasgow-haskell-users mailing list
Glasgow-haskell-users@haskell.org
http://www.haskell.org/mailman/listinfo/gl
On 11 November 2011 22:03, Ian Lynagh wrote:
> The GHC Team is pleased to announce a new bugfix release of GHC, 7.2.2.
Yay! These GHC releases always feel like little presents...
I noticed the links to modules in base in the latest docs point to the
previous base library causing 404 errors:
htt
I reported this in the issue tracker:
http://hackage.haskell.org/trac/ghc/ticket/5595
Bas
___
Glasgow-haskell-users mailing list
Glasgow-haskell-users@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
On 30 October 2011 02:29, wren ng thornton wrote:
> ... Shouldn't the type of foo be:
>
> forall t m a
> . (Monad m, MonadTransControl t)
> => (Run t -> m a)
> -> t m a
>
> ?
Yes, that's the proper quantification.
One more fact: when I change the associated type synonym to a
associa
Hello,
I'm working on a new design of monad-control[1]. However I get a type
error I don't understand. Here's an isolated example:
{-# LANGUAGE UnicodeSyntax, RankNTypes, TypeFamilies #-}
class MonadTransControl t where
type St t ∷ * → *
liftControl ∷ Monad m ⇒ (Run t → m α) → t m α
rest
Thanks Daniel for confirming this.
I suspect this is caused by some rewrite rules in vector. So I
reported it in their issue-tracker:
http://trac.haskell.org/vector/ticket/63
Regards,
Bas
___
Glasgow-haskell-users mailing list
Glasgow-haskell-users@h
On 11 October 2011 21:11, Bas van Dijk wrote:
> Note that the program also builds fine when I change the 'f' and 'z' to:
>
> f = flip (:)
> z = []
>
Oops, I meant to say:
Note that the program also builds fine when I change
Hello,
When benchmarking my new vector-bytestring[1] package I discovered
that building the following program causes GHC to go into, what seems
to be, an infinite loop:
import Data.Vector (Vector)
import qualified Data.Vector.Generic as VG
main = print $ VG.foldl f z (VG.fromList [] :: Vector In
On 6 October 2011 14:58, Simon Marlow wrote:
> ... What you can do is make a withHandleFD:
>
> withHandleFD :: Handle -> (FD -> IO a) -> IO a
>
> it's still quite dodgy, depending on what you do with the FD. Perhaps it
> should be called unsafeWithHandleFD.
>
> Anyway, patches gratefully accepte
On 1 October 2011 08:30, Volker Wysk wrote:
> 1.
>
> data FD = FD {
> fdFD :: {-# UNPACK #-} !CInt,
> fdIsNonBlocking :: {-# UNPACK #-} !Int
> }
>
> What is that exclamation mark?
That's a strictness annotation and is haskell98/2010:
http://www.haskell.org/onlinereport/haskell2010/haskellch4.
2011/9/22 Bas van Dijk :
> I will make an official ticket for this.
Done: http://hackage.haskell.org/trac/ghc/ticket/5499
___
Glasgow-haskell-users mailing list
Glasgow-haskell-users@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-hask
2011/9/22 Bas van Dijk :
> I just discovered the predicate:
>
> -- | Marks if this constructor is a record
> conIsRecord :: t c (f :: * -> *) a -> Bool
>
> I think this can solve my problem.
I think I have solved the bug now using conIsRecord. This is the new
implementat
2011/9/22 Bas van Dijk :
> What would make all this much easier is if the meta-information of
> constructors had a flag which indicated if it was a record or not.
> Could this be added?
I just discovered the predicate:
-- | Marks if this constructor is a record
conIsRecord
Hi José,
I have another related question: (Excuse me for the big email, I had
trouble making it smaller)
I discovered a bug in my code that converts a product into a JSON
value. I would like to convert products without field selectors into
Arrays (type Array = Vector Value) and products with fiel
2011/9/22 José Pedro Magalhães :
> Hi Bas,
>
> On Thu, Sep 22, 2011 at 03:55, Bas van Dijk wrote:
>>
>> Hello,
>>
>> I just used the new GHC generics together with the DefaultSignatures
>> extension to provide a default generic implementation for toJSO
Hello,
I just used the new GHC generics together with the DefaultSignatures
extension to provide a default generic implementation for toJSON and
parseJSON in the aeson package:
https://github.com/mailrank/aeson/pull/26
It appears that the generic representation of a sum type has a tree shape as
On 31 August 2011 01:11, Bas van Dijk wrote:
> So it seems like a bug in GHC. I will create a ticket in the morning.
Ticket created: http://hackage.haskell.org/trac/ghc/ticket/5443
___
Glasgow-haskell-users mailing list
Glasgow-haskell-us
On 31 August 2011 00:15, Bas van Dijk wrote:
> I see what I can do. I'm first going to export the 'finished' function
> from GHC.Event and use that to wait till the loop finishes and see if
> that solves my problem.
Waiting till the loop finishes doesn't solve the
On 30 August 2011 17:39, Bryan O'Sullivan wrote:
> On Tue, Aug 30, 2011 at 6:49 AM, Bas van Dijk wrote:
>>
>> As you see I also kill the thread which is running the event manager
>> loop. However I think this is not the right way to do it because when
>> I use
On 30 August 2011 23:57, austin seipp wrote:
> 7.2.1 shipped without explicitly trusting the `base' package (an
> accident, IIRC.) You can fix this and resume your build by saying:
>
> $ ghc-pkg-7.2.1 trust base
>
> and everything should be OK.
Thanks that works!
Bas
___
Hello,
I'm trying to build recent ghc-HEAD using ghc-7.2.1 but get the following error:
libraries/filepath/System/FilePath/Internal.hs:81:1:
base:Data.List can't be safely imported! The package (base) the
module resides in isn't trusted.
I guess a "-trust base" flag has to be passed to ghc s
Hello,
In my (still unreleased) usb-1.0 (https://github.com/basvandijk/usb)
library I use the GHC event manager for managing events from the
underlying `libusb` C library.
To work with the library a user has to initialize it using:
newCtx ∷ IO Ctx
The `Ctx` then allows the user to see the USB d
On 29 August 2011 11:11, Aleksey Khudyakov wrote:
>> "Option 3 avoids that problem but risks perplexity: if I make use of
>> some cool package which introduces some Foo :: * -> *, I might notice
>> that Foo is a monad and add a Monad Foo instance in my own code,
>> expecting the Applicative Foo in
On 22 August 2011 10:10, Simon Peyton-Jones wrote:
> | > I don't completely understant how does it work. Does client need to enable
> | > language extension to get default instances?
> |
> | I think that the extension would only be required to *define them*,
> | not for them to be generated. The m
On 9 August 2011 15:15, Sergei Trofimovich wrote:
>> the HEAD of syb-with-class fails with the following error when build
>> with ghc-7.2.1 and template-haskell-2.6:
>>
>> http://code.google.com/p/syb-with-class/issues/detail?id=4
>>
>> Is this a bug in TH?
>
> Very likely:
> http://hackage.has
Hello,
the HEAD of syb-with-class fails with the following error when build
with ghc-7.2.1 and template-haskell-2.6:
http://code.google.com/p/syb-with-class/issues/detail?id=4
Is this a bug in TH?
Regards,
Bas
___
Glasgow-haskell-users mailing list
On 20 June 2011 11:54, John Lato wrote:
> Is it easy to check, out of those 344, how many would build if the
> dependency on haskell98 were removed?
You could write a script that will download them all, remove the
haskell98 dep. and cabal build the package.
> (Bas, your link doesn't work for me
On 17 June 2011 16:47, Simon Peyton-Jones wrote:
> So: Under Plan A, some Hackage packages will become un-compilable,
> and will require source code changes to fix them. I do not have
> any idea how many Hackage packages would fail in this way.
Of the 372 direct reverse dependenc
On 24 April 2011 18:58, Edward Z. Yang wrote:
> Well, that will result in a race where, if the foreign call gets interrupted,
> the asynchronous exception will get queued up and fire immediately once
> the FFI call completes,
Well the whole block of code is under a mask_ so if FFI calls are not
i
On 24 April 2011 10:26, Edward Z. Yang wrote:
> No, you have to use the 'interruptible' keyword.
Good, I need them to be uninterruptible. So I guess I can apply
uninterruptibleMask_ only to the 'acquire lock' in the following code
from my usb library:
https://github.com/basvandijk/usb/blob/async
Hello,
Quick question: are safe/unsafe FFI calls interruptible?
Thanks,
Bas
___
Glasgow-haskell-users mailing list
Glasgow-haskell-users@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
On 14 April 2011 17:04, Johan Tibell wrote:
> I've thrown together a small source-highlight language file for C--.
> You can use it to e.g. highlight C-- code when piped through less.
Nice!
It would also be nice to have highlighted C-- output in ghc-core[1] too!
Bas
[1] http://hackage.haskell.
On 29 March 2011 14:12, Bjorn Buckwalter wrote:
> On Tue, Mar 29, 2011 at 15:46, Bas van Dijk wrote:
>>
>> Attached is a patch that fixes a context reduction stack overflow in
>> your dimensional package.
>
> Thanks Bas, was the build failure on GHC 7.0.3? I don't
Dear Bjorn,
Attached is a patch that fixes a context reduction stack overflow in
your dimensional package.
I noticed something weird though (that's why I'm CCing the ghc list).
When I cabal build dimensional-0.8.2 I first get the context reduction
stack overflow when I then build it again I get t
On 15 March 2011 18:04, Ian Lynagh wrote:
> We want to keep the changes in this release to a minimum, to minimise
> the chance of regressions, but if you think we've missed any critical
> issues please let us know.
Absolutely not critical but it would be nice if you could merge my patch in:
http
On 21 February 2011 13:50, Ian Lynagh wrote:
> Can you file a ticket...
Done: http://hackage.haskell.org/trac/ghc/ticket/4974
___
Glasgow-haskell-users mailing list
Glasgow-haskell-users@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haske
On 20 February 2011 22:16, Ian Lynagh wrote:
> We are pleased to announce the second release candidate for GHC 7.0.2
Congratulations!
I may have found a bug (not sure if it's in ghc or cabal):
$ cabal install unix-compat
Resolving dependencies...
Configuring unix-compat-0.2.1.1...
cabal: Missin
On Fri, Dec 31, 2010 at 8:04 PM, Ian Lynagh wrote:
> On Wed, Dec 22, 2010 at 02:02:18PM +0100, Bas van Dijk wrote:
>>
>> I was just wondering if somebody could review (and hopefully apply)
>> some of or all the patches in:
>>
>> http://hackage.haskell.or
On Thu, Dec 16, 2010 at 7:36 PM, Ian Lynagh wrote:
>
> We are pleased to announce the first release candidate for GHC 7.0.2:
>
> http://www.haskell.org/ghc/dist/7.0.2-rc1/
>
> This includes the source tarball, installers for OS X and Windows, and
> bindists for amd64/Linux, i386/Linux, amd64/Fr
Hello,
I was just wondering if somebody could review (and hopefully apply)
some of or all the patches in:
http://hackage.haskell.org/trac/ghc/attachment/ticket/4834/ghc_new_monad_hierarchy.dpatch
Note that these patches are independent of the newly proposed monad hierarchy.
Thanks,
Bas
__
On Fri, Dec 17, 2010 at 7:58 PM, Ian Lynagh wrote:
> Can you tell me what these commands say, please?:
Oops! The i386 version works so I guess I mistakenly assumed I was on
a 64bit system.
Sorry for the noise.
In case you still want to know:
> uname -a
Linux hfd 2.6.35-22-generic-pae #35-Ubunt
On Thu, Dec 16, 2010 at 7:36 PM, Ian Lynagh wrote:
>
> We are pleased to announce the first release candidate for GHC 7.0.2:
>
> http://www.haskell.org/ghc/dist/7.0.2-rc1/
>
> This includes the source tarball, installers for OS X and Windows, and
> bindists for amd64/Linux, i386/Linux, amd64/Fr
On Sun, Dec 12, 2010 at 12:48 PM, John Smith wrote:
> There's a ticket at http://trac.haskell.org/haskell-platform/ticket/155,
Thanks! But why create a ticket for the Haskell Platform? This is a
change in the base library so we should follow the library submission
process[1] and create[2] a ticke
On Wed, Dec 1, 2010 at 10:02 AM, John Smith wrote:
> Regarding recent concerns as to whether Pointed is actually useful (and if
> it is, is that Pointed Functors or pure Pointed?), how about a slightly more
> modest reform?
>
> class Functor f where
> map :: (a -> b) -> f a -> f b
>
> class Fun
On Wed, Nov 10, 2010 at 2:39 PM, Mitar wrote:
>> Strange. It would help if you could show more of of your code.
>
> I am attaching a sample program which shows this. I am using 6.12.3 on
> both Linux and Mac OS X. And I run this program with runhaskell
> Test.hs. Without "throwIO ThreadKilled" it
On Wed, Nov 10, 2010 at 10:50 AM, Mitar wrote:
> Hi!
> On Wed, Nov 10, 2010 at 8:54 AM, Bas van Dijk wrote:
>> A ThreadKilled exception is not printed to stderr because it's not
>> really an error and should not be reported as such.
>
> So, how to make custom except
On Tue, Nov 9, 2010 at 5:37 PM, Mitar wrote:
> Why is ThreadKilled not displayed by RTS when send to thread (and
> unhandled), but any other exception is?
A ThreadKilled exception is not printed to stderr because it's not
really an error and should not be reported as such. It is also clear
how to
On Mon, Nov 1, 2010 at 4:30 AM, Mario Blažević wrote:
> Before uploading a new version of my project on Hackage, I decided to
> future-proof it against GHC 7.0. I ran into several compile errors caused by
> the changes in let generalization, but these were easy to fix by adding
> extra type an
(resending this to the list because this failed yesterday because of
the mailinglist downtime)
On Sat, Oct 30, 2010 at 1:57 AM, Bas van Dijk wrote:
> I could isolate it a bit more if you want.
And so I did. The following is another instance of the problem I'm
having but set in a more
On Sat, Oct 30, 2010 at 7:38 AM, Isaac Dupree
wrote:
> On 10/29/10 20:19, Bas van Dijk wrote:
>>
>> I'm not sure this is in rc2 since I'm using the latest ghc-HEAD
>> (7.1.20101029).
>>
>> In ghc< 7 you needed to import symbols like fromInteger, (
I'm not sure this is in rc2 since I'm using the latest ghc-HEAD (7.1.20101029).
In ghc < 7 you needed to import symbols like fromInteger, (>>=) and
fail when you used them indirectly. For example when using integer
literals or do-notation.
I noticed that in my ghc-HEAD this isn't needed anymore:
On Fri, Oct 29, 2010 at 5:42 PM, Simon Peyton-Jones
wrote:
> That looks odd.
>
> Can you isolate it for us? The easiest thing is usually to start with the
> offending code:
> withDeviceWhich ∷
> ∀ pr α
> . MonadCatchIO pr
> ⇒ USB.Ctx
> → (USB.DeviceDesc → Bool)
> → (∀ s. RegionalDeviceHandl
Hello,
I'm updating my usb-safe package for GHC-7:
darcs get http://code.haskell.org/~basvandijk/code/usb-safe
It depends on the HEAD version of regions:
darcs get http://code.haskell.org/~basvandijk/code/regions
I think I'm suffering from the new implied MonoLocalBinds extension
(I'm using GAD
On Tue, Jun 15, 2010 at 12:41 PM, Simon Marlow wrote:
> On 15/06/2010 09:00, Bas van Dijk wrote:
>>
>> On Mon, Jun 14, 2010 at 11:20 PM, Don Stewart wrote:
>>>
>>> v.dijk.bas:
>>>>
>>>> Hello,
>>>>
>>>> I'v
On Mon, Jun 14, 2010 at 11:20 PM, Don Stewart wrote:
>
> v.dijk.bas:
>> Hello,
>>
>> I've a short question about interruptible operations. In the following
>> program is it possible for 'putMVar' to re-throw asynchronous
>> exceptions even when asynchronous exception are blocked/masked?
>>
>> ne
Hello,
I've a short question about interruptible operations. In the following
program is it possible for 'putMVar' to re-throw asynchronous
exceptions even when asynchronous exception are blocked/masked?
newEmptyMVar >>= \mv -> block $ putMVar mv x
The documentation in Control.Exception about
On Thu, Mar 18, 2010 at 10:39 PM, Milan Straka wrote:
> personally I am against splitting containers. It is a collection of
> several basic data structures with similar design decisions
> (reasonably efficient, can be used persistently, decent API).
> I think these structures should stay together,
On Thu, Mar 18, 2010 at 4:43 PM, Louis Wasserman
wrote:
>> Submit this package for canonicalization as part of the Haskell Platform.
>> I would for one would support its inclusion.
>
> This is an option I seriously hadn't considered. To be fair, that's because
> I've never used the Platform myse
On Thu, Jan 7, 2010 at 11:02 AM, Simon Peyton-Jones
wrote:
> Yes I did. That too was an oversight. Thanks for pointing both out.
Ok thanks (I asked just to make sure I don't have to create a ticket.)
Bas
___
Glasgow-haskell-users mailing list
Glasgow-
On Wed, Jan 6, 2010 at 5:34 PM, Simon Peyton-Jones
wrote:
> Good point. I'll fix that, in HEAD at least.
Thanks,
BTW did you fix the infix instance headers problem in HEAD I
previously mailed about?
regards,
Bas
___
Glasgow-haskell-users mailing list
Hello,
Why is the following a syntax error:
f (view1 -> view2 -> pattern) = ...
and the following isn't:
f (view1 -> (view2 -> pattern)) = ...
I would prefer the first version.
regards,
Bas
___
Glasgow-haskell-users mailing list
Glasgow-haskell-use
On Mon, Dec 21, 2009 at 10:17 PM, Bas van Dijk wrote:
> On Mon, Dec 21, 2009 at 9:03 PM, Robert Greayer wrote:
>> There's been some improvement at least in 6.12.1, see:
>> http://hackage.haskell.org/trac/ghc/ticket/2395
>
> Thanks for pointing me to the ticket!
>
&g
On Mon, Dec 21, 2009 at 9:03 PM, Robert Greayer wrote:
> There's been some improvement at least in 6.12.1, see:
> http://hackage.haskell.org/trac/ghc/ticket/2395
Thanks for pointing me to the ticket!
I'm emerging ghc-6.12.1 right now to try it out (I'm on Gentoo Linux).
regards,
Bas
__
Hello,
In my usb-safe[1] library I make extensive use of the ViewPatterns[2]
language extension. However I get strange warnings when using them.
See for example the following function:
resetDevice ∷ (pr `ParentOf` cr, MonadIO cr)
⇒ RegionalDeviceHandle pr → cr ()
resetDevice (interna
1 - 100 of 120 matches
Mail list logo
