Hi, > Fortunately or unfortunately, I can build GHC head today without any > reverting. I will reset the GHC tree to yesterday and try again. Never mind. This is my misunderstanding. I cannot build GHC head today. I sent necessary information to Jan and Austin personally. --Kazu