(agda2-status-action "")
(agda2-info-action "*Type-checking*" "" nil)
(agda2-highlight-clear)
(agda2-highlight-add-annotations 'nil '(1 10 (deadcode)))
(agda2-highlight-add-annotations 'nil '(12 20 (deadcode)))
(agda2-highlight-add-annotations 'nil '(22 31 (deadcode)))
(agda2-highlight-add-annotations 'nil '(33 40 (deadcode)))
(agda2-highlight-add-annotations 'nil '(42 48 (deadcode)))
(agda2-highlight-add-annotations 'nil '(50 55 (deadcode)))
(agda2-highlight-add-annotations 'nil '(57 65 (deadcode)))
(agda2-highlight-add-annotations 'nil '(67 75 (deadcode)))
(agda2-highlight-add-annotations 'nil '(100 105 (deadcode)))
(agda2-highlight-add-annotations 'nil '(1 10 (keyword) t) '(12 20 (keyword) t) '(22 31 (keyword) t) '(33 40 (keyword) t) '(42 48 (keyword) t) '(50 55 (keyword) t) '(57 65 (keyword) t) '(67 75 (keyword) t) '(77 83 (keyword) t) '(86 87 (symbol) t) '(92 97 (keyword) t) '(100 105 (keyword) t))
(agda2-highlight-add-annotations 'nil '(84 85 (record) nil nil ("empty.agda" . 84)) '(88 91 (primitive) nil nil ("agda-default-include-path/Agda/Primitive.agda" . 311)))
(agda2-highlight-add-annotations 'nil '(84 85 (record) nil nil ("empty.agda" . 84)) '(86 87 (symbol) t) '(88 91 (primitive) nil nil ("agda-default-include-path/Agda/Primitive.agda" . 311)))
(agda2-highlight-add-annotations 'nil '(77 83 (keyword) t) '(84 85 (record) nil nil ("empty.agda" . 84)) '(92 97 (keyword) t) '(100 105 (keyword) t))
(agda2-highlight-add-annotations 'nil '(1 10 (keyword) t) '(12 20 (keyword) t) '(22 31 (keyword) t) '(33 40 (keyword) t) '(42 48 (keyword) t) '(50 55 (keyword) t) '(57 65 (keyword) t) '(67 75 (keyword) t))
(agda2-status-action "Checked")
(agda2-info-action "*All Warnings*" "empty.agda:1,1-10 Empty primitive block. empty.agda:3,1-9 Empty abstract block. empty.agda:5,1-10 Empty postulate block. empty.agda:7,1-8 Empty private block. empty.agda:9,1-7 Empty mutual block. empty.agda:11,1-6 Empty macro block. empty.agda:13,1-9 Empty variable block. empty.agda:15,1-9 Empty instance block. empty.agda:18,3-8 Empty field block. when scope checking the declaration record F where field " nil)
((last . 1) . (agda2-goals-action '()))
