- Cvs-hugs - Haskell.org

cvs commit: hugs98/src static.c
by Sigbjorn Finne 06 Jul '01

06 Jul '01

sof 2001/07/06 17:28:21 PDT Modified files: src static.c Log: extractBindings: a qualified var may now appear in a simple pat bind Revision Changes Path 1.38 +3 -3 hugs98/src/static.c

1 0

cvs commit: hugs98/tests Readme
by Alastair Reid 03 Jul '01

03 Jul '01

reid 2001/07/03 10:39:19 PDT Modified files: tests Readme Log: Added a warning at the top which says: WARNING: You cannot use the readline or editline library with the testsuite. It gives lots of spurious errors. Reconfigure with the library off and recompile before testing. Revision Changes Path 1.3 +5 -0 hugs98/tests/Readme

1 0

cvs commit: hugs98/lib List.hs
by Alastair Reid 03 Jul '01

03 Jul '01

reid 2001/07/03 10:37:56 PDT Modified files: lib List.hs Log: Cut and pasted the Prelude.length implementation into the genericLength implementation to avoid stack overflow when running Demos.Mersenne.digitsInP This changes the strictness of genericLength in the unlikely case that it is used with a Num instance with a non-strict + implementation. Revision Changes Path 1.2 +5 -2 hugs98/lib/List.hs

1 0

cvs commit: hugs98/src runhugs.c server.c
by Sigbjorn Finne 02 Jul '01

02 Jul '01

sof 2001/07/02 08:38:26 PDT Modified files: src runhugs.c server.c Log: Added 'void shutdownHugsServer(HugsServerAPI* )' - clears the stack and performs a GC. Revision Changes Path 1.5 +6 -3 hugs98/src/runhugs.c 1.5 +11 -2 hugs98/src/server.c

1 0

cvs commit: hugs98/src builtin.c
by Sigbjorn Finne 29 Jun '01

29 Jun '01

sof 2001/06/29 11:13:08 PDT Modified files: src builtin.c Log: returnId(): handle returning/updating of CAFs. The most visible effect of this change is that the implementation of 'foreign label' should now work. Revision Changes Path 1.17 +24 -4 hugs98/src/builtin.c

1 0

cvs commit: hugs98/include GreenCard.h
by Sigbjorn Finne 28 Jun '01

28 Jun '01

sof 2001/06/28 16:58:41 PDT Modified files: include GreenCard.h Log: Remove config.h and options.h \#includes & default HAVE_PROTOTYPES to 1 Revision Changes Path 1.2 +4 -5 hugs98/include/GreenCard.h

1 0

cvs commit: hugs98/include GreenCard.h hugs98/src MkInstal.in GreenCard.h
by nordland＠glass.cse.ogi.edu 28 Jun '01

28 Jun '01

nordland 2001/06/28 15:43:56 PDT Modified files: src MkInstal.in Added files: include GreenCard.h Removed files: src GreenCard.h Log: Moved GreenCard.h to a more suitable location in the distribution. Revision Changes Path 1.5 +1 -1 hugs98/src/MkInstal.in

1 0

cvs commit: hugs98 hugs98.spec
by Sigbjorn Finne 28 Jun '01

28 Jun '01

sof 2001/06/28 14:26:36 PDT Modified files: . hugs98.spec Log: include the contents of $(hugsdir)/include Revision Changes Path 1.10 +1 -0 hugs98/hugs98.spec

1 0

cvs commit: hugs98/src MkInstal.in
by nordland＠glass.cse.ogi.edu 28 Jun '01

28 Jun '01

nordland 2001/06/28 13:02:15 PDT Modified files: src MkInstal.in Log: Made $(hugsdir)/include the official home for GreenCard.h, and updated the install script accordingly. Revision Changes Path 1.4 +5 -0 hugs98/src/MkInstal.in

1 0

Release?
by Sigbjorn Finne 27 Jun '01

27 Jun '01

Hi, is anyone planning on putting out a new release sometime soon? The punters are begging for it. --sigbjorn

2 1

cvs commit: hugs98/lib/exts IOExts.hs
by Sigbjorn Finne 26 Jun '01

26 Jun '01

sof 2001/06/26 17:12:02 PDT Modified files: lib/exts IOExts.hs Log: runAndShowError: s/show/ioeGetErrorString/ Revision Changes Path 1.5 +1 -1 hugs98/lib/exts/IOExts.hs

1 0

