[MLton] bug report, vector of char problem

Matthew Fluet fluet@cs.cornell.edu
Wed, 6 Apr 2005 14:45:37 -0400 (EDT)

> > > Just out of curiosity anyone have an informal list of subtle bugs that 
> > > didn't tickle a bug in the typed-IL? We were having a lunch discussion about 
> > > if typed-IL really prevented compiler bugs... I'm wondering what the MLton 
> > > experience has been.
> However, the changelog is not a good indicator of how helpful typed
> ILs are, as most of their use comes when developing a new pass, while
> changes and debugging is fast and furious, before anything makes it
> into the changelog.

I agree with this completely.  That's why I was stating that the changelog 
would be a source of the examples Dan was looking for: bugs that didn't 
trickle a bug in the typed-IL.