Heiko Lötzbeyer wrote: > > Dear Eclipse-Team, > > I have a problem when using the CHR-library with the new version (5.2) > of eclipse. When > trying "lib(chr).", I always get the following error. > > calling an undefined procedure eclipse : gui_delayed_goals_handler(341, > [_2080|_2081]) in module sepia_kernel Dear Heiko, thanks for this report! Please replace the file chr.eco in your <eclipsedir>/lib/chr/chr.eco with the attached version. I'd also like to mention that there is a newer CHR implementation in Eclipse, lib(ech). We would be interested to hear of your experiences with it! Bets regards, -- Joachim Schimpf / phone: +44 20 7594 8187 IC-Parc, Imperial College / mailto:J.Schimpf@ic.ac.uk London SW7 2AZ, UK / http://www.icparc.ic.ac.uk/eclipse
This archive was generated by hypermail 2.1.8 : Wed 16 Nov 2005 06:08:08 PM GMT GMT