tabulators

Matthew Fluet fluet@CS.Cornell.EDU
Thu, 24 Jan 2002 15:55:59 -0500 (EST)


> I don't have any better ideas than your code.
> 	outside the basis, with no side effects:
> 		use a list and reverse at the end
> 		(although it would be better to do
> 			Vector.rev o Vector.fromList
> 		instead of 
> 			Vector.fromList o List.rev)

I don't think so; there is no Vector.rev in the basis library, so you'll
end up needing to do a fold over the vector into a list and then
Vector.fromList that.  (It's a different story with access to
MLton.Vector.unfoldi.)