On 01/10/2012 05:06 AM, Greg Weber wrote:
Some of your comments seem to not fully recognize the name-spacing (plus
simple type resolution) aspect of this proposal that I probably didn't
explain well enough. Or maybe I don't understand your comments.
For record.field, field is under the record's
On January 10, 2012 12:18:13 wren ng thornton wrote:
> On 1/10/12 11:18 AM, Dan Doel wrote:
> > On Tue, Jan 10, 2012 at 11:14 AM, Dan Doel wrote:
> >> On Tue, Jan 10, 2012 at 5:01 AM, Simon Marlow wrote:
> >>> On 09/01/2012 04:46, wren ng thornton wrote:
> Shouldn't (# T #) be identical to T
People,
GHC provides some extensions for kinds.
Does this make possible different kinds, for example, for `*' ?
Prelude.Num has * :: a -> a -> a.
And mathematicians also like to denote as `*'
(\cdot in TeX)
a "multiplication of a vector v by a coefficient r". It is expressed by the
declarati
On 1/10/12 10:31 AM, Tyson Whitehead wrote:
On January 8, 2012 23:49:47 wren ng thornton wrote:
An alternative is to distinguish, say, (# x #) and its spaceful
constructor (# #) from the spaceless (##); and analogously for the boxed
tuples, though that introduces confusion about parentheses for
Hello there,
I was wondering what the recommendations would be for getting CAS on
[mutable] vector elements?
I thought that as a first step I might create an a library that does the
trick only for unboxed vectors, by using bits-atomic (i.e. FFI + GCC
intrinsics).
Roman Leshchinskiy recommended a
On 1/10/12 11:18 AM, Dan Doel wrote:
On Tue, Jan 10, 2012 at 11:14 AM, Dan Doel wrote:
On Tue, Jan 10, 2012 at 5:01 AM, Simon Marlow wrote:
On 09/01/2012 04:46, wren ng thornton wrote:
Shouldn't (# T #) be identical to T?
No, because (# T #) is unlifted, whereas T is lifted. In operationa
Copying the list, sorry. I have a lot of trouble replying correctly
with gmail's interface for some reason. :)
On Tue, Jan 10, 2012 at 11:14 AM, Dan Doel wrote:
> On Tue, Jan 10, 2012 at 5:01 AM, Simon Marlow wrote:
>> On 09/01/2012 04:46, wren ng thornton wrote:
>>> Shouldn't (# T #) be identic
On January 8, 2012 23:49:47 wren ng thornton wrote:
> An alternative is to distinguish, say, (# x #) and its spaceful
> constructor (# #) from the spaceless (##); and analogously for the boxed
> tuples, though that introduces confusion about parentheses for boxing vs
> parentheses for grouping.
I
On 10/01/2012 10:58, Joachim Breitner wrote:
Dear GHC team (esp. Simon and Ian),
thanks for fixing the exotic-architecture-build-errors in time for
7.4.1, everything compiles smoothly now:
https://buildd.debian.org/status/package.php?p=ghc&suite=experimental
(Well, arm* and mips* are not done ye
Hi hvr,
On Tue, Jan 10, 2012 at 12:05:51PM +0100, Herbert Valerio Riedel wrote:
>
> As the {Int,Word}{,8,16,32,64} types in Haskell are usually regarded to
> follow modulo arithmetic (w.r.t. to the Num-class ops), I was trying to
> implement efficient non-modulo Safe{Int,Word}{,8,16,32,64} types
Hello GHC HQ,
As the {Int,Word}{,8,16,32,64} types in Haskell are usually regarded to
follow modulo arithmetic (w.r.t. to the Num-class ops), I was trying to
implement efficient non-modulo Safe{Int,Word}{,8,16,32,64} types which
would throw exceptions when the result falls outside the value domain
Dear GHC team (esp. Simon and Ian),
thanks for fixing the exotic-architecture-build-errors in time for
7.4.1, everything compiles smoothly now:
https://buildd.debian.org/status/package.php?p=ghc&suite=experimental
(Well, arm* and mips* are not done yet, as they need more than one day,
but the othe
Some of your comments seem to not fully recognize the name-spacing (plus
simple type resolution) aspect of this proposal that I probably didn't
explain well enough. Or maybe I don't understand your comments.
For record.field, field is under the record's namespace. A namespace (from
a module or und
On 09/01/2012 04:46, wren ng thornton wrote:
On 12/23/11 8:34 AM, Simon Peyton-Jones wrote:
More uniform! If you the singleton-unboxed-tuple data constructor in
source code, as a function, you'd write (\x -> (# x #)). In a pattern,
or applied, you'd write (# x #).
Shouldn't (# T #) be identica
14 matches
Mail list logo
