On Sun, Jan 01, 2012 at 01:22:31AM -0500, Matthew Farkas-Dyck wrote: > > It seems to me that there's only one essential missing language feature, > > which is appropriately-kinded type-level strings > > Isn't this possible now with type → kind promotion?
Unfortunately, I believe promotion of built-in types other than lists and tuples has not yet been implemented. In particular, Char cannot yet be promoted. However, there are no theoretical impediments to implementing it that I know of and it should be possible in the future. -Brent _______________________________________________ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
