Re: GHC support for the new record package

2015-01-24 Thread Simon Marlow
On 23/01/15 23:41, Simon Peyton Jones wrote: | I just | noticed that it effectively gives us a syntax for identifier-like Symbol | singletons, which could be useful in completely different contexts Indeed so. I have written a major increment to

SPARC NCG, how to debug load isn issue.

2015-01-24 Thread Karel Gardas
Folks, from time to time I'm attempting to resurrect SPARC NCG. It looks like it's off by default since 7.4? release and I feel it's kind of pity. I've been able to hack it on 7.6.x and make it functional. I failed on 7.8 and later. Double float load was broken there. Now, I'm attempting

Re: GHC support for the new record package

2015-01-24 Thread Konstantine Rybnikov
May I suggest something for a syntax (as an option, sorry if it's silly or not related)? I really don't like neither @ or # because they seem too hacky, meanwhile GHC already has an accessor syntax with braces { and }, so, might it be an option to have something like: ``` data Foo = Foo { val ::

Re: GHC support for the new record package

2015-01-24 Thread Daniel Trstenjak
Hi Konstantine, let bar' = bar{foo{val}=10} If you're inside a record context you might just have something like: let bar' = bar { foo.val = 10 } and let val = bar { foo.val } or even let bar' = bar { foo.val %= someFunction } This just seems to be some kind of syntactic sugar,