(agda2-status-action "")
(agda2-info-action "*Type-checking*" "" nil)
(agda2-highlight-clear)
(agda2-info-action "*Type-checking*" "Checking Issue2447e (Issue2447e.agda). " t)
(agda2-info-action "*Type-checking*" " Checking Issue2447.Internal-error (Issue2447/Internal-error.agda). " t)
(agda2-info-action "*Type-checking*" " Checking Issue2447.M (Issue2447/M.agda). " t)
(agda2-info-action "*Error*" "An internal error has occurred. Please report this as a bug. Location of the error: src/full/Agda/ImpossibleTest.hs:9 " nil)
(agda2-highlight-load-and-delete-action)
(agda2-status-action "")
(agda2-status-action "")
(agda2-info-action "*Type-checking*" "" nil)
(agda2-highlight-clear)
(agda2-info-action "*Type-checking*" "Checking Issue2447e (Issue2447e.agda). " t)
(agda2-info-action "*Type-checking*" " Checking Issue2447.Internal-error (Issue2447/Internal-error.agda). " t)
(agda2-info-action "*Error*" "An internal error has occurred. Please report this as a bug. Location of the error: src/full/Agda/ImpossibleTest.hs:9 " nil)
(agda2-highlight-load-and-delete-action)
(agda2-status-action "")
