Re: Which stable GHC release is expected to have support for linear types?

2017-07-15 Thread Wolfgang Jeltsch
Am Samstag, den 15.07.2017, 10:57 +0200 schrieb Bardur Arantsson: > On 2017-07-14 21:59, Wolfgang Jeltsch wrote: > > Am Freitag, den 14.07.2017, 06:42 +0200 schrieb Bardur Arantsson: > > > On 2017-07-14 01:26, Mike Ledger wrote: > > > > How about: -+ > > > > > > > > It almost looks arrow like if

Re: Which stable GHC release is expected to have support for linear types?

2017-07-15 Thread Brandon Allbery
On Sat, Jul 15, 2017 at 4:57 AM, Bardur Arantsson wrote: > Maybe, but it seems a bit fragile to me... > > What about -*? At least there's no ambiguity there. > As previously stated: "Alternatives for “-o” I can think of are “~>”, “-:”, and “-*”, the latter resembling the

Re: Which stable GHC release is expected to have support for linear types?

2017-07-15 Thread Bardur Arantsson
On 2017-07-14 21:59, Wolfgang Jeltsch wrote: > Am Freitag, den 14.07.2017, 06:42 +0200 schrieb Bardur Arantsson: >> On 2017-07-14 01:26, Mike Ledger wrote: >>> How about: -+ >>> >>> It almost looks arrow like if you squint, and have a font that lines >>> up the horizontal lines. >> >> This may