A Note on gcc Lists

November 18, 2010

After several hours of bug-hunting, we discovered that the ``size'' function of the gcc implementation of List is a linear-time call. We had expected constant-time.