cvs commit: hugs98/src/winhugs config.h hugs98/src/msc config.h
by Sigbjorn Finne 23 Jun '01

23 Jun '01

sof 2001/06/23 20:51:14 PDT Modified files: src/winhugs config.h src/msc config.h Log: Sync'ed with autoheader's output Revision Changes Path 1.3 +65 -0 hugs98/src/winhugs/config.h 1.7 +14 -5 hugs98/src/msc/config.h

1 0

cvs commit: hugs98/src builtin.c config.h.in ffi.c hugs.c iomonad.c machdep.c static.c type.c hugs98/src/msc config.h hugs98/src/unix configure.in
by Sigbjorn Finne 23 Jun '01

23 Jun '01

sof 2001/06/22 16:00:37 PDT Modified files: src builtin.c config.h.in ffi.c hugs.c iomonad.c machdep.c static.c type.c src/msc config.h src/unix configure.in Log: Minor tweaks to have Hugs compile cleanly with MSVC7 and its /clr switch. => you can now compile the Hugs sources to produce a .NET application... well a mostly .NET application, Registry handling is still done 'natively' & not via the .NET Framework libs. (The libc implementation provided in my copy of VC7 doesn't attempt/want to use the Framework for file and memory management funcs either). Revision Changes Path 1.15 +6 -2 hugs98/src/builtin.c 1.6 +3 -0 hugs98/src/config.h.in 1.3 +16 -2 hugs98/src/ffi.c 1.40 +3 -2 hugs98/src/hugs.c 1.14 +17 -10 hugs98/src/iomonad.c 1.20 +3 -2 hugs98/src/machdep.c 1.37 +4 -2 hugs98/src/static.c 1.34 +4 -2 hugs98/src/type.c 1.5 +3 -0 hugs98/src/msc/config.h 1.11 +3 -3 hugs98/src/unix/configure.in

3 2

cvs commit: hugs98/lib/exts IOExts.hs
by Sigbjorn Finne 23 Jun '01

23 Jun '01

sof 2001/06/23 15:17:56 PDT Modified files: lib/exts IOExts.hs Log: drop dependency on Trace.trace Revision Changes Path 1.4 +2 -1 hugs98/lib/exts/IOExts.hs

1 0

cvs commit: hugs98/src config.h.in timeprim.c hugs98/src/unix aclocal.m4 configure configure.in
by Sigbjorn Finne 23 Jun '01

23 Jun '01

sof 2001/06/23 15:16:42 PDT Modified files: src config.h.in timeprim.c src/unix aclocal.m4 configure configure.in Log: Make recent changes compile with glibc on a RH7 box Revision Changes Path 1.8 +11 -6 hugs98/src/config.h.in 1.2 +17 -9 hugs98/src/timeprim.c 1.3 +1 -1 hugs98/src/unix/aclocal.m4 1.10 +590 -69 hugs98/src/unix/configure 1.13 +6 -4 hugs98/src/unix/configure.in

1 0

cvs commit: hugs98/lib Directory.hs
by Sigbjorn Finne 23 Jun '01

23 Jun '01

sof 2001/06/23 14:52:29 PDT Modified files: lib Directory.hs Log: With Time now on-line, added getModificationTime Revision Changes Path 1.2 +6 -2 hugs98/lib/Directory.hs

1 0

cvs commit: hugs98/lib Time.hs
by Sigbjorn Finne 23 Jun '01

23 Jun '01

sof 2001/06/23 14:51:43 PDT Added files: lib Time.hs Log: Hugs98 implementation of Time. The implementation is broken since it sits on top of libc & its myopic view of time as being (UNIX Epoch) +/- ~68 years. i.e,. it follows in the footstep of what was done on the GHC side. Can do better though, but this implementation will have to do for now. Regression tests to follow soon.

1 0

cvs commit: hugs98/src dirprim.c timeprim.c builtin.c iomonad.c prelude.h hugs98/src/msc config.h
by Sigbjorn Finne 23 Jun '01

23 Jun '01

sof 2001/06/23 14:46:44 PDT Modified files: src builtin.c iomonad.c prelude.h src/msc config.h Added files: src dirprim.c timeprim.c Log: Support for Haskell98's Time module + factored out directory and time primitives into separate .c files; iomonad.c is big enough as it is. Revision Changes Path 1.16 +24 -2 hugs98/src/builtin.c 1.15 +2 -613 hugs98/src/iomonad.c 1.21 +25 -25 hugs98/src/prelude.h 1.6 +25 -0 hugs98/src/msc/config.h

1 0

cvs commit: hugs98/src/unix acconfig.h aclocal.m4 configure.in hugs98/src config.h.in
by Sigbjorn Finne 23 Jun '01

23 Jun '01

sof 2001/06/23 14:41:53 PDT Modified files: src/unix acconfig.h aclocal.m4 configure.in src config.h.in Log: Misc changes to accommodate Time module impl Revision Changes Path 1.5 +6 -0 hugs98/src/unix/acconfig.h 1.2 +45 -0 hugs98/src/unix/aclocal.m4 1.12 +11 -2 hugs98/src/unix/configure.in 1.7 +25 -0 hugs98/src/config.h.in

1 0

cvs commit: hugs98/src parser.y
by Sigbjorn Finne 22 Jun '01

22 Jun '01

sof 2001/06/22 16:30:46 PDT Modified files: src parser.y Log: In the unlikely event that the prev. proto commit will prove offensive to other parser generators, restrict it to only apply to bison-generated output Revision Changes Path 1.20 +5 -3 hugs98/src/parser.y

1 0

cvs commit: hugs98/src parser.y
by Sigbjorn Finne 22 Jun '01

22 Jun '01

sof 2001/06/22 16:05:29 PDT Modified files: src parser.y Log: bison.simple doesn't declare a proto for ___yy_memcpy(), so we have to Revision Changes Path 1.19 +7 -3 hugs98/src/parser.y

1 0

hslibs/ and hugs98
by Sigbjorn Finne 22 Jun '01

22 Jun '01

Hi everyone, Alastair's recent checkin gave Hugs98 access to a great many of the modules provided by fptools/hslibs, which is great. What about adding these derived modules to hugs98/lib in the CVS repository? I know very well there are downsides to replication, but having a CVS tree that's self-contained does have its merits. As is, you need to do a sep. checkout (but see below) & have to be on a UNIX box to generate the Hugs versions of the hslibs/ modules. Thoughts? --sigbjorn btw, you can now get at the contents of hugs98/ and fptools/hslibs in one go via the virtual CVS module 'hugs98dev' -- fptools/hslibs is checked out as hugs98/hslibs/hslibs (anyone well trained in CVS 'modules' setups is welcome to have a go at changing this to hugs98/hslibs ;-) ).

