1
Agda2> (agda2-status-action "")
2
(agda2-info-action "*Type-checking*" "" nil)
3
(agda2-highlight-clear)
4
(agda2-info-action "*Type-checking*" "Checking Impossible (Impossible.agda).\n" t)
5
(agda2-info-action "*Error*" "\nAn internal error has occurred. Please report this as a bug.\nLocation of the error: src/full/Agda/ImpossibleTest.hs:8" nil)
6
(agda2-status-action "")
b'\\ No newline at end of file'