From: Jonathan Turkanis (technews_at_[hidden])
Date: 2005-05-03 12:29:47
Thorsten Ottosen wrote:
> well, you can't call it io::char :-)
Yeah, I know. Since char_<> would be an abomination, the alternative is
char_type. I've got the same problem with int_type.
Jonathan