2 1

cvs commit: hugs98/src hugs.c version.h
by Sigbjorn Finne 22 Jun '01

22 Jun '01

sof 2001/06/22 11:51:34 PDT Modified files: src hugs.c version.h Log: HUGS_VERSION no longer has to be explicitly right padded. It is a minor source of annoyance if it is when dealing with Win32 installers. Revision Changes Path 1.39 +3 -3 hugs98/src/hugs.c 1.14 +5 -3 hugs98/src/version.h

1 0

cvs commit: hugs98/src/bcc32 config.h hugs98/src/djgpp2 config.h hugs98/src/epoc config.h hugs98/src/machugs config.h hugs98/src/msc config.h hugs98/src/unix acconfig.h hugs98/src/winhugs config.h
by Sigbjorn Finne 22 Jun '01

22 Jun '01

sof 2001/06/22 11:43:51 PDT Modified files: src/bcc32 config.h src/djgpp2 config.h src/epoc config.h src/machugs config.h src/msc config.h src/unix acconfig.h src/winhugs config.h Log: Remove mention of the non-existent HUGS_VERSION_STRING Revision Changes Path 1.2 +0 -1 hugs98/src/bcc32/config.h 1.2 +0 -1 hugs98/src/djgpp2/config.h 1.2 +336 -337 hugs98/src/epoc/config.h 1.2 +0 -1 hugs98/src/machugs/config.h 1.4 +0 -1 hugs98/src/msc/config.h 1.4 +0 -1 hugs98/src/unix/acconfig.h 1.2 +0 -1 hugs98/src/winhugs/config.h

1 0

cvs commit: hugs98/src hugs.c
by Sigbjorn Finne 22 Jun '01

22 Jun '01

sof 2001/06/22 11:35:44 PDT Modified files: src hugs.c Log: addScript(): don't assume stdout is line-buffered, flush it. Revision Changes Path 1.38 +8 -13 hugs98/src/hugs.c

1 0

cvs commit: hugs98/src iomonad.c
by Sigbjorn Finne 22 Jun '01

22 Jun '01

