12:07:31beachBike: Can you have a look at the SICL part of +CLASS-ALIASES+ and see whether it looks right? And, if I understand you correctly, the element type that I give there must be EQUAL to that returned by u-a-e-t, yes?
13:03:22Bikebeach: it looks right. the element types do not have to be upgraded, though.
13:03:54Bikebeach: is ratiop going to work? to be clear, ctypep is going to be calling ratiop, so if you don't have your own typep this seems like it could be infinite recursion
13:11:36beachCan you give an example of two sources of an upgraded type that must give true when compared with EQUAL. Now it sounds like there is only one such source.
13:12:08Bikewell, upgraded-array-element-type, and also array-element-type here
13:12:18Bikei mean for example if upgraded-array-element-type sometimes returned (mod 8) and sometimes returned (integer 0 7) ctype could not handle it.