(agda2-status-action "")
(agda2-info-action "*Type-checking*" "" nil)
(agda2-highlight-clear)
(agda2-highlight-add-annotations 'nil '(1 51 (comment) t) '(53 114 (comment) t) '(115 178 (comment) t) '(179 214 (comment) t) '(215 278 (comment) t) '(279 322 (comment) t) '(324 330 (keyword) t) '(336 337 (symbol) t) '(339 340 (symbol) t) '(344 345 (symbol) t) '(346 347 (symbol) t) '(352 357 (keyword) t) '(360 365 (keyword) t) '(372 373 (symbol) t) '(377 383 (keyword) t) '(391 392 (symbol) t) '(394 395 (symbol) t) '(399 400 (symbol) t) '(401 402 (symbol) t) '(404 405 (symbol) t) '(412 413 (symbol) t) '(414 415 (symbol) t) '(420 425 (keyword) t) '(428 434 (keyword) t) '(438 439 (symbol) t) '(448 454 (keyword) t) '(468 469 (symbol) t) '(471 472 (symbol) t) '(476 477 (symbol) t) '(478 479 (symbol) t) '(481 482 (symbol) t) '(489 490 (symbol) t) '(491 492 (symbol) t) '(496 497 (symbol) t) '(506 507 (symbol) t) '(508 513 (keyword) t) '(516 522 (keyword) t) '(525 526 (symbol) t))
(agda2-highlight-add-annotations 'nil '(331 335 (record) nil nil ("Issue1619.agda" . 331)) '(337 338 (bound) nil nil ("Issue1619.agda" . 337)) '(341 344 (primitive) nil nil ("agda-default-include-path/Agda/Primitive.agda" . 311)) '(348 351 (primitive) nil nil ("agda-default-include-path/Agda/Primitive.agda" . 311)) '(370 371 (field) nil nil ("Issue1619.agda" . 370)) '(374 375 (bound) nil nil ("Issue1619.agda" . 337)) '(384 390 (record) nil nil ("Issue1619.agda" . 384)) '(392 393 (bound) nil nil ("Issue1619.agda" . 392)) '(396 399 (primitive) nil nil ("agda-default-include-path/Agda/Primitive.agda" . 311)) '(402 403 (bound) nil nil ("Issue1619.agda" . 402)) '(406 410 (record) nil nil ("Issue1619.agda" . 331)) '(411 412 (bound) nil nil ("Issue1619.agda" . 392)) '(416 419 (primitive) nil nil ("agda-default-include-path/Agda/Primitive.agda" . 311)) '(435 437 (module) nil nil ("Issue1619.agda" . 435)) '(440 444 (module) nil nil ("Issue1619.agda" . 331)) '(445 446 (bound) nil nil ("Issue1619.agda" . 402)) '(455 467 (module) nil nil ("Issue1619.agda" . 455)) '(469 470 (bound) nil nil ("Issue1619.agda" . 469)) '(473 476 (primitive) nil nil ("agda-default-include-path/Agda/Primitive.agda" . 311)) '(479 480 (bound) nil nil ("Issue1619.agda" . 479)) '(483 487 (record) nil nil ("Issue1619.agda" . 331)) '(488 489 (bound) nil nil ("Issue1619.agda" . 469)) '(492 495 (bound) nil nil ("Issue1619.agda" . 492)) '(498 504 (record) nil nil ("Issue1619.agda" . 384)) '(505 506 (bound) nil nil ("Issue1619.agda" . 479)) '(523 524 (module) nil nil ("Issue1619.agda" . 523)) '(527 533 (module) nil nil ("Issue1619.agda" . 384)) '(534 537 (bound) nil nil ("Issue1619.agda" . 492)))
(agda2-highlight-add-annotations 'nil '(331 335 (record) nil nil ("Issue1619.agda" . 331)) '(336 337 (symbol) t) '(337 338 (bound) nil nil ("Issue1619.agda" . 337)) '(339 340 (symbol) t) '(341 344 (primitive) nil nil ("agda-default-include-path/Agda/Primitive.agda" . 311)) '(344 345 (symbol) t) '(346 347 (symbol) t) '(348 351 (primitive) nil nil ("agda-default-include-path/Agda/Primitive.agda" . 311)))
(agda2-highlight-add-annotations 'nil '(324 330 (keyword) t) '(331 335 (record) nil nil ("Issue1619.agda" . 331)) '(352 357 (keyword) t) '(360 365 (keyword) t) '(370 371 (field) nil nil ("Issue1619.agda" . 370)) '(372 373 (symbol) t) '(374 375 (bound) nil nil ("Issue1619.agda" . 337)))
(agda2-highlight-add-annotations 'nil '(384 390 (record) nil nil ("Issue1619.agda" . 384)) '(391 392 (symbol) t) '(392 393 (bound) nil nil ("Issue1619.agda" . 392)) '(394 395 (symbol) t) '(396 399 (primitive) nil nil ("agda-default-include-path/Agda/Primitive.agda" . 311)) '(399 400 (symbol) t) '(401 402 (symbol) t) '(402 403 (bound) nil nil ("Issue1619.agda" . 402)) '(404 405 (symbol) t) '(406 410 (record) nil nil ("Issue1619.agda" . 331)) '(411 412 (bound) nil nil ("Issue1619.agda" . 392)) '(412 413 (symbol) t) '(414 415 (symbol) t) '(416 419 (primitive) nil nil ("agda-default-include-path/Agda/Primitive.agda" . 311)))
(agda2-highlight-add-annotations 'nil '(377 383 (keyword) t) '(384 390 (record) nil nil ("Issue1619.agda" . 384)) '(420 425 (keyword) t) '(428 434 (keyword) t) '(435 437 (module) nil nil ("Issue1619.agda" . 435)) '(438 439 (symbol) t) '(440 444 (module) nil nil ("Issue1619.agda" . 331)) '(445 446 (bound) nil nil ("Issue1619.agda" . 402)))
(agda2-highlight-add-annotations 'nil '(516 522 (keyword) t) '(523 524 (module) nil nil ("Issue1619.agda" . 523)) '(525 526 (symbol) t) '(527 533 (module) nil nil ("Issue1619.agda" . 384)) '(534 537 (bound) nil nil ("Issue1619.agda" . 492)))
(agda2-highlight-add-annotations 'nil '(448 454 (keyword) t) '(455 467 (module) nil nil ("Issue1619.agda" . 455)) '(468 469 (symbol) t) '(469 470 (bound) nil nil ("Issue1619.agda" . 469)) '(471 472 (symbol) t) '(473 476 (primitive) nil nil ("agda-default-include-path/Agda/Primitive.agda" . 311)) '(476 477 (symbol) t) '(478 479 (symbol) t) '(479 480 (bound) nil nil ("Issue1619.agda" . 479)) '(481 482 (symbol) t) '(483 487 (record) nil nil ("Issue1619.agda" . 331)) '(488 489 (bound) nil nil ("Issue1619.agda" . 469)) '(489 490 (symbol) t) '(491 492 (symbol) t) '(492 495 (bound) nil nil ("Issue1619.agda" . 492)) '(496 497 (symbol) t) '(498 504 (record) nil nil ("Issue1619.agda" . 384)) '(505 506 (bound) nil nil ("Issue1619.agda" . 479)) '(506 507 (symbol) t) '(508 513 (keyword) t))
(agda2-highlight-add-annotations 'nil '(1 51 (comment) t) '(53 114 (comment) t) '(115 178 (comment) t) '(179 214 (comment) t) '(215 278 (comment) t) '(279 322 (comment) t))
(agda2-status-action "Checked")
(agda2-info-action "*All Done*" "" nil)
((last . 1) . (agda2-goals-action '()))
