As long as were back on this topic again (sort of), and just to
satisfy my curiousity, what would happen if you tried to do records
just like C structs? So e.g. a•b requires 'a' to be a record with a
'b' field, and is just one identifier, no functions involved, and 'b'
is not a separate value.
I
> Dan Doel gmail.com> writes:
>
>> On Thu, May 26, 2016 at 5:14 AM, Peter hotmail.com> wrote:
>> Solving for everything but f, we get f :: T -> Int.
>
> So TDNR happens for things in function position (applied to something).
Before we get carried away, TDNR doesn't happen at all.
You're specul
On 22 May 2016 at 00:18, Ben Gamari wrote:
> The GHC developers are very pleased to announce the release of the first
> new super-major version of our Haskell compiler in six years, GHC 8.0.1.
>
Congratulations on the release!
I forgot to mention I built it for Fedora and RHEL/Centos 7 in my Co
