Ville-Pertti Keinonen wrote:
> 
> One way of doing this much faster is just having a the first word of any 
> mixed block (homogenous blocks aren't a problem) indicate the number of 
> pointers and always put the pointers first.

I'm afraid such a scheme is incompatible with polymorphism, where a slot 
may or may not be a pointer, depending on the actual instantiation. 
Still, polymorphic code must be able to operate uniformingly in both 
cases, i.e. the slot may not be shuffled around.

   - Andreas

-- 
Andreas Rossberg, rossberg@ps.uni-sb.de

"Computer games don't affect kids; I mean if Pac Man affected us
  as kids, we would all be running around in darkened rooms, munching
  magic pills, and listening to repetitive electronic music."
  - Kristian Wilson, Nintendo Inc.

-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners