| Thu, 25 Aug 2011 14:25:07 +0200 | blanchet | rationalized option names -- mono becomes raw_mono and mangled becomes mono | changeset | files |
| Thu, 25 Aug 2011 14:25:07 +0200 | blanchet | handle nonmangled monomorphich the same way as mangled monomorphic when it comes to helper -- otherwise we can end up generating too tight type guards | changeset | files |
| Thu, 25 Aug 2011 14:25:07 +0200 | blanchet | avoid using ":" for anything but systematic type tag annotations, because Hurd's Metis gives it that special semantics | changeset | files |
| Thu, 25 Aug 2011 14:25:06 +0200 | blanchet | fixed bang encoding detection of which types to encode | changeset | files |