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