[Agda] Bug reports

[Olov Wilander]

Hello everyone,

What's the right place for submitting bug reports nowadays?  The 
sourceforge place looks rather sparsely populated (and doesn't have the 
most recent cvs20041206 version either).

I'm having a bit of trouble (using the 20041206 version):

>> refinePrj "/home/olov/agdabug/hiddenbicat/E_functors.agda" 716 27 126 D hom er ref
---  ("tr#" 6) +++
---  ("updateReplace" (126 "(D.hom ? ?).er.ref"  (391 392))) +++
---  ("updateReplace" (392 "(F.objectfunction b)"  ())) +++
---  ("updateReplace" (391 "(G.objectfunction b)"  ())) +++
---  ("updateReplace" (391 "(G.objectfunction b)"  ())) +++
---  ("updateReplace" (392 "(F.objectfunction b)"  ())) +++
---  ("updateReplace" (392 "(F.objectfunction b)"  ())) +++
---  ("updateReplace" (391 "(G.objectfunction b)"  ())) +++
---  ("info" ("* Goals *" "")) +++
---  ("info" ("* Constraints *" "")) +++

There's one obvious error -- the multiple updates -- but more importantly, 
those updates probably shouldn't happen at all!  (I've got local names for 
these things, and I'd prefer to use them consistently.)  I can provide the 
offending code, if that would be useful.

Still, it's better than the 20041114 version, that'd give the same number 
to both resulting `holes', causing some confusion in the emacs 
interface....

I'm currently also having a problem with structures -- a hidden variable 
is a structure, and I'm given constraints for all fields of the structure, 
fully specifying it, but the hidden variable is still not considered 
solved.  Is there a simple reason for this?  This is with the 20041114 
version -- it might not be there with the December verision, but I haven't 
got both accessible at the moment to check.

I've got work-arounds, but they're not very pleasing....

/olov