Update diagnostic-4.hs