> If anyone could explain what I've done wrong to warrent this warning, > I'd be very thankful. The problem is that `cur' might be an empty list, in which case `car' would fail; the inferred type of `cur' is (listof sym), which includes the empty list. If your loop had a test for null?, MrSpidey might be able to do better. -- Paul