Thu, 25 Aug 2011 13:55:52 +0100 | nik | added choice operator output for | changeset | files |
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 |