Subject: non-LIFO closures?
From: Keunwoo Lee (klee@cs.washington.edu)
Date: Mon Apr 09 2001 - 21:24:35 PDT
I recently discovered the skip_list data type in the standard library
(pretty cool, btw). skip_list appears to use a comparison closure to sort
its elements. I was under the impression that our current closure
implementation breaks when we use them non-LIFO. How can objects like
skip_list then save closures in fields? notes/thingsWeAreNotProudOf
indicates that && closures work when non-LIFO. Are we relying on the
client to use the && closure form? I guess our type checker does not
distinguish between LIFO and non-LIFO closures?
~k.lee
_______________________________________________
Cecil mailing list
Cecil@cs.washington.edu
http://majordomo.cs.washington.edu/mailman/listinfo/cecil
This archive was generated by hypermail 2b25 : Mon Apr 09 2001 - 21:25:03 PDT