10 Jul
2017
10 Jul
'17
10:28 a.m.
You are right, thanks!
2017-07-07 22:17 GMT+03:00 Li-yao Xia
On 07/07/2017 02:50 AM, Dmitry Olshansky wrote:
I am not sure why but when I didn't set RankNTypes I got an appropriate error. So I specified it.
But if I write let { f :: (forall n. KnownSymbol n => Proxy n) -> String; f p = symbolVal p } then nothing is changed.
What would the String (f Proxy) be? (Note that (Proxy :: forall n. KnownSymbol n => Proxy n) would be a valid argument here.)
_______________________________________________ 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.