# Add a message to `self`
	#
	# See `messages`
	private fun add_message(m: Message)
	do
		var ms = messages
		if ms == null then
			ms = new Array[Message]
			messages = ms
		end
		ms.add m
		var s = file
		if s != null then s.messages.add m
	end