May 1998 Archives by subject
Starting: Fri May 1 11:53:59 AEST 1998
Ending: Sun May 31 02:38:52 AEST 1998
Messages: 154
- /home/mercury 100% full
Fergus Henderson
- [ANN] Clean 1.3 available (Mac, Windows, Linux, Solaris) (fwd)
Thomas Charles CONWAY
- [mercury-users] Thanks for help: suggest small addition to lang.ref.
Fergus Henderson
- Admissibility (was Assocative predicates)
Lee Naish
- [m-dev.] Re: Admissibility (was Assocative predicates)
Peter Schachte
- Admissibility (was Assocative predicates)
Lee Naish
- [m-dev.] Re: Assocative predicates
Peter Schachte
- clauses --> switches
Erwan Jahier
- [m-dev.] clauses --> switches
Fergus Henderson
- diff: "superclass search"
David Glen JEFFERY
- [m-dev.] diff: "superclass search"
Fergus Henderson
- [m-dev.] diff: "superclass search"
David Glen JEFFERY
- diff: allow mixing cc and non-cc modes
Fergus Henderson
- diff: avoid spurious warning for sub-modules
Fergus Henderson
- diff: compiler support for nested modules
Fergus Henderson
- [m-dev.] diff: compiler support for nested modules
Fergus Henderson
- diff: detect circular superclasses
David Glen JEFFERY
- diff: detect cycles while using superclasses
David Glen JEFFERY
- diff: example of calling Fortran from Mercury
Fergus Henderson
- diff : Fix fact table bug
Oliver Hutchison
- [m-dev.] diff : Fix fact table bug
Fergus Henderson
- diff: fix for check_typeclass.m
David Glen JEFFERY
- [m-dev.] diff: fix for check_typeclass.m
Fergus Henderson
- diff: Fix signal handling.
Tyson Dowd
- [m-dev.] diff: Fix signal handling.
Fergus Henderson
- diff: Mmake.rules bug fix
Fergus Henderson
- [m-dev.] diff: mmake: if [ -d Mercury ] then enable --use-subdirs
Zoltan Somogyi
- diff: mmake: if [ -d Mercury ] then enable --use-subdirs
Fergus Henderson
- [m-dev.] diff: mmake: if [ -d Mercury ] then enable --use-subdirs
Fergus Henderson
- [m-dev.] diff: mmake: if [ -d Mercury ] then enable --use-subdirs
Fergus Henderson
- diff: Mmake support for nested modules
Fergus Henderson
- diff: Mmake support for nested modules
Tyson Richard DOWD
- [m-dev.] Re: diff: Mmake support for nested modules
Fergus Henderson
- diff: modules.m bug fix
Fergus Henderson
- diff: nested modules & init files bug fix
Fergus Henderson
- [m-dev.] diff: nested modules & init files bug fix
Fergus Henderson
- diff: package up extras/complex_numbers
Fergus Henderson
- diff: package up extras/complex_numbers
Fergus Henderson
- diff: package up extras/complex_numbers
Tyson Richard DOWD
- diff: package up extras/complex_numbers
Fergus Henderson
- [m-dev.] Re: diff: package up extras/complex_numbers
Fergus Henderson
- diff: port Boehm GC multithreading to LinuxThreads
Fergus Henderson
- diff: private_builtin.m bug fixes
Fergus Henderson
- diff: put library files in current dir
Fergus Henderson
- diff: quoting bug fixes
Fergus Henderson
- [m-dev.] diff: quoting bug fixes
Thomas Charles CONWAY
- diff: relax file_name <-> module_name mapping
Fergus Henderson
- [m-dev.] diff: relax file_name <-> module_name mapping
Fergus Henderson
- diff: remove libc6 handling.
Tyson Dowd
- diff: small fix for tabling.
Tyson Dowd
- diff: split mercury_builtin.m
Fergus Henderson
- [m-dev.] diff: split mercury_builtin.m
Fergus Henderson
- [m-dev.] diff: split mercury_builtin.m
Fergus Henderson
- diff: tabling bug fixes
Fergus Henderson
- diff: updates to NEWS
Fergus Henderson
- for review: add `--debug' grade
Fergus Henderson
- [m-dev.] for review: add `--debug' grade
Tyson Dowd
- [m-dev.] for review: add `--debug' grade
Zoltan Somogyi
- [m-dev.] for review: add `--debug' grade
Zoltan Somogyi
- [m-dev.] for review: add `--debug' grade
Fergus Henderson
- for review: add `--debug' grade
Fergus Henderson
- for review: add code to read terms from strings
Fergus Henderson
- [m-dev.] for review: add code to read terms from strings
Peter Schachte
- [m-dev.] for review: add code to read terms from strings
Fergus Henderson
- [m-dev.] for review: add code to read terms from strings
Mark Anthony BROWN
- [m-dev.] for review: add code to read terms from strings
Fergus Henderson
- for review: add hydra to list nightly install scripts
Tyson Dowd
- [m-dev.] for review: add hydra to list nightly install scripts
Fergus Henderson
- [m-dev.] for review: add hydra to list nightly install scripts
Tyson Dowd
- [m-dev.] for review: add MR_virtual_hp, MR_virtual_sp, etc.
Zoltan Somogyi
- [m-dev.] for review: add MR_virtual_hp, MR_virtual_sp, etc.
Fergus Henderson
- [m-dev.] for review: add MR_virtual_hp, MR_virtual_sp, etc.
Fergus Henderson
- [m-dev.] for review: add MR_virtual_hp, MR_virtual_sp, etc.
Andrew Bromage
- for review: an option to tell bootcheck to run tests in one dir only
Zoltan Somogyi
- [m-dev.] for review: an option to tell bootcheck to run tests in one dir only
Fergus Henderson
- for review: avoiding some "mmake realclean"s during bootchecks
Zoltan Somogyi
- [m-dev.] for review: avoiding some "mmake realclean"s during bootchecks
Fergus Henderson
- for review: be more lenient on pathnames.
Tyson Dowd
- [m-dev.] for review: be more lenient on pathnames.
Fergus Henderson
- for review: cleanup signal setting.
Tyson Dowd
- [m-dev.] for review: cleanup signal setting.
Thomas Charles CONWAY
- [m-dev.] for review: cleanup signal setting.
Fergus Henderson
- [m-dev.] for review: cleanup signal setting.
Tyson Dowd
- [m-dev.] for review: cleanup signal setting.
Fergus Henderson
- [m-dev.] for review: cleanup signal setting.
Tyson Dowd
- for review: factorring out the number of type parameters
Zoltan Somogyi
- [m-dev.] for review: factorring out the number of type parameters
Tyson Dowd
- [m-dev.] for review: independent AND parallelism [runtime]
Thomas Charles CONWAY
- [m-dev.] for review: independent AND parallelism [runtime]
Fergus Henderson
- for review: interface tracing, part 1
Zoltan Somogyi
- [m-dev.] for review: interface tracing, part 1
Fergus Henderson
- for review: interface tracing, part 1
Lee Naish
- [m-dev.] for review: interface tracing, part 1
Zoltan Somogyi
- [m-dev.] for review: interface tracing, part 1
Fergus Henderson
- for review: interface tracing, part 2
Zoltan Somogyi
- [m-dev.] for review: interface tracing, part 2
Fergus Henderson
- [m-dev.] for review: interface tracing, part 2
Fergus Henderson
- for review: mercury_memory_* cleanup.
Tyson Dowd
- [m-dev.] for review: mercury_memory_* cleanup.
Fergus Henderson
- [m-dev.] for review: mercury_memory_* cleanup.
Tyson Dowd
- for review: rewrite of check_typeclass.m
David Glen JEFFERY
- [m-dev.] for review: rewrite of check_typeclass.m
Fergus Henderson
- [m-dev.] for review: rewrite of check_typeclass.m
David Glen JEFFERY
- [m-dev.] for review: rewrite of check_typeclass.m
Fergus Henderson
- [m-dev.] for review: rewrite of check_typeclass.m
Peter Schachte
- [m-dev.] for review: rewrite of check_typeclass.m
David Glen JEFFERY
- for review: SA_RESTART fix.
Tyson Dowd
- [m-dev.] for review: SA_RESTART fix.
Fergus Henderson
- for review: small changes to bootcheck and test_mercury
Zoltan Somogyi
- for review: small changes to bootcheck and test_mercury
Fergus Henderson
- for review: split mercury_memory.{c,h}
Tyson Dowd
- [m-dev.] for review: split mercury_memory.{c,h}
Fergus Henderson
- [m-dev.] for review: split mercury_memory.{c,h}
Tyson Dowd
- for review: switch detection & implicit quantification
Fergus Henderson
- [m-dev.] for review: switch detection & implicit quantification
Thomas Charles CONWAY
- for review: tabling documentation
Fergus Henderson
- for review: typeclasses & tvar renaming
David Glen JEFFERY
- [m-dev.] for review: typeclasses & tvar renaming
Fergus Henderson
- [m-dev.] for review: update of tools/binary
Fergus Henderson
- interpreting C datastructures as Mercury terms
Thomas Charles CONWAY
- [m-dev.] interpreting C datastructures as Mercury terms
Peter Schachte
- [m-dev.] interpreting C datastructures as Mercury terms
Fergus Henderson
- [m-dev.] interpreting C datastructures as Mercury terms
Fergus Henderson
- [m-dev.] interpreting C datastructures as Mercury terms
Thomas Charles CONWAY
- Latest version that passed bootcheck?
Warwick HARVEY
- [m-dev.] Latest version that passed bootcheck?
Fergus Henderson
- main as an exported predicate
Thomas Charles CONWAY
- [m-dev.] main as an exported predicate
Fergus Henderson
- [m-dev.] main as an exported predicate
Thomas Charles CONWAY
- [m-dev.] main as an exported predicate
Zoltan Somogyi
- [m-dev.] makeall script
Mark Anthony BROWN
- [m-dev.] makeall script
Fergus Henderson
- MLRISC
Fergus Henderson
- Please do `mmake realclean'
Fergus Henderson
- Tabling final DIFF
Oliver Hutchison
- [m-dev.] Tabling final DIFF
Fergus Henderson
- tabs in diffs (was: add MR_virtual_hp, etc.)
Fergus Henderson
- trivial diff: char.m: remove obsolete comment
Fergus Henderson
- trivial diff: disable tests/general/dnf.m
Fergus Henderson
- trivial diff: fix spurious warnings for nested modules
Fergus Henderson
- trivial diff: improve a test case
Fergus Henderson
- trivial diff: mercury_trace_external.c portability fix
Fergus Henderson
- [m-dev.] trivial diff: mercury_trace_external.c portability fix
Erwan Jahier
- [m-dev.] trivial diff: mercury_trace_external.c portability fix
Fergus Henderson
- trivial diff: more tracing bug fixes
Fergus Henderson
- trivial diff: reference_manual.texi: URL for kostis's thesis
Fergus Henderson
- trivial diff: running tests on hydra
Fergus Henderson
- [m-dev.] trivial diff: running tests on hydra
Thomas Charles CONWAY
- trivial diff: test memory profiling
Fergus Henderson
- trivial diff: tools/test_mercury bug fix
Fergus Henderson
- trivial diff: tracing option bug fix
Fergus Henderson
- trivial diff: unique_modes.m: update obsolete comment
Fergus Henderson
- typecheck_info_get_final_info
Fergus Henderson
- type unfolding; also io/parsing from strings
Fergus Henderson
Last message date:
Sun May 31 02:38:52 AEST 1998
Archived on: Wed Mar 23 20:45:18 AEDT 2016
This archive was generated by
Pipermail 0.09 (Mailman edition).