sof 2001/06/22 09:37:08 PDT Modified files: src iomonad.c Log: Remove now-unused functionality Revision Changes Path 1.13 +9 -34 hugs98/src/iomonad.c

1 0

cvs commit: hugs98/lib IO.hs
by Sigbjorn Finne 22 Jun '01

22 Jun '01

sof 2001/06/22 09:36:32 PDT Modified files: lib IO.hs Log: remove warning comment Revision Changes Path 1.3 +0 -3 hugs98/lib/IO.hs

1 0

cvs commit: hugs98/src .cvsignore
by Sigbjorn Finne 22 Jun '01

22 Jun '01

sof 2001/06/22 09:34:36 PDT Modified files: src .cvsignore Log: Ignore MSVC droppings (.lib and .exp) Revision Changes Path 1.2 +2 -0 hugs98/src/.cvsignore

1 0

cvs commit: hugs98/src machdep.c
by Sigbjorn Finne 22 Jun '01

22 Jun '01

sof 2001/06/22 08:31:11 PDT Modified files: src machdep.c Log: remove trace printf from prev. commit Revision Changes Path 1.19 +4 -7 hugs98/src/machdep.c

1 0

cvs commit: hugs98/src machdep.c
by Sigbjorn Finne 22 Jun '01

22 Jun '01

sof 2001/06/21 21:16:30 PDT Modified files: src machdep.c Log: readTerminalChar: accommodate Emacs subshells. As it was, \n's were never reported. Ugliness. Revision Changes Path 1.18 +31 -12 hugs98/src/machdep.c

1 0

cvs commit: hugs98/src config.h.in
by Sigbjorn Finne 21 Jun '01

21 Jun '01

sof 2001/06/21 16:25:26 PDT Modified files: src config.h.in Log: sync'ed with configure.in (via autoheader) Revision Changes Path 1.5 +29 -0 hugs98/src/config.h.in

1 0

cvs commit: hugs98/src connect.h input.c machdep.c parser.y prelude.h storage.h hugs98/src/machugs options.h
by nordland＠glass.cse.ogi.edu 14 Jun '01

14 Jun '01

nordland 2001/06/14 14:28:52 PDT Modified files: src connect.h input.c machdep.c parser.y prelude.h storage.h src/machugs options.h Log: Added support for hierarchical module names. A module name A.B.C is mapped onto the file path A/B/C{,.hs,.lhs}, which is appended to each of the path prefixes in HUGSPATH during module import, until the name of a readable file is found. For backwards compatibility, string constants can still be used instead of modulenames if the location of a module doesn't conform to this pattern. Recursive scanning of subdirectories is no longer supported, though, nor automatic scanning of the directory where the previous module loaded was found. Still left to do: Update the library structure *and* the names of modules not located in the top level lib directory. Set up a default HUGSPATH that corresponds to the new structure. Revision Changes Path 1.21 +3 -2 hugs98/src/connect.h 1.26 +12 -3 hugs98/src/input.c 1.17 +33 -4 hugs98/src/machdep.c 1.18 +4 -4 hugs98/src/parser.y 1.20 +6 -2 hugs98/src/prelude.h 1.20 +3 -2 hugs98/src/storage.h 1.2 +4 -4 hugs98/src/machugs/options.h

1 0

cvs commit: hugs98/src/unix configure configure.in
by Sigbjorn Finne 14 Jun '01

14 Jun '01

sof 2001/06/14 13:42:39 PDT Modified files: src/unix configure configure.in Log: 'byacc' doesn't (any longer?) produce correctly-behaving output for parser.y. Catch this at config-time and insist the user gets hold of a copy of 'bison'. Spotted by Levent. Revision Changes Path 1.9 +212 -202 hugs98/src/unix/configure 1.10 +7 -2 hugs98/src/unix/configure.in

1 0

cvs commit: hugs98/tests/libs Addr.output
by Sigbjorn Finne 09 Jun '01

09 Jun '01

sof 2001/06/09 09:02:59 PDT Modified files: tests/libs Addr.output Log: updated Revision Changes Path 1.2 +1 -1 hugs98/tests/libs/Addr.output

1 0

cvs commit: hugs98/src printer.c
by Sigbjorn Finne 09 Jun '01

09 Jun '01

