(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: __IMPOSSIBLE__, called at src/full/Agda/ImpossibleTest.hs:«line»:«col» «Agda-package»:Agda.ImpossibleTest impossibleTest, called at src/full/Agda/Syntax/Translation/ConcreteToAbstract.hs:«line»:«col» «Agda-package»:Agda.Syntax.Translation.ConcreteToAbstract " nil)
(agda2-highlight-add-annotations 'nil)
(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: __IMPOSSIBLE__, called at src/full/Agda/ImpossibleTest.hs:«line»:«col» «Agda-package»:Agda.ImpossibleTest impossibleTest, called at src/full/Agda/Syntax/Translation/ConcreteToAbstract.hs:«line»:«col» «Agda-package»:Agda.Syntax.Translation.ConcreteToAbstract " nil)
(agda2-highlight-add-annotations 'nil)
(agda2-status-action "")
