(agda2-status-action "")
(agda2-info-action "*Type-checking*" "" nil)
(agda2-highlight-clear)
(agda2-highlight-add-annotations 'nil '(1 7 (keyword) t) '(11 17 (keyword) t) '(20 21 (symbol) t) '(27 32 (keyword) t) '(37 42 (keyword) t) '(51 52 (symbol) t) '(64 65 (symbol) t) '(76 77 (symbol) t) '(85 90 (keyword) t) '(99 100 (symbol) t) '(112 113 (symbol) t) '(124 125 (symbol) t) '(128 129 (symbol) t) '(132 133 (symbol) t) '(139 145 (keyword) t) '(148 149 (symbol) t) '(155 160 (keyword) t) '(165 170 (keyword) t) '(179 180 (symbol) t) '(192 193 (symbol) t) '(204 205 (symbol) t) '(213 218 (keyword) t) '(227 228 (symbol) t) '(240 241 (symbol) t) '(252 253 (symbol) t) '(256 257 (symbol) t) '(260 261 (symbol) t))
(agda2-highlight-add-annotations 'nil '(18 19 (record) nil nil ("Issue3020-2.agda" . 18)) '(22 26 (primitive) nil nil ("agda-default-include-path/Agda/Primitive.agda" . 311)) '(49 50 (field) nil nil ("Issue3020-2.agda" . 49)) '(53 56 (primitive) nil nil ("agda-default-include-path/Agda/Primitive.agda" . 311)) '(62 63 (bound) nil nil ("Issue3020-2.agda" . 62)) '(66 69 (primitive) nil nil ("agda-default-include-path/Agda/Primitive.agda" . 311)) '(74 75 (bound) nil nil ("Issue3020-2.agda" . 62)) '(78 79 (field) nil nil ("Issue3020-2.agda" . 49)) '(97 98 (field) nil nil ("Issue3020-2.agda" . 97)) '(101 104 (primitive) nil nil ("agda-default-include-path/Agda/Primitive.agda" . 311)) '(110 111 (function) nil nil ("Issue3020-2.agda" . 110)) '(114 117 (primitive) nil nil ("agda-default-include-path/Agda/Primitive.agda" . 311)) '(122 123 (function) nil nil ("Issue3020-2.agda" . 110)) '(126 127 (field) nil nil ("Issue3020-2.agda" . 49)) '(130 131 (function) nil nil ("Issue3020-2.agda" . 62)) '(134 135 (field) nil nil ("Issue3020-2.agda" . 97)) '(146 147 (record) nil nil ("Issue3020-2.agda" . 146)) '(150 154 (primitive) nil nil ("agda-default-include-path/Agda/Primitive.agda" . 311)) '(177 178 (field) nil nil ("Issue3020-2.agda" . 177)) '(181 184 (primitive) nil nil ("agda-default-include-path/Agda/Primitive.agda" . 311)) '(190 191 (bound) nil nil ("Issue3020-2.agda" . 190)) '(194 197 (primitive) nil nil ("agda-default-include-path/Agda/Primitive.agda" . 311)) '(202 203 (bound) nil nil ("Issue3020-2.agda" . 190)) '(206 207 (field) nil nil ("Issue3020-2.agda" . 177)) '(225 226 (field) nil nil ("Issue3020-2.agda" . 225)) '(229 232 (primitive) nil nil ("agda-default-include-path/Agda/Primitive.agda" . 311)) '(238 239 (function) nil nil ("Issue3020-2.agda" . 238)) '(242 245 (primitive) nil nil ("agda-default-include-path/Agda/Primitive.agda" . 311)) '(250 251 (function) nil nil ("Issue3020-2.agda" . 238)) '(254 255 (field) nil nil ("Issue3020-2.agda" . 177)) '(258 259 (function) nil nil ("Issue3020-2.agda" . 190)) '(262 263 (field) nil nil ("Issue3020-2.agda" . 225)))
(agda2-highlight-add-annotations 'nil '(18 19 (record) nil nil ("Issue3020-2.agda" . 18)) '(20 21 (symbol) t) '(22 26 (primitive) nil nil ("agda-default-include-path/Agda/Primitive.agda" . 311)))
(agda2-highlight-add-annotations 'nil '(146 147 (record) nil nil ("Issue3020-2.agda" . 146)) '(148 149 (symbol) t) '(150 154 (primitive) nil nil ("agda-default-include-path/Agda/Primitive.agda" . 311)))
(agda2-highlight-add-annotations 'nil '(11 17 (keyword) t) '(18 19 (record) nil nil ("Issue3020-2.agda" . 18)) '(27 32 (keyword) t) '(37 42 (keyword) t) '(49 50 (field) nil nil ("Issue3020-2.agda" . 49)) '(51 52 (symbol) t) '(53 56 (primitive) nil nil ("agda-default-include-path/Agda/Primitive.agda" . 311)) '(62 63 (function) nil nil ("Issue3020-2.agda" . 62)) '(64 65 (symbol) t) '(66 69 (primitive) nil nil ("agda-default-include-path/Agda/Primitive.agda" . 311)) '(74 75 (function) nil nil ("Issue3020-2.agda" . 62)) '(76 77 (symbol) t) '(78 79 (field) nil nil ("Issue3020-2.agda" . 49)) '(85 90 (keyword) t) '(97 98 (field) nil nil ("Issue3020-2.agda" . 97)) '(99 100 (symbol) t) '(101 104 (primitive) nil nil ("agda-default-include-path/Agda/Primitive.agda" . 311)) '(110 111 (function) nil nil ("Issue3020-2.agda" . 110)) '(112 113 (symbol) t) '(114 117 (primitive) nil nil ("agda-default-include-path/Agda/Primitive.agda" . 311)) '(122 123 (function) nil nil ("Issue3020-2.agda" . 110)) '(124 125 (symbol) t) '(126 127 (field) nil nil ("Issue3020-2.agda" . 49)) '(128 129 (symbol) t) '(130 131 (function) nil nil ("Issue3020-2.agda" . 62)) '(132 133 (symbol) t) '(134 135 (field) nil nil ("Issue3020-2.agda" . 97)))
(agda2-highlight-add-annotations 'nil '(139 145 (keyword) t) '(146 147 (record) nil nil ("Issue3020-2.agda" . 146)) '(155 160 (keyword) t) '(165 170 (keyword) t) '(177 178 (field) nil nil ("Issue3020-2.agda" . 177)) '(179 180 (symbol) t) '(181 184 (primitive) nil nil ("agda-default-include-path/Agda/Primitive.agda" . 311)) '(190 191 (function) nil nil ("Issue3020-2.agda" . 190)) '(192 193 (symbol) t) '(194 197 (primitive) nil nil ("agda-default-include-path/Agda/Primitive.agda" . 311)) '(202 203 (function) nil nil ("Issue3020-2.agda" . 190)) '(204 205 (symbol) t) '(206 207 (field) nil nil ("Issue3020-2.agda" . 177)) '(213 218 (keyword) t) '(225 226 (field) nil nil ("Issue3020-2.agda" . 225)) '(227 228 (symbol) t) '(229 232 (primitive) nil nil ("agda-default-include-path/Agda/Primitive.agda" . 311)) '(238 239 (function) nil nil ("Issue3020-2.agda" . 238)) '(240 241 (symbol) t) '(242 245 (primitive) nil nil ("agda-default-include-path/Agda/Primitive.agda" . 311)) '(250 251 (function) nil nil ("Issue3020-2.agda" . 238)) '(252 253 (symbol) t) '(254 255 (field) nil nil ("Issue3020-2.agda" . 177)) '(256 257 (symbol) t) '(258 259 (function) nil nil ("Issue3020-2.agda" . 190)) '(260 261 (symbol) t) '(262 263 (field) nil nil ("Issue3020-2.agda" . 225)))
(agda2-highlight-add-annotations 'nil '(1 7 (keyword) t))
(agda2-status-action "Checked")
(agda2-info-action "*All Done*" "" nil)
((last . 1) . (agda2-goals-action '()))
