t; Int * > vector_type;
+ * typedef std::priority_queue< Int *, vector_type, Int_less >
priority_queue_type;
+ *
+ * void
+ * foo()
+ * {
+ * vector_type v;
+ *
+ * v.push_back(new Int(8));
+ * v.push_back(new Int(1));
+ * v.push_back(new Int(5));
+ *
+
--- Additional Comments From Number_42 at caramail dot com 2004-10-27 12:00
---
(In reply to comment #1)
> Could you send your patch to gcc-patches@ and [EMAIL PROTECTED] Also could you make
it off the HEAD (aka
> 4.0.0)?
I can send it to these mailing lists but i can't d