sof 2001/06/09 08:55:13 PDT Modified files: src printer.c Log: Fall into line with how GHC shows Addrs, i.e., 0x<hex value using lowercase chars, left zero-padded to be WIDTH digits long> where WIDTH = 2 * CPU's word width in bytes i.e., using printf()'s %p format specifier leaves you open to platform-specific behaviour (e.g., nullAddr comes out as "(nil)" with glibc; the MSVC CRT uses upper-case hex digits). Revision Changes Path 1.6 +9 -2 hugs98/src/printer.c

1 0

cvs commit: hugs98/src/msc Makefile
by Sigbjorn Finne 09 Jun '01

09 Jun '01

sof 2001/06/08 22:16:22 PDT Modified files: src/msc Makefile Log: byacc generates bogus parser, default to bison instead. Enable generation of parser.c Revision Changes Path 1.4 +5 -4 hugs98/src/msc/Makefile

1 0

New IO impl and modules
by Sigbjorn Finne 08 Jun '01

08 Jun '01

Hi, I'd encourage people to compile and test the IO, Directory, and CPUTime support I've just committed. The added primitives call upon misc OS functionality, which might not be present on a particular platform (or live in a different header file etc.) I believe I've augmented the configure script so this won't be an issue, but you never know about these things.... btw, if you don't want Directory and/or CPUTime support, prelude.h contains #defines that control this. The IO impl is mostly Haskell98 compliant; the main bit it doesn't implement is the H98 file locking rules. --sigbjorn

1 0

cvs commit: hugs98/tests testScript.in hugs98/tests/libs dirTest.hs dirTest.input dirTest.output ioTest1.hs ioTest1.input ioTest1.output except1.output
by Sigbjorn Finne 08 Jun '01

08 Jun '01

sof 2001/06/08 16:39:33 PDT Modified files: tests testScript.in tests/libs except1.output Added files: tests/libs dirTest.hs dirTest.input dirTest.output ioTest1.hs ioTest1.input ioTest1.output Log: Added Directory and IO regr. tests Revision Changes Path 1.5 +9 -4 hugs98/tests/testScript.in 1.2 +8 -3 hugs98/tests/libs/except1.output

1 0

cvs commit: hugs98/src bignums.c builtin.c connect.h iomonad.c prelude.h static.c storage.c storage.h type.c hugs98/src/msc config.h hugs98/src/unix configure configure.in
by Sigbjorn Finne 08 Jun '01

08 Jun '01

sof 2001/06/08 16:33:13 PDT Modified files: src bignums.c builtin.c connect.h iomonad.c prelude.h static.c storage.c storage.h type.c src/msc config.h src/unix configure configure.in Log: Added new IO, Directory and CPUTime primitives Revision Changes Path 1.4 +6 -4 hugs98/src/bignums.c 1.14 +57 -2 hugs98/src/builtin.c 1.20 +10 -5 hugs98/src/connect.h 1.12 +1340 -163 hugs98/src/iomonad.c 1.19 +4 -2 hugs98/src/prelude.h 1.36 +17 -3 hugs98/src/static.c 1.16 +8 -41 hugs98/src/storage.c 1.19 +31 -14 hugs98/src/storage.h 1.33 +41 -16 hugs98/src/type.c 1.3 +27 -0 hugs98/src/msc/config.h 1.8 +347 -72 hugs98/src/unix/configure 1.9 +9 -4 hugs98/src/unix/configure.in

1 0

cvs commit: hugs98/src server.c machdep.c hugs.c
by Sigbjorn Finne 08 Jun '01

08 Jun '01

sof 2001/06/08 16:26:26 PDT Modified files: src server.c machdep.c hugs.c Log: Tidied up Registry accessing code; static storage and fixed-size buffers should now be a thing of the past Revision Changes Path 1.4 +12 -8 hugs98/src/server.c 1.16 +114 -28 hugs98/src/machdep.c 1.37 +12 -4 hugs98/src/hugs.c

1 0

cvs commit: hugs98/lib/exts ConcBase.hs
by Sigbjorn Finne 08 Jun '01

08 Jun '01

sof 2001/06/08 16:24:11 PDT Modified files: lib/exts ConcBase.hs Log: forkErrHandler: Minor change to formatting of err msg Revision Changes Path 1.8 +1 -1 hugs98/lib/exts/ConcBase.hs

1 0

cvs commit: hugs98/lib IO.hs Prelude.hs
by Sigbjorn Finne 08 Jun '01

08 Jun '01

