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:[email protected]] On Behalf Of Merijn
| Verstraaten
| Sent: 05 February 2015 14:46
| To: [email protected]; 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
_______________________________________________
Glasgow-haskell-users mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users

Reply via email to