[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