sof 2001/06/08 16:23:09 PDT Modified files: lib IO.hs Prelude.hs Log: Haskell98 IO implementation Revision Changes Path 1.2 +140 -51 hugs98/lib/IO.hs 1.10 +70 -8 hugs98/lib/Prelude.hs

1 0

cvs commit: hugs98/lib CPUTime.hs Directory.hs Locale.hs
by Sigbjorn Finne 08 Jun '01

08 Jun '01

sof 2001/06/08 16:22:16 PDT Added files: lib CPUTime.hs Directory.hs Locale.hs Log: Hugs implementations of CPUTime,Directory and Locale

1 0

cvs commit: hugs98/tests/rts enum.output enum.output1 enum.output2
by Alastair Reid 05 Jun '01

05 Jun '01

reid 2001/06/05 14:30:47 PDT Modified files: tests/rts enum.output enum.output1 enum.output2 Log: s/_ToEnum/_toEnum/ to match recent change (not sure when this happened...) Revision Changes Path 1.3 +4 -4 hugs98/tests/rts/enum.output 1.3 +4 -4 hugs98/tests/rts/enum.output1 1.3 +4 -4 hugs98/tests/rts/enum.output2

1 0

cvs commit: hugs98/lib/exts Channel.lhs ChannelVar.lhs Concurrent.lhs GetOpt.lhs NumExts.hs Pretty.lhs SampleVar.lhs Semaphore.lhs hugs98/src/unix convert_hslibs hugs98/tests testScript.in
by Alastair Reid 05 Jun '01

05 Jun '01

reid 2001/06/05 14:00:57 PDT Modified files: tests testScript.in Added files: src/unix convert_hslibs Removed files: lib/exts Channel.lhs ChannelVar.lhs Concurrent.lhs GetOpt.lhs NumExts.hs Pretty.lhs SampleVar.lhs Semaphore.lhs Log: Removed files duplicated by fptools/hslibs. When you checkout Hugs, you should do this to obtain up to date copies of these files (and of all other hslib modules that currently work - about 90 modules in total). cvs checkout fptools/hslibs cd hugs98/src/unix convert_hslibs ../../.. # path points to base of fptools Revision Changes Path 1.4 +5 -5 hugs98/tests/testScript.in

1 0

cvs commit: hugs98/src/unix configure.in
by nordland＠glass.cse.ogi.edu 04 Jun '01

04 Jun '01

nordland 2001/06/04 16:24:08 PDT Modified files: src/unix configure.in Log: Added a MacOS X specific compiler flag that avoids a stream of benign error messages that are otherwise reported during compilation of machine.c. Revision Changes Path 1.8 +10 -2 hugs98/src/unix/configure.in

1 0

cvs commit: hugs98/src parser.y
by Jeff Lewis 31 May '01

31 May '01

lewie 2001/05/31 17:32:32 PDT Modified files: src parser.y Log: Add an error production in `with' bindings to avoid a panic when a particularly ill-formed `with' binding is encountered. Revision Changes Path 1.17 +3 -2 hugs98/src/parser.y

1 0

cvs commit: hugs98/src builtin.c compiler.c output.c
by Andy Gill 29 May '01

29 May '01

andy 2001/05/29 20:15:37 PDT Modified files: src builtin.c compiler.c output.c Log: Adding some more snowball output fixes. This fixes the bug reported by levent (too many parens) Revision Changes Path 1.13 +7 -7 hugs98/src/builtin.c 1.7 +24 -15 hugs98/src/compiler.c 1.19 +35 -19 hugs98/src/output.c

1 0

cvs commit: hugs98/src prelude.h
by Jeff Lewis 17 May '01

17 May '01

lewie 2001/05/17 16:29:53 PDT Modified files: src prelude.h Log: Accidently committed my standard tweaks to prelude.h Revision Changes Path 1.18 +4 -4 hugs98/src/prelude.h

1 0

cvs commit: hugs98/src preds.c prelude.h
by Jeff Lewis 17 May '01

17 May '01

lewie 2001/05/17 16:16:14 PDT Modified files: src preds.c prelude.h Log: This is really mostly a test commit. This helps hugs along w/ some of the more `interesting' fundep examples, but a final solution it is not. When checking entailment of a derived instance decl, you check entailment of each predicate in the context. Each of these checks may give rise to more opportunities for `improvement'. This patch adds an improvement step in between entailment checks. Revision Changes Path 1.28 +3 -2 hugs98/src/preds.c 1.17 +4 -4 hugs98/src/prelude.h

1 0