[Agda] failed constraint
Serge D. Mechveliani
mechvel at botik.ru
Sat Apr 20 09:01:31 CEST 2013
On Fri, Apr 19, 2013 at 11:54:55AM +0200, Nils Anders Danielsson wrote:
> On 2013-04-19 09:27, Serge D. Mechveliani wrote:
> >Dear Agda developers,
> >is it possible to fix these "Failed to solve ... constraints"
> >reports?
> >1) They do not locate the place, do not help to fix a program.
>
> I get the following error message:
>
> Failed to solve the following constraints:
> [0] Is empty: odd? .n ??? true
> [ at /tmp/Main.agda:22,18-20 ]
>
> The error location is not printed in the Emacs interface, though. I've
> created a ticket for this issue
> (http://code.google.com/p/agda/issues/detail?id=835).
My situation is as follows.
I keep a program in emacs (in Linux) on one terminal, and compile it
by agda -c ...
on another terminal -- without emacs, just terminal and tc-shell command.
And the above report does not show the location.
Regards,
------
Sergei
More information about the Agda
mailing list