Dear Prof. Jones, I have contacted you previously asking for an advice on downloading the version of Hugs/Gofer for experimenting with modular interpreters. I have downloaded Hugs98 now and compiled it with GCC on Linux and DJGPP on DOS. However, the version for DOS does not seem to be very stable, I encounter internal errors from time to time, and sometimes it reboots my computer when I execute a shell command. I am using Windows95, have Cyrix166 CPU and have compiled Hugs with make.exe that comes with Borland Delphi (version 5.1). I used the default options set up by config.bat in DJGPP directory and have version 2 of DJGPP. When I try to load "test.hs" file HUGS.EXE, started by hugs.exe -P%HUGSPATH% -E%EDITOR% -98 +o -c100 %1 %2 %3 %4 %5 %6 %7 %8 %9) says INTERNAL ERROR: findBtyvsInt This problem does not appear in the version compiled under Linux. Otherwise I am very pleased with Hugs and enjoy using it, though I would find it very usefull if there was a way to get more information on the process of type inference (e.g. If I could interactively check whether a given term satisfies a given context). I also have a specific question: what does the following type error mean: ----- ERROR "comb.hs" (line 39): Inferred type is not general enough *** Expression : p2 *** Expected type : a (Either b c) (d e) *** Inferred type : _80 (Either _81 _82) (_83 _84) ----- Yours truly, Viktor Kuncak Staparski put C-12 25000 SOMBOR, YUGOSLAVIA [EMAIL PROTECTED], [EMAIL PROTECTED]
