(agda2-status-action "")
(agda2-info-action "*Type-checking*" "" nil)
(agda2-highlight-clear)
(agda2-status-action "")
(agda2-info-action "*All Goals, Errors*" "?0 : D ?1 : _10 ?2 : D Sort _9 [ at Issue2051.agda:17,9-16 ] _10 : _9 x [ at Issue2051.agda:17,9-16 ] _13 : D [ at Issue2051.agda:17,9-16 ] ———— Errors ———————————————————————————————————————————————— Failed to solve the following constraints: _12 := (_ : _10) [x] :? D " nil)
((last . 1) . (agda2-goals-action '(0 1 2)))
((last . 2) . (agda2-make-case-action '("con d = c ?" "con (c x) = c ?")))
((last . 1) . (agda2-goals-action '(0 1 2)))
((last . 2) . (agda2-make-case-action '("app d = ? x" "app (c x) = ? x")))
((last . 1) . (agda2-goals-action '(0 1 2)))
((last . 2) . (agda2-make-case-action '("test d = let y = c in ?" "test (c x) = let y = c in ?")))
((last . 1) . (agda2-goals-action '(0 1 2)))
