Update happy.erl