TODO:fix bug tickled by tests/todo/absref-crash.hs