#5055: STM Exception BlockedIndefinitelyOnSTM throws to wrong thread
---+
Reporter: guest | Owner:
Type: bug | Status: closed
Priority: normal
#5059: Pragma to SPECIALISE on value arguments
-+--
Reporter: batterseapower| Owner:
Type: feature request | Status: new
Priority: normal| Component:
#2902: Example where ghc 6.10.1 fails to optimize recursive instance function
calls
---+
Reporter: Syzygies|Owner:
Type: bug | Status: new
#5060: iteratee: epollControl: permission denied (Operation not permitted)
---+
Reporter: pacak | Owner:
Type: bug | Status: new
#5060: iteratee: epollControl: permission denied (Operation not permitted)
---+
Reporter: pacak | Owner:
Type: bug | Status: new
#5059: Pragma to SPECIALISE on value arguments
-+--
Reporter: batterseapower| Owner:
Type: feature request | Status: new
Priority: normal| Component:
#5059: Pragma to SPECIALISE on value arguments
-+--
Reporter: batterseapower| Owner:
Type: feature request | Status: new
Priority: normal| Component:
#4973: building ghc7.0.1.20110217 under x86 solaris fails
--+-
Reporter: maeder | Owner: igloo
Type: bug | Status: patch
Priority: highest |
#5058: getProcessExitCode doesn't retry on EINTR
--+-
Reporter: sclv |Owner: simonmar
Type: bug| Status: new
Priority:
#5049: GHC Panic on Text.Highlighting.Kate.Syntax.Ocaml
--+-
Reporter: Twey |Owner:
Type: bug
#5056: typo in DEBUG RTS options
-+--
Reporter: jeffz_|Owner: simonmar
Type: bug | Status: new
Priority: high |Milestone: 7.2.1
#4973: building ghc7.0.1.20110217 under x86 solaris fails
--+-
Reporter: maeder | Owner: igloo
Type: bug | Status: patch
Priority: highest |
#459: Bad parse error message
+---
Reporter: nobody | Owner:
Type: bug| Status: new
Priority: normal | Milestone: _|_
#5057: poor parser error message
--+-
Reporter: duncan |Owner:
Type: feature request| Status: new
Priority: normal |Milestone:
#5057: poor parser error message
+---
Reporter: duncan | Owner:
Type: feature request| Status: closed
Priority: normal | Milestone:
#5054: LLVM Errors with test cases
-+--
Reporter: arsenm|Owner: davidterei@…
Type: bug | Status: infoneeded
Priority: normal|
#5056: typo in DEBUG RTS options
-+--
Reporter: jeffz_ | Owner: simonmar
Type: bug | Status: closed
Priority: high| Milestone: 7.2.1
#5058: getProcessExitCode doesn't retry on EINTR
--+-
Reporter: sclv | Owner: simonmar
Type: bug | Status: closed
Priority:
#5054: LLVM Errors with test cases
-+--
Reporter: arsenm|Owner: davidterei@…
Type: bug | Status: new
Priority: normal|
#3307: System.IO and System.Directory functions not Unicode-aware under Unix
--+-
Reporter: YitzGale |Owner:
Type: bug| Status: new
Priority:
#4303: Segfault in RTS (apparently only MacOS) FFI related?
---+
Reporter: patperry|Owner: igloo
Type: bug | Status: new
Priority: highest |
#4370: Bring back monad comprehensions
-+--
Reporter: simonpj |Owner: nsch
Type: feature request | Status: patch
Priority: normal|Milestone: 7.4.1
#4370: Bring back monad comprehensions
-+--
Reporter: simonpj |Owner: nsch
Type: feature request | Status: patch
Priority: normal|Milestone: 7.4.1
#4248: Poor error message when openFile fails to open named pipe
-+--
Reporter: Khudyakov | Owner:
Type: bug | Status: closed
Priority: normal
#4457: Way to determine if code is running in thread fixed on capability
--+-
Reporter: mitar| Owner: simonmar
Type: feature request | Status: closed
Priority:
#4163: Make cross-compilation work
-+--
Reporter: simonmar |Owner: simonmar
Type: task | Status: patch
Priority: high |
#3252: having to call hs_add_root(__stginit_Foo) is a bit of a pain
-+--
Reporter: duncan|Owner: simonmar
Type: feature request | Status: new
Priority: high
#4934: threadWaitRead works incorrectly on nonthreaded RTS
---+
Reporter: slyfox |Owner: simonmar
Type: bug | Status: new
#3915: GHC panic; possibly related to mutually recursive modules
-+--
Reporter: bob |Owner:
Type: bug |
#5061: Implement FFI spec behaviour for *CString family
-+--
Reporter: batterseapower| Owner:
Type: bug | Status: new
Priority: normal|
#5061: Implement FFI spec behaviour for *CString family
-+--
Reporter: batterseapower| Owner:
Type: bug | Status: new
Priority: normal|
#5062: Patch: Debug output for OS X linker and coding standard upgrades
-+--
Reporter: igloo |Owner:
Type: bug | Status: new
Priority: normal
#5063: unix package has untracked dependency on libbsd
-+--
Reporter: duncan| Owner:
Type: bug | Status: new
Priority: normal|
#4974: cabal install unix-compat fails with ghc-7.0.1-rc2
-+--
Reporter: basvandijk | Owner:
Type: bug | Status: closed
Priority: normal |
#5063: unix package has untracked dependency on libbsd
-+--
Reporter: duncan| Owner:
Type: bug | Status: new
Priority: normal|
#4901: Possible bug in GHCi archive loading:
-+--
Reporter: batterseapower|Owner:
Type: bug | Status: new
Priority: high |Milestone:
#5050: Produces invalid assembly when using `peek' and -fvia-c with new binutils
on amd64
-+--
Reporter: laney | Owner:
Type: bug | Status: closed
#4901: Possible bug in GHCi archive loading:
-+--
Reporter: batterseapower|Owner:
Type: bug | Status: new
Priority: high |Milestone:
#4901: Possible bug in GHCi archive loading:
-+--
Reporter: batterseapower|Owner: igloo
Type: bug | Status: new
Priority: high |Milestone:
#5063: unix package has untracked dependency on libbsd
-+--
Reporter: duncan| Owner:
Type: bug | Status: new
Priority: normal|
#5064: base ./configure can't be run in cross-compilation environments
-+--
Reporter: MtnViewMark | Owner:
Type: bug | Status: new
#5064: base ./configure can't be run in cross-compilation environments
-+--
Reporter: MtnViewMark | Owner:
Type: bug | Status: patch
#4163: Make cross-compilation work
-+--
Reporter: simonmar |Owner: simonmar
Type: task | Status: patch
Priority: high |
#5052: stdcall on OS X is broken
-+--
Reporter: igloo |Owner:
Type: bug | Status: new
Priority: normal|Milestone:
Component: Compiler
#5004: loading stripped libHsghc-7.0.2.a fails
-+--
Reporter: pbrisbin |Owner:
Type: bug | Status: new
Priority: highest |Milestone:
#5004: loading stripped libHsghc-7.0.2.a fails
-+--
Reporter: pbrisbin |Owner:
Type: bug | Status: new
Priority: highest |Milestone:
#5004: loading stripped libHsghc-7.0.2.a fails
-+--
Reporter: pbrisbin |Owner:
Type: bug | Status: new
Priority: highest |Milestone:
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
Am 29.03.2011 13:46, schrieb Bas van Dijk:
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
On Tue, Mar 29, 2011 at 15:46, Bas van Dijk v.dijk@gmail.com 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 believe this
problem occurred on 7.0.1 and 7.0.2 although I'm not sure
Hi All.
I've installed on my MacOS X 10.6.7 (Xcode4) the new GHC 7.0.3 (64 bit)
All works fine, but every time I build my code I get the warning:
ld: warning: could not create compact unwind for _ffi_call_unix64: does not use
RBP or RSP based frame
Is this warning something bad?
Thanks.
Luca.
On 3/28/11 10:33 PM, Jens Petersen wrote:
FYI testsuite results:
[...]
8 unexpected failures on x86:
DoParamM(normal)
T3064(normal)
T3330a(normal)
T3738(normal)
T4316(ghci)
T4801(normal)
break024(ghci)
space_leak_001(normal)
FYI, testsuite results for OSX 10.5.8
On Mon, 28 Mar 2011 14:40:21 -0500, Jeff Wheeler wheel...@illinois.edu wrote:
On Mon, Mar 28, 2011 at 7:33 AM, Edward Amsden eca7...@cs.rit.edu wrote:
* mention alex in the cabal file (I don't remember the syntax but there is
a way to specify tools needed to build).
build-tools: alex
0.4.9 has been uploaded to cabal, with the new operators. Changes are in the
replied-to post (and also quoted below), plus the new operators proposed by
Kazu Yamamoto.
Here's the corresponding docs (they have examples!)
I tried with both 7.0.2 and 7.0.3
-Original Message-
On Mon, Mar 28, 2011 at 7:31 PM, Michael A Baikov pa...@bk.ru wrote:
I am still playing with lastest iteratee and i think i found something
strange.
let's suppose we have a file test.hs like this:
import
On 29 March 2011 05:00, Michael Litchard mich...@schmong.org wrote:
I just noticed those. I think that came from hpaste. The first mail
was a cut and paste from a post I made there. When I went to look at
your reply, I had the very same question as you.
IIRC IE users have this problem, it
Could you please file a bug at
http://hackage.haskell.org/trac/ghc/
Give an as small reproducible test case as possible and as much
information about your system as possible.
Thanks!
Johan
2011/3/29 Michael A Baikov pa...@bk.ru:
I tried with both 7.0.2 and 7.0.3
-Original
Wren Thornton wrote:
This is often conflated with the iteratee throwing an error/exception,
which is wrong because we should distinguish between bad program
states and argument passing.
I guess this is a matter of different points of view on exceptions. I
am a fan of the model of (effectful)
Hi,
just so you know that I have almost no idea what I'm doing, I'm a complete
Haskell noob, but trying a bit I came up with this before getting stuck:
class Drawable a where
draw :: a - String
data Rectangle = Rectangle { rx, ry, rw, rh :: Double }
deriving (Eq, Show)
Sorry , the following line got lost in the copy paste:
{-# LANGUAGE ExistentialQuantification #-}
-Tako
On Tue, Mar 29, 2011 at 11:09, Tako Schotanus t...@codejive.org wrote:
Hi,
just so you know that I have almost no idea what I'm doing, I'm a complete
Haskell noob, but trying a bit
Excerpts from Jason Dagit's message of Tue Mar 29 00:43:10 -0400 2011:
I was reading up on the documentation for alloca and friends[1], which says,
If any of the allocation functions fails, a value of
Tad,
It doesn't look bad, but depending on what you want to do with the
[ShapeD] aftewards you might not need this level of generality.
Remember that the content of a ShapeD has type (forall a. ShapeC a =
a), so all you can do with it is call class methods from ShapeC. So if
all you do is
On Mar 29, 2011 10:42 AM, o...@okmij.org wrote:
I'm keen to hear of the example that seem to require Iteratee's
allocating additional resources. I'd really like to see if any of such
cases can be cast it terms of regions, implemented via iterated
Iteratee transformers.
Hello Oleg,
The
Could you please add a way of varying the title of the
Yackage web page? That would make it much easier to work
with multiple Yackages at once. For my particular setup,
including its port number in the web page title would do
the trick. But perhaps the easiest and most general thing
would be to
Actually, Tako:
data Shape = forall a. Drawable a = Shape a
Can also be done with GADTs:
data Shape where
Shape :: Drawable a = a - Shape
If wouldn't know if one approach is preferable to the other or if is just a
matter of taste.
Your problem, Tad, is kind of common. I ran
ImProve [1] is an imperative DSL for hard realtime embedded
applications. ImProve programs are verified with infinite
state,unbounded model checking (k-induction, invariant strengthening,
SMT). In addition to C, ImProve now supports Simulink [2] as a
backend target. Simulink is a popular
On Tue, Mar 29, 2011 at 2:37 AM, Edward Z. Yang ezy...@mit.edu wrote:
Excerpts from Jason Dagit's message of Tue Mar 29 00:43:10 -0400 2011:
I was reading up on the documentation for alloca and friends[1], which
says,
If any of the allocation functions fails, a value of
nullPtr
I've been wanting to share code between cabal projects for some time,
and I finally had a chance to write up the rough idea as a simple
proposal. Here's the description, with links to the SoC trac and
reddit haskell_proposals pages.
SoC ticket:
Would anybody be interested in mentoring me for a summer of code project
working on language.c? I want to write an internal pre-processor that saves
information such as comments and potentially some specially defined
annotations, so that code can be analyzed better.
Actually, after thinking it back, I found out one other method. The key idea
is to split what is common to every shape with what is not:
data Circle = Circle { cr :: Double }
data Rectangle = Rectangle { rw, rh :: Double }
class Shapeful s where
name :: s - String
fields :: s - String
0.4.9 has been uploaded to cabal, with the new operators. Changes are in the
replied-to post (and also quoted below), plus the new operators proposed by
Kazu Yamamoto.
Here's the corresponding docs (they have examples!)
Should that be inner :: s?
data Shape = forall s. (Shapeful s)
= Shape { sx, sy :: Double,
inner :: a }
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
Hi Jake!
My only question is this: what does your language offer that others do
not with respect to soft real time systems? The language you describe in
the linked forum thread looks neat, but I think I'm missing the
reasoning behind its design. Why is this design beneficial for soft real
2011/3/29 Bryan Edds bryane...@yahoo.com:
Hi Jake!
My only question is this: what does your language offer that others do
not with respect to soft real time systems? The language you describe in
the linked forum thread looks neat, but I think I'm missing the
reasoning behind its design. Why
Hello Andrew,
This is something I've been wanting for a while, and I'd definitely be
interested in mentoring the work. We'd want to work together (along with
Benedikt Huber, the current maintainer) to define a specific scope that's
appropriate for the summer of code. A fully-compliant internal
Done, and uploaded as yackage 0.1.0. This version of Yackage uses the
newer Yesod 0.7.0. Just pass it the command line flag --title.
Michael
On Tue, Mar 29, 2011 at 1:13 PM, Yitzchak Gale g...@sefer.org wrote:
Could you please add a way of varying the title of the
Yackage web page? That would
OK, if you send me a tested patch I will be happy to apply it.
-- John
On 03/23/2011 04:09 PM, vagif.ve...@gmail.com wrote:
Latest from hackage: 2.2.3.2
On Wednesday, March 23, 2011 01:58:52 PM you wrote:
On 03/23/2011 06:43 AM, Gershom Bazerman wrote:
I've run into that bug too. I'm
On Tue, Mar 29, 2011 at 3:05 PM, Aaron Tomb at...@galois.com wrote:
However, I should mention that the Haskell community has put together a
fairly long list of potential projects, many of which are more widely useful
than Language.C work. This may mean that it would have a relatively low
Hello John,
Sorry that I'm late. And honestly one day for request submissions is a
bit narrow.
I have a request, too: Right now it is difficult to compose
enumeratees. An equivalent of (.) for enumeratees would be great. So
instead of:
joinI $ e1 $$ joinI $ e2 $$ iter
one could write
On Tue, Mar 29, 2011 at 1:26 PM, Rogan Creswick cresw...@gmail.com wrote:
I've been wanting to share code between cabal projects for some time,
and I finally had a chance to write up the rough idea as a simple
proposal. Here's the description, with links to the SoC trac and
reddit
On Tue, Mar 29, 2011 at 4:39 PM, Edward Kmett ekm...@gmail.com wrote:
On Tue, Mar 29, 2011 at 1:26 PM, Rogan Creswick cresw...@gmail.comwrote:
I've been wanting to share code between cabal projects for some time,
and I finally had a chance to write up the rough idea as a simple
proposal.
On Tue, Mar 29, 2011 at 6:15 PM, Ertugrul Soeylemez e...@ertes.de wrote:
Hello John,
Sorry that I'm late. And honestly one day for request submissions is a
bit narrow.
I have a request, too: Right now it is difficult to compose
enumeratees. An equivalent of (.) for enumeratees would be
Hello,
(=$) :: Monad m = Enumeratee ao ai m b - Iteratee ai m b - Iteratee ao m
b
enum =$ iter = joinI (enum $$ iter)
($=) :: Monad m = Enumerator ao m (Step ai m b) - Enumeratee ao ai m b -
Enumerator ai m b
($=) = joinE
Antoine Latter aslat...@gmail.com wrote:
It looks like we can't quite fit Enumeratee into the Category
typeclass (without newtypes, at least). That's a shame.
Yeah. Intuitively it looks like iteratees and enumeratees are excellent
candidates for Category and even Arrow. Unfortunately they
On 3/29/11 4:40 AM, o...@okmij.org wrote:
Wren Thornton wrote:
This is often conflated with the iteratee throwing an error/exception,
which is wrong because we should distinguish between bad program
states and argument passing.
I guess this is a matter of different points of view on
Greg,
Thanks for your help. Is there any significant difference between
using existential quantification
data ShapeD = forall s. ShapeC = ShapeD s
versus a GADT
data ShapeD where
ShapeD :: ShapeC s = s - ShapeD
I'm not sure I understood what you meant by You don't need to write
more
Hi Steffen,
Thanks for your answer. It was very helpful. Suppose that the shape
class has 100 methods and
that 1000 fully evaluated shapes are placed in a list. In this
unlikely scenario, would your suggested
technique require more memory than the GADT technique, because each
instance of the
Hi Tako,
The link to http://www.haskell.org/haskellwiki/Existential_type was
very helpful and gave examples
very similar to the answers I received from the haskell-cafe contributors.
Thanks,
Tad
On Tue, Mar 29, 2011 at 2:12 AM, Tako Schotanus t...@codejive.org wrote:
Sorry , the following
88 matches
Mail list logo