Re: [Haskell-cafe] Statically checked overloaded strings

I proposed a static validation for partial conversions from all sorts of polymorphic literals. At the time it was rejected (I don't really recall why), so I ended up implementing something along these lines as a library: https://hackage.haskell.org/package/validated-literals Which has the benefit that users don't have to deal with writing TH themselves, you can just write a regular pure conversion function. Cheers, Merijn

On 13 Nov 2019, at 23:53, Christopher Done wrote:

Hi all,

I just came up with this neat trick for adding static checks to overloaded strings: https://gist.github.com/chrisdone/809296b769ee36d352ae4f8dbe89a364

Hope it's helpful.

I wonder whether the GHC devs would be open to a small patch to permit: $$"..."

:-)

Cheers,

Chris _______________________________________________ Haskell-Cafe mailing list To (un)subscribe, modify options or view archives go to: http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe Only members subscribed via the mailman list are allowed to post.