Got stuck.

[Serguey Zefirov]

There are two places where I do get stuck:
1) I cannot edit any existing definitions except the very last one (by
using Undo)
2) When defining data I successfully manage to elaborate first data
constructor and then got stuck again. There is no (visible) way to
insert semicolon and elaborate remaining data constructors.

I use Epigram with XEmacs 21.4.21 under Windows.

Thank you in advance.

[Wouter Swierstra]

Hi Serguey,

I'm afraid there's no easy way we can help - both the problems you  
mention are known limitations of programming with Epigram 1.

Yes - you can only undo the last change you made. There's no way to  
edit code once you've hit escape. The only thing to do is copy the  
entire buffer to *scratch*, make the changes you want, reset the  
Epigram buffer, and try again. The same trick works if you want to  
add a data constructor (although you may need to rewrite all the  
functions you wrote using this data type as there is now a new  
constructor).

If you want to do any serious development using Epigram, you may want  
to look at Agda 2 (http://appserv.cs.chalmers.se/users/ulfn/wiki/ 
agda.php) instead - it's a lot more stable and better supported than  
Epigram 1 is at the moment. A lot of our effort is focussed on  
developing a new version of Epigram, instead of maintaining the old one.

Hope this helps,

   Wouter

This message has been checked for viruses but the contents of an attachment
may still contain software viruses, which could damage your computer system:
you are advised to perform your own checks. Email communications with the
University of Nottingham may be monitored as permitted by UK legislation.