Vag Vagoff wrote: > compiler throws very strange message: > > unhandled exception: UnboundNamed > > and not mention any names. > > Perhaps some bugs in compiler error reporting? It was actually a bug in type inference; your example program was fine. I've fixed this in the public Mercurial repo.