Proposal: ValidateMonoLiterals - Initial bikeshed discussion

Simon Peyton Jones simonpj at microsoft.com
Thu Feb 5 21:48:13 UTC 2015


I'm all for it.  Syntax sounds like the main difficulty.  Today you could use quasiquotatoin
	[even| 38 |]
and get the same effect as $$(validate 38).  But it's still noisy.

So: what is the non-noisy scheme you want to propose?  You don't quite get to that in the wiki page!

Simon

| -----Original Message-----
| From: ghc-devs [mailto:ghc-devs-bounces at haskell.org] On Behalf Of Merijn
| Verstraaten
| Sent: 05 February 2015 14:46
| To: ghc-devs at haskell.org; GHC users
| Subject: Proposal: ValidateMonoLiterals - Initial bikeshed discussion
| 
| I've been repeatedly running into problems with overloaded literals and
| partial conversion functions, so I wrote up an initial proposal
| (https://ghc.haskell.org/trac/ghc/wiki/ValidateMonoLiterals) and I'd like
| to commence with the bikeshedding and hearing other opinions :)
| 
| Cheers,
| Merijn


More information about the ghc-devs mailing list