[commit: testsuite] ghc-7.2: Add a test for #5332 (unboxed singleton tuples and TH) (045e96f)

2011-07-20 Thread Ian Lynagh
Ian Lynagh Date: Tue Jul 19 20:58:39 2011 +0100 Add a test for #5332 (unboxed singleton tuples and TH) >--- tests/ghc-regress/th/TH_unboxedSingleton.hs |7 +++ tests/ghc-regress/th/all.T |2 ++ 2

[commit: ghc] ghc-7.2: Fix #5332 (more): unboxed singleton tuples are fine (7450a54)

2011-07-20 Thread Ian Lynagh
ton Jones Date: Wed Jul 20 10:15:52 2011 +0100 Fix #5332 (more): unboxed singleton tuples are fine This patch fixes the unboxed singleton tuples in types and patterns >--- compiler/hsSyn/Convert.lhs |3 --- 1

[commit: ghc] master: Fix #5332 (more): unboxed singleton tuples are fine (9f095a4)

2011-07-20 Thread Simon Peyton Jones
ton Jones Date: Wed Jul 20 10:15:52 2011 +0100 Fix #5332 (more): unboxed singleton tuples are fine This patch fixes the unboxed singleton tuples in types and patterns >--- compiler/hsSyn/Convert.lhs |3 --- 1

[commit: testsuite] master: Add a test for #5332 (unboxed singleton tuples and TH) (c1d0a6f)

2011-07-19 Thread Ian Lynagh
Ian Lynagh Date: Tue Jul 19 20:58:39 2011 +0100 Add a test for #5332 (unboxed singleton tuples and TH) >--- tests/ghc-regress/th/TH_unboxedSingleton.hs |7 +++ tests/ghc-regress/th/all.T |2 ++ 2

Re: Unboxed singleton tuples

2008-08-18 Thread Simon Marlow
Tim Chevalier wrote: On 8/14/08, Roman Leshchinskiy <[EMAIL PROTECTED]> wrote: IIUC, the practical difference is this. If you have f :: Int -> (# Int #) then case f m of (# n #) -> bar n will call f before calling bar but will not evaluate n. I fear I'm still not enlightened. I see

Re: Unboxed singleton tuples

2008-08-15 Thread Tim Chevalier
On 8/14/08, Roman Leshchinskiy <[EMAIL PROTECTED]> wrote: > > IIUC, the practical difference is this. If you have > > f :: Int -> (# Int #) > > then > > case f m of (# n #) -> bar n > > will call f before calling bar but will not evaluate n. I fear I'm still not enlightened. I see how your

Re: Unboxed singleton tuples

2008-08-14 Thread Roman Leshchinskiy
On 15/08/2008, at 07:11, Tim Chevalier wrote: While reading some Core code, I noticed a function whose return type was (# State# RealWorld #). I was curious why unboxed tuples of arity 1 would exist, so I dug around in the GHC sources and found that they are used when desugaring foreign calls, a

Re: Unboxed singleton tuples

2008-08-14 Thread Don Stewart
catamorphism: > While reading some Core code, I noticed a function whose return type > was (# State# RealWorld #). I was curious why unboxed tuples of arity > 1 would exist, so I dug around in the GHC sources and found that they > are used when desugaring foreign calls, as per the comment at the >

Unboxed singleton tuples

2008-08-14 Thread Tim Chevalier
While reading some Core code, I noticed a function whose return type was (# State# RealWorld #). I was curious why unboxed tuples of arity 1 would exist, so I dug around in the GHC sources and found that they are used when desugaring foreign calls, as per the comment at the beginning of boxResult i