February 2000 Archives by date

• Messages sorted by: [ thread ] [ subject ] [ author ]
• More info on this list...

Starting: Tue Feb 1 01:04:12 AEDT 2000
Ending: Tue Feb 29 21:11:11 AEDT 2000
Messages: 312

• [m-dev.] Re: Visual vs total arity clash example [fwd]   Fergus Henderson
• [m-dev.] Re: Visual vs total arity clash example [fwd]   Ralph Becket
• [m-dev.] diff: fix hg test problem   Peter Ross
• [m-dev.] diff: fix some problems in the samples   Tyson Dowd
• [m-dev.] trivial diff: fix permissions problem in scripts/Mmakefile   Fergus Henderson
• [m-dev.] EDCGs and Higher Order Programming   Tyson Dowd
• [m-dev.] For review: new extras package - curses binding   Fergus Henderson
• [m-dev.] diff: change documentation of equality preds   Fergus Henderson
• [m-dev.] repository problem   Tyson Dowd
• No subject   Robert_William HUTTON
• [m-dev.] For review: More clpr updates   Warwick Harvey
• [m-dev.] Diff: Fix an old CLP(R) bug   Warwick Harvey
• [m-dev.] Re: your mail   Fergus Henderson
• [m-dev.] For review: More clpr updates   Fergus Henderson
• [m-dev.] trivial diff: fix another permissions problem   Fergus Henderson
• [m-dev.] diff: fix test case failure for string_format_test_{2,3}   Fergus Henderson
• [m-dev.] for review: EDCGs - diff part 1   Peter Nicholas MALKIN
• [m-dev.] for review: EDCGs - diff part 1 (again)   Peter Nicholas MALKIN
• [m-dev.] for review: EDCGs - diff part 2   Peter Nicholas MALKIN
• [m-dev.] for review: EDCGs - diff part 3 (final)   Peter Nicholas MALKIN
• [m-dev.] nightly tests failed   Fergus Henderson
• [m-dev.] Higher order func mode documentation (poss. bug?)   Ralph Becket
• [m-dev.] for review: direct retries   Erwan Jahier
• [m-dev.] diff: disable buggy double-negation optimization   Fergus Henderson
• [m-dev.] for review: fix grammatical error in io.m documentation   Robert Ernst Johann JESCHOFNIK
• [m-dev.] for review: fix grammatical error in io.m documentation   Fergus Henderson
• [m-dev.] for review: avoid module name clashes in browser   Simon Taylor
• [m-dev.] for review: avoid module name clashes in browser   Fergus Henderson
• [m-dev.] for review: fix Aditi initialization code   Simon Taylor
• [m-dev.] trivial diff: fix grammatical error in user_guide.texi   Robert_William HUTTON
• [m-dev.] types defined outside Mercury   Zoltan Somogyi
• [m-dev.] nightly tests failed   Zoltan Somogyi
• [m-dev.] nightly tests failed   Fergus Henderson
• [m-dev.] for review: update state transformation   Peter Ross
• [m-dev.] nightly tests failed   Simon Taylor
• [m-dev.] diff: fix writing of type spec preds to .opt files   Simon Taylor
• [m-dev.] for review: address Fergus' review of the curses extras package   Robert Ernst Johann JESCHOFNIK
• [m-dev.] diff: fix instmap_deltas computed by table_gen   Simon Taylor
• [m-dev.] For review: More clpr updates   Warwick Harvey
• [m-dev.] for review: address Fergus' review of the curses extras package   Peter Schachte
• [m-dev.] Stray symbols in Mercury libraries   Warwick Harvey
• [m-dev.] For review: More clpr updates   Fergus Henderson
• [m-dev.] Stray symbols in Mercury libraries   Fergus Henderson
• [m-dev.] For review: More clpr updates   Warwick Harvey
• [m-dev.] for review: structure reuse non-locals computation   Simon Taylor
• [m-dev.] for review: fix value numbering with structure reuse   Simon Taylor
• [m-dev.] Diff: Fix an old CLP(R) bug   Warwick Harvey
• [m-dev.] Diff: CLP(R) samples Mmakefile `realclean'/`clean' tweak   Warwick Harvey
• [m-dev.] For review: Rename symbols in CLP(R)   Warwick Harvey
• [m-dev.] diff: fix --thread-safe bug in scripts/ml.in   Fergus Henderson
• [m-dev.] diff: fix --thread-safe bug in scripts/ml.in   Thomas Conway
• [m-dev.] for review: hand defined types   Zoltan Somogyi
• [m-dev.] profiling   Robert_William HUTTON
• [m-dev.] profiling   Fergus Henderson
• [m-dev.] diff: fix some obsolete comments in type_util.m   Fergus Henderson
• [m-dev.] For review: Rename symbols in CLP(R)   Fergus Henderson
• [m-dev.] for review: hand defined types   Tyson Dowd
• [m-dev.] Diff: Fix an old CLP(R) bug   Fergus Henderson
• [m-dev.] for review: update bugs list on web page.   Tyson Dowd
• [m-dev.] for review: address Fergus' review of the curses extras package   Tyson Dowd
• [m-dev.] types defined outside Mercury   Tyson Dowd
• [m-dev.] diff: update doc for c_pointer   Fergus Henderson
• [m-dev.] for review: update bugs list on web page.   Fergus Henderson
• [m-dev.] diff: update doc for c_pointer   Tyson Dowd
• [m-dev.] diff: fix bugs in compiler/lambda.m   Fergus Henderson
• [m-dev.] diff: MLDS back-end: fix bugs in scripts/*   Fergus Henderson
• [m-dev.] diff: MLDS back-end: implement nondet pragma c_code   Fergus Henderson
• [m-dev.] diff: update doc for c_pointer   Thomas Conway
• [m-dev.] polymorphic modes   David Overton
• [m-dev.] for review: polymorphic ground insts [1/3]   David Overton
• [m-dev.] for review: polymorphic ground insts [2/3]   David Overton
• [m-dev.] for review: polymorphic ground insts [3/3]   David Overton
• [m-dev.] for review: polymorphic ground insts [1/3]   David Overton
• [m-dev.] polymorphic modes   Fergus Henderson
• [m-dev.] For review: introduce field names to code_info   Thomas Conway
• [m-dev.] polymorphic modes   David Overton
• [m-dev.] For review: introduce field names to code_info   David Overton
• [m-dev.] diff: fix bug in Mmake rules for installing .int files   Fergus Henderson
• [m-dev.] For review: introduce field names to code_info   Fergus Henderson
• [m-dev.] for review: backupws   Zoltan Somogyi
• [m-dev.] for review: update c_coding_guidelines.html   Fergus Henderson
• [m-dev.] diff: random permutations   Fergus Henderson
• [m-dev.] For review: introduce field names to code_info   Zoltan Somogyi
• [m-dev.] for review: update c_coding_guidelines.html   Zoltan Somogyi
• [m-dev.] For review: introduce field names to code_info   David Overton
• [m-dev.] diff: random permutations   Fergus Henderson
• [m-dev.] for review: change interface of random__permutation   Fergus Henderson
• [m-dev.] for review: update c_coding_guidelines.html   Fergus Henderson
• [m-dev.] for review: update c_coding_guidelines.html   Zoltan Somogyi
• [m-dev.] for review: clarify type classes documentation (was: file streams)   Fergus Henderson
• [m-dev.] for review: update c_coding_guidelines.html   Warwick Harvey
• [m-dev.] for review: update c_coding_guidelines.html   Fergus Henderson
• [m-dev.] for review: update c_coding_guidelines.html   Zoltan Somogyi
• [m-dev.] subtyping proposal (repost)   Fergus Henderson
• [m-dev.] polymorphic modes   Fergus Henderson
• [m-dev.] diff: random permutations   Ralph Becket
• [m-dev.] polymorphic modes   Ralph Becket
• [m-dev.] subtyping proposal (repost)   Ralph Becket
• [m-dev.] polymorphic modes   Robert Ernst Johann JESCHOFNIK
• [m-dev.] polymorphic modes   Ralph Becket
• [m-dev.] polymorphic modes   David Overton
• [m-dev.] polymorphic modes   David Overton
• [m-dev.] polymorphic modes   David Overton
• [m-dev.] subtyping proposal (repost)   Fergus Henderson
• [m-dev.] diff: fix bug in none.par grade   Fergus Henderson
• [m-dev.] diff: fix --thread-safe bug in scripts/ml.in   Fergus Henderson
• [m-dev.] diff: fix --thread-safe bug in scripts/ml.in   Thomas Conway
• [m-dev.] subtyping proposal (repost)   Peter Ross
• [m-dev.] efficiency situation with file offset tracking   Robert_William HUTTON
• [m-dev.] for review: backupws   Robert Ernst Johann JESCHOFNIK
• [m-dev.] for review: revised code_info.m diff   Thomas Conway
• [m-dev.] efficiency situation with file offset tracking   Thomas Conway
• [m-dev.] diff: override EXTRA_MCFLAGS in term tests   Peter Ross
• [m-dev.] for review: revised code_info.m diff   Robert Ernst Johann JESCHOFNIK
• [m-dev.] layout of workspaces   Peter Ross
• [m-dev.] for review: revised code_info.m diff   David Overton
• [m-dev.] for review: revised code_info.m diff   Thomas Conway
• [m-dev.] diff: fix web install problem   Peter Ross
• [m-dev.] efficiency situation with file offset tracking   Fergus Henderson
• [m-dev.] for review: revised code_info.m diff   Fergus Henderson
• [m-dev.] for review: tests in samples directory.   Tyson Dowd
• [m-dev.] diff: begin using functionality from error_util in typecheck.m   Robert Ernst Johann JESCHOFNIK
• [m-dev.] diff: begin using functionality from error_util in typecheck.m   Fergus Henderson
• [m-dev.] diff: begin using functionality from error_util in typecheck.m   Robert Ernst Johann JESCHOFNIK
• [m-dev.] for review: polymorphic ground insts [1/3]   Fergus Henderson
• [m-dev.] diff: fix Mmake bug   Fergus Henderson
• [m-dev.] subtyping proposal (repost)   Ralph Becket
• [m-dev.] efficiency situation with file offset tracking   Robert_William HUTTON
• [m-dev.] efficiency situation with file offset tracking   Robert_William HUTTON
• [m-dev.] diff: Mmakefile in accumulator test dir   Peter Ross
• [m-dev.] subtyping proposal (repost)   Mark Anthony BROWN
• [m-dev.] efficiency situation with file offset tracking   Fergus Henderson
• [m-dev.] subtyping proposal (repost)   Tyson Dowd
• [m-dev.] trivial diff: fix typos in `backquote` documentation   Fergus Henderson
• [m-dev.] diff: fix acc intro/deforestation problem   Peter Ross
• [m-dev.] for review: improve higher-order syntax   Fergus Henderson
• [m-dev.] for review: parse "term `Var` term"   Peter Ross
• [m-dev.] diff: update Mmakefile for accumulator tests   Peter Ross
• [m-dev.] EDCG inferrence   Peter Nicholas MALKIN
• [m-dev.] for review: parse "term `Var` term"   Fergus Henderson
• [m-dev.] EDCG inferrence   Fergus Henderson
• [m-dev.] diff: begin using functionality from error_util in typecheck.m   Fergus Henderson
• [m-dev.] accumulator warning test failing   Fergus Henderson
• [m-dev.] tests in tests/debugger/declarative failed   Fergus Henderson
• [m-dev.] for review: update c_coding_guidelines.html   Fergus Henderson
• [m-dev.] for review: improve documentation for list__zip   Fergus Henderson
• [m-dev.] for review: fix Aditi initialization code   Fergus Henderson
• [m-dev.] for review: improve higher-order syntax   Peter Schachte
• [m-dev.] for review: parse "term `Var` term"   Peter Ross
• [m-dev.] diff: fix arg_order_rearrangment test case failure   Peter Ross
• [m-dev.] diff: fix arg_order_rearrangment test case failure   Fergus Henderson
• [m-dev.] diff: fix arg_order_rearrangment test case failure   Peter Ross
• [m-dev.] diff: begin using functionality from error_util in typecheck.m   Robert Ernst Johann JESCHOFNIK
• [m-dev.] for review: tests in samples directory.   Tyson Dowd
• [m-dev.] For review: unbreak test cases in tests/invalid   Robert Ernst Johann JESCHOFNIK
• [m-dev.] EDCG inferrence   Peter Nicholas MALKIN
• [m-dev.] diff: begin using functionality from error_util in typecheck.m   Fergus Henderson
• [m-dev.] For review: unbreak test cases in tests/invalid   Fergus Henderson
• [m-dev.] Suggestion: put the operator precedence list into the manual   Ralph Becket
• [m-dev.] tests in tests/debugger/declarative failed   Mark Anthony BROWN
• [m-dev.] diff: make create_archive y2k compliant   Peter Ross
• [m-dev.] diff: make htdig self-contained   Peter Ross
• [m-dev.] for review: bug fix for existential_rtti.m   David Glen JEFFERY
• [m-dev.] for review: func decls with determinism, but no modes   Tyson Dowd
• [m-dev.] for review: bug fix for existential_rtti.m   Fergus Henderson
• [m-dev.] for review: func decls with determinism, but no modes   Fergus Henderson
• [m-dev.] for review: bug fix for existential_rtti.m   Zoltan Somogyi
• [m-dev.] tests in tests/debugger/declarative failed   Fergus Henderson
• [m-dev.] for review: bug fix for existential_rtti.m   Fergus Henderson
• [m-dev.] for review: bug fix for existential_rtti.m   Fergus Henderson
• [m-dev.] EDCG inferrence   Fergus Henderson
• [m-dev.] for review: parse "term `Var` term"   Fergus Henderson
• [m-dev.] for review: func decls with determinism, but no modes   David Overton
• [m-dev.] for review: func decls with determinism, but no modes   Fergus Henderson
• [m-dev.] Mercury tags in C (was: tests in tests/debugger/declarative failed)   Warwick Harvey
• [m-dev.] for review: bring DD back end into line with the paper   Mark Anthony BROWN
• [m-dev.] Mercury tags in C (was: tests in tests/debugger/declarative failed)   Fergus Henderson
• [m-dev.] Mercury tags in C (was: tests in tests/debugger/declarative failed)   David Glen JEFFERY
• [m-dev.] for review: func decls with determinism, but no modes   Tyson Dowd
• [m-dev.] trivial diff: fix name in generated comments   Mark Anthony BROWN
• [m-dev.] for review: tests in samples directory.   Fergus Henderson
• [m-dev.] for review: bug fix for type_to_term   Tyson Dowd
• [m-dev.] for review: change interface of random__permutation   Fergus Henderson
• [m-dev.] for review: improve higher-order syntax   Fergus Henderson
• [m-dev.] for review: bug fix for type_to_term   Fergus Henderson
• [m-dev.] Diff: Fix an old CLP(R) bug   Fergus Henderson
• [m-dev.] diff: MLDS back-end: MR_MINIMAL_MODEL_TABLING => abort   Fergus Henderson
• [m-dev.] for review: improve higher-order syntax   Peter Ross
• [m-dev.] diff: install_webpages   Peter Ross
• [m-dev.] for review: improve higher-order syntax   Fergus Henderson
• [m-dev.] diff: build ps files in doc dir   Peter Ross
• [m-dev.] diff: build ps files for website.   Peter Ross
• [m-dev.] diff: build ps files for website.   Fergus Henderson
• [m-dev.] diff: build ps files for website.   Peter Ross
• [m-dev.] representation of higher-order insts   Peter Ross
• [m-dev.] representation of higher-order insts   Fergus Henderson
• [m-dev.] for review: bug fix for type_to_term   Tyson Dowd
• [m-dev.] for review: bring DD back end into line with the paper   Mark Anthony BROWN
• [m-dev.] for review: fix for failing DD test cases   Mark Anthony BROWN
• [m-dev.] for review: polymorphic ground insts [2/3]   Fergus Henderson
• [m-dev.] for review: polymorphic ground insts [3/3]   Fergus Henderson
• [m-dev.] for review: fix for failing DD test cases   Fergus Henderson
• [m-dev.] for review: document promise_only_solution/1 in lang ref man   Fergus Henderson
• [m-dev.] diff: fix spurious warning about unbound polymorphism   Fergus Henderson
• [m-dev.] trivial diff: update comments in ml_code_gen.m   Fergus Henderson
• [m-dev.] nightly tests failed   Fergus Henderson
• [m-dev.] Moving quantification   Peter Nicholas MALKIN
• [m-dev.] trivial diff: update some comments   Mark Anthony BROWN
• [m-dev.] Moving quantification   Fergus Henderson
• [m-dev.] polymorphic modes   Fergus Henderson
• [m-dev.] polymorphic modes   Fergus Henderson
• [m-dev.] for review: structure reuse non-locals computation   Fergus Henderson
• [m-dev.] for review: EDCGs - diff part 1 (again)   Fergus Henderson
• [m-dev.] for review: EDCGs - diff part 1   Fergus Henderson
• [m-dev.] trivial diff: add '**' to tests error message   Fergus Henderson
• [m-dev.] tests/general/accumulators/construct test failed   Fergus Henderson
• [m-dev.] for review: improve DD user interface   Mark Anthony BROWN
• [m-dev.] for review: improve DD user interface   Fergus Henderson
• [m-dev.] diff: fix context transformation   Simon Taylor
• [m-dev.] diff: fixes for accumulator tests   Peter Ross
• [m-dev.] diff: fix Mercury->Aditi interface for base relations   Simon Taylor
• [m-dev.] for review: `possible' alias analysis stage   Nancy MAZUR
• [m-dev.] for review: polymorphic ground insts   David Overton
• [m-dev.] for review: polymorphic ground insts   David Overton
• [m-dev.] for review: improve DD user interface   Mark Anthony BROWN
• [m-dev.] for review: add nancy and wims papers   Peter Ross
• [m-dev.] for review: fix inst performance problem   Fergus Henderson
• [m-dev.] for review: improve DD user interface   Fergus Henderson
• [m-dev.] for review: polymorphic ground insts   Fergus Henderson
• [m-dev.] for review: fix inst performance problem   Thomas Conway
• [m-dev.] for review: add nancy and wims papers   Warwick Harvey
• [m-dev.] for review: add nancy and wims papers   Peter Ross
• [m-dev.] for review: add nancy and wims papers   Robert Ernst Johann JESCHOFNIK
• [m-dev.] diff: change locn of WWW dir in test_mercury   Peter Ross
• [m-dev.] diff: fix browser dependency problem   Peter Ross
• [m-dev.] for review: add nancy and wims papers   Fergus Henderson
• [m-dev.] for review: add nancy and wims papers   Peter Ross
• [m-dev.] diff: improve Aditi join optimization   Simon Taylor
• [m-dev.] for review: fix inst performance problem   Tyson Dowd
• [m-dev.] diff: fix bug in inst_is_mostly_unique   Fergus Henderson
• [m-dev.] for review: fix inst performance problem   Fergus Henderson
• [m-dev.] trivial diff: rename execution_tree to annotated_trace   Mark Anthony BROWN
• [m-dev.] for review: represent bugs directly   Mark Anthony BROWN
• [m-dev.] for review: represent bugs directly   Fergus Henderson
• [m-dev.] trivial diff: rename mlds__*_type as mlds__native_*_type   Fergus Henderson
• [m-dev.] for review: represent bugs directly   Mark Anthony BROWN
• [m-dev.] for review: add types to MLDS statements   Tyson Dowd
• [m-dev.] for review: constraint propagation   Simon Taylor
• [m-dev.] record syntax   Thomas Conway
• [m-dev.] for review: constraint propagation   Thomas Conway
• [m-dev.] record syntax   David Overton
• [m-dev.] record syntax   Fergus Henderson
• [m-dev.] for review: add types to MLDS statements   Fergus Henderson
• [m-dev.] record syntax   Thomas Conway
• [m-dev.] for review: constraint propagation   Simon Taylor
• [m-dev.] record syntax   David Overton
• [m-dev.] For review: Add some parametric insts to std_util   Warwick Harvey
• [m-dev.] for review: constraint propagation   Fergus Henderson
• [m-dev.] For review: Add some parametric insts to std_util   Fergus Henderson
• [m-dev.] for review: add types to MLDS statements   Tyson Dowd
• [m-dev.] For review: Add some parametric insts to std_util   Warwick Harvey
• [m-dev.] trivial diff: remove unused stuff   Zoltan Somogyi
• [m-dev.] for review: constraint propagation   Simon Taylor
• [m-dev.] For review: Add some parametric insts to std_util   Fergus Henderson
• [m-dev.] trivial diff: remove unused stuff   Warwick Harvey
• [m-dev.] diff: minor performance improvement in modes.m   Fergus Henderson
• [m-dev.] diff: undo change to backupdir script   Robert Ernst Johann JESCHOFNIK
• [m-dev.] diff: another fix for the context tranformation   Simon Taylor
• [m-dev.] for review: cleanup of type_ctor_infos, part 0   Zoltan Somogyi
• [m-dev.] for review: cleanup of type_ctor_infos, part 0   Zoltan Somogyi
• [m-dev.] for review: cleanup of type_ctor_infos, part 2   Zoltan Somogyi
• [m-dev.] for review: cleanup of type_ctor_infos, part 3   Zoltan Somogyi
• [m-dev.] for review: cleanup of type_ctor_infos, part 4   Zoltan Somogyi
• [m-dev.] for review: cleanup of type_ctor_infos, part 0   Tyson Dowd
• [m-dev.] for review: cleanup of type_ctor_infos, part 0   Fergus Henderson
• [m-dev.] for review: cleanup of type_ctor_infos, part 0   Fergus Henderson
• [m-dev.] diff: fix implied mode performance bug in simplify.m   Fergus Henderson
• [m-dev.] for review: cleanup of type_ctor_infos, part 0   Fergus Henderson
• [m-dev.] for review: constraint propagation   Fergus Henderson
• [m-dev.] for review: constraint propagation   Fergus Henderson
• [m-dev.] for review: add types to MLDS statements   Fergus Henderson
• [m-dev.] for review: `possible' alias analysis stage   Fergus Henderson
• [m-dev.] diff: fix for bug in init_context()   Fergus Henderson
• [m-dev.] diff: fix exception-handling bug   Fergus Henderson
• [m-dev.] Linkage of static data   Thomas Conway
• [m-dev.] for review: cleanup of type_ctor_infos, part 0   Tyson Dowd
• [m-dev.] for review: deep profiling changes [part 1/3]   Thomas Conway
• [m-dev.] for review: deep profiling changes [part 2/3]   Thomas Conway
• [m-dev.] for review: deep profiling changes [part 3/3]   Thomas Conway
• [m-dev.] Linkage of static data   Fergus Henderson
• [m-dev.] for review: polymorphic ground insts   Fergus Henderson
• [m-dev.] for review: add structure reuse information to LLDS   Fergus Henderson
• [m-dev.] trivial diff: delete pair/2 inst from clpr/samples/tranny.m   Fergus Henderson
• [m-dev.] for review: cleanup of type_ctor_infos, part 0   Tyson Dowd
• [m-dev.] for review: add structure reuse information to LLDS   Simon Taylor
• [m-dev.] for review: cleanup of type_ctor_infos, part 2   Tyson Dowd
• [m-dev.] for review: cleanup of type_ctor_infos, part 3   Tyson Dowd
• [m-dev.] for review: cleanup of type_ctor_infos, part 4   Tyson Dowd
• [m-dev.] for review - new stuff for the extras directory.   Thomas Conway
• [m-dev.] for review: cleanup of type_ctor_infos, part 0   Mark Anthony BROWN
• [m-dev.] diff: record syntax fo pred_info and clauses_info   David Overton
• [m-dev.] for review - new stuff for the extras directory.   Ralph Becket
• [m-dev.] for review - new stuff for the extras directory.   Ralph Becket
• [m-dev.] for review - new stuff for the extras directory.   Thomas Conway
• [m-dev.] for review - new stuff for the extras directory.   Thomas Conway
• [m-dev.] for review: constraint propagation   Simon Taylor
• [m-dev.] for review: constraint propagation   Peter Ross
• [m-dev.] for review - new stuff for the extras directory.   Fergus Henderson
• [m-dev.] for review - new stuff for the extras directory.   Fergus Henderson
• [m-dev.] for review: constraint propagation   Fergus Henderson
• [m-dev.] for review - new stuff for the extras directory.   Ralph Becket
• [m-dev.] for review - new stuff for the extras directory.   Ralph Becket

Last message date: Tue Feb 29 21:11:11 AEDT 2000
Archived on: Wed Mar 23 20:45:14 AEDT 2016

• Messages sorted by: [ thread ] [ subject ] [ author ]
• More info on this list...