Re: RFC: migrating to git

2011-01-13 Thread Brian Bloniarz
On 01/13/2011 12:49 AM, Simon Marlow wrote: I spent quite some time yesterday playing with submodules to see if they would work for GHC. I'm fairly sure there are no fundamental reasons that we couldn't use them, but there are enough gotchas to put me off. I wrote down what I discovered here:

Re: [darcs-users] How to develop on a (GHC) branch with darcs

2010-12-22 Thread Brian Bloniarz
Hi Simon, On 12/08/2010 12:45 AM, Simon Peyton-Jones wrote: I have personal experience of git, because I co-author papers with git users. I am not very technologically savvy, but my failure rate with git is close to 100%. Ie I can do the equivalent of 'pull' or 'push' but I fail at

Re: [Haskell-cafe] Is there any way to prevent a computation from being shared?

2010-11-15 Thread Brian Bloniarz
On 11/13/2010 08:55 AM, Petr Prokhorenkov wrote: import Data.List wtf d = head . dropWhile ( 10^100) . map (*d) $ enumFrom 2 main = do print $ wtf 1 print $ wtf 2 -- Everything is ok without this line Is there any way to overcome this? I think this phenomenon is called the full

Re: os x 64-bit?

2010-11-09 Thread Brian Bloniarz
On 11/09/2010 02:36 AM, John Lato wrote: I was wondering if there is a status report anywhere of progress towards making ghc compile 64-bit on Snow Leopard. There are a few trac tickets that seem related: I think http://hackage.haskell.org/trac/ghc/ticket/3472 is related if you haven't seen

Re: SIGPIPE in the GHC runtime

2010-08-25 Thread Brian Bloniarz
On 08/23/2010 07:15 AM, Ian Lynagh wrote: Could someone summarise this thread in a ticket in the GHC trac? http://hackage.haskell.org/trac/ghc/ticket/4274 HTH, Brian ___ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org

Re: SIGPIPE in the GHC runtime

2010-08-23 Thread Brian Bloniarz
On 08/23/2010 07:15 AM, Ian Lynagh wrote: Could someone summarise this thread in a ticket in the GHC trac? http://hackage.haskell.org/trac/ghc/ I'd be happy to, I'll follow up as soon as I can find time. Thanks, -Brian ___ Glasgow-haskell-users

Re: SIGPIPE in the GHC runtime

2010-08-18 Thread Brian Bloniarz
On 08/18/2010 04:55 PM, Donn Cave wrote: Quoth Brian Bloniarz brian.bloni...@gmail.com, IMHO the simplest fix is the patch below: simply avoid SIG_IGN, instead install a handler which does nothing. This way, an exec() restores the handler to SIG_DFL. I've included a testcase too. I don't

Re: SIGPIPE in the GHC runtime

2010-08-18 Thread Brian Bloniarz
On 08/18/2010 07:06 PM, Donn Cave wrote: Quoth Brian Bloniarz brian.bloni...@gmail.com, ... I just tested linux in this scenario, it gives EPIPE as I'd expect. Linux's SA_RESTART has been reliable in my limited experience. Do you have an OpenSolaris install to test by any chance? The code

SIGPIPE in the GHC runtime

2010-08-17 Thread Brian Bloniarz
The GHC runtime ignores SIGPIPE by setting the signal to SIG_IGN. This means that any subprocesses (created via System.Process or otherwise) will also have their SIGPIPE handler set to SIG_IGN; I think this might be a bug. The Python runtime does the same thing, there's a good explanation of the

RE: [Haskell-cafe] Exceptions during exception unwinding

2009-10-01 Thread Brian Bloniarz
1254389201.7656.3.ca...@localhost Content-Type: text/plain; charset=Windows-1252 Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 On Thu=2C 2009-10-01 at 03:29 +=2C Brian Bloniarz wrote: I.e. why does an exception raised during exception handling get propagated past

Re: [Haskell-cafe] Exceptions during exception unwinding

2009-10-01 Thread Brian Bloniarz
Sorry for the garbled post, this should hopefully be plain text: On Thu, 2009-10-01 at 03:29 +, Brian Bloniarz wrote: I.e. why does an exception raised during exception handling get propagated past the exception that triggered the handler? Because it's the obvious and sensible thing

[Haskell-cafe] Exceptions during exception unwinding

