(agda2-status-action "")
(agda2-info-action "*Type-checking*" "" nil)
(agda2-highlight-clear)
(agda2-info-action "*Type-checking*" "Checking Issue2447d (Issue2447d.agda). " t)
(agda2-info-action "*Type-checking*" " Checking Issue2447.Operator-error (Issue2447/Operator-error.agda). " t)
(agda2-info-action "*Type-checking*" " Checking Issue2447.M (Issue2447/M.agda). " t)
(agda2-info-action "*Error*" "Issue2447/Operator-error.agda:9,7-16 Could not parse the application A + A + A Operators used in the grammar: + (infix operator, level 20) [_+_ (Issue2447/Operator-error.agda:5,1-4)] when scope checking A + A + A" nil)
((last . 3) . (agda2-maybe-goto '("Issue2447/Operator-error.agda" . 113)))
(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 Issue2447d (Issue2447d.agda). " t)
(agda2-info-action "*Type-checking*" " Checking Issue2447.Operator-error (Issue2447/Operator-error.agda). " t)
(agda2-info-action "*Error*" "Issue2447/Operator-error.agda:9,7-16 Could not parse the application A + A + A Operators used in the grammar: + (infix operator, level 20) [_+_ (Issue2447/Operator-error.agda:5,1-4)] when scope checking A + A + A" nil)
((last . 3) . (agda2-maybe-goto '("Issue2447/Operator-error.agda" . 113)))
(agda2-highlight-load-and-delete-action)
(agda2-status-action "")