2009-09-30 Thread Brian Bloniarz
I had a question about onException friends: what's the rationale for having: (error foo) `onException` (error bar) give bar and not foo? I.e. why does an exception raised during exception handling get propagated past the exception that triggered the handler? Most examples I can think for

RE: [Haskell-cafe] A small puzzle: inTwain as function of foldr

2009-06-05 Thread Brian Bloniarz
Hi all, Malcom Wallace wrote: Martijn van Steenbergen mart...@van.steenbergen.nl wrote: But this uses length and init and last all of which are recursive functions. I consider that cheating: only foldr may do the recursion. I think the key is to pick your intermediate data-structure

RE: [Haskell-cafe] A small puzzle: inTwain as function of foldr

2009-06-04 Thread Brian Bloniarz
How about the following, using difference lists? import Control.Arrow import qualified Data.DList as D start = (Nothing, (D.empty, D.empty)) iter (Nothing, (r1, r2)) x = (Just x, (r1, r2)) iter (Just y, (r1, m)) x = D.list (Nothing, (D.singleton y, D.singleton x)) (\r r2

RE: [Haskell-cafe] Request for feedback: HaskellDB + HList

2009-05-19 Thread Brian Bloniarz
sweet. On Sat, May 16, 2009 at 3:08 PM, Brian Bloniarz phun...@hotmail.com wrote: Hi, It's come time to share something that I've been playing around with recently: a branch of HaskellDB which replaces the home-grown Record code with HList records. It's definitely not ready

RE: [Haskell-cafe] Request for feedback: HaskellDB + HList

2009-05-18 Thread Brian Bloniarz
_ Insert movie times and more without leaving Hotmail®. http://windowslive.com/Tutorial/Hotmail/QuickAdd?ocid=TXT_TAGLM_WL_HM_Tutorial_QuickAdd1_052009___ Haskell-Cafe mailing list

[Haskell-cafe] Request for feedback: HaskellDB + HList

2009-05-16 Thread Brian Bloniarz
/hlist-20090516.tar.gz I'll talk to the HList people about getting those merged. Thanks! Brian Bloniarz _ Hotmail® has a new way to see what's up with your friends. http://windowslive.com/Tutorial/Hotmail/WhatsNew?ocid

RE: [Haskell-cafe] A foray into type-level programming, and getting stuck

2009-03-01 Thread Brian Bloniarz
Hi George, Since none of the type metaprogramming specialists have answered you on-list, I took a crack at this -- I think you can work around the issue by avoiding overlapping instances entirely. I learned about this technique from the HList paper this message:

RE: [Haskell-cafe] A foray into type-level programming, and getting stuck

2009-03-01 Thread Brian Bloniarz
Actually, it's not necessary to remove the overlap, it's enough to add the ImplementsPrev constraint: instance (Pred x x', Nthable b x' r, ImplementsPrev (Tuple n a b) x) ⇒ Nthable (Tuple n a b) x r where nth _ (Tuple _ b) = nth (undefined ∷ x') b It looks like this typechecks too --

Suggestion for bang patterns documentation

2009-02-26 Thread Brian Bloniarz
I got confused by the GHC documentation recently, I was wondering how it could be improved. From: http://www.haskell.org/ghc/docs/latest/html/users_guide/bang-patterns.html A bang only really has an effect if it precedes a variable or wild-card pattern: f3 !(x,y) = [x,y] f4 (x,y) = [x,y]

[Haskell-cafe] RE: first class tuples?

2009-02-20 Thread Brian Bloniarz
Wolfgang Jeltsch wrote: Make , an infix operator. Then even the syntax (,) works without further ado. Make , right-associative, for example. Then you can write (a1,...,an) which means (a1,(a2,(...,an))). You just need one data declaration: data (a,b) = (a,b) However, this has

[Haskell-cafe] RE: can't figure out a type

2009-02-11 Thread Brian Bloniarz
Hi John, In the class I wrote, c has kind * (e.g. [a]), but then I don't see how to write a suitable map function. For that, I would want c to have kind * - *. Unfortunately then I don't know to write the others. Would I have to do something with c having kind (* - *) ? class

RE: Display of associated types in GHCi

2009-02-06 Thread Brian Bloniarz
a feature request and add yourself on the CC: list (to vote for this feature). http://hackage.haskell.org/trac/ghc/wiki/ReportABug Thanks, Brian Bloniarz I have a question about the display of names for associated types in GHCi. I have a module with a matrix type constructor: data (Natural r