July 2024 Archives by thread

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

Starting: Mon Jul 1 16:52:44 AEST 2024
Ending: Wed Jul 31 23:07:29 AEST 2024
Messages: 114

[m-rev.] for review: Fix bug with typechecking of coercions. Peter Wang
- [m-rev.] for review: Fix bug with typechecking of coercions. Zoltan Somogyi
  - [m-rev.] for review: Fix bug with typechecking of coercions. Julien Fischer
  - [m-rev.] for review: Fix bug with typechecking of coercions. Peter Wang
[m-rev.] for post-commit review: use actual types in groundness tests Zoltan Somogyi
- [m-rev.] for post-commit review: use actual types in groundness tests Julien Fischer
  - [m-rev.] for post-commit review: use actual types in groundness tests Zoltan Somogyi
    - [m-rev.] for post-commit review: use actual types in groundness tests Zoltan Somogyi
    - [m-rev.] for post-commit review: use actual types in groundness tests Julien Fischer
    - [m-rev.] for post-commit review: use actual types in groundness tests Zoltan Somogyi
    - [m-rev.] for post-commit review: use actual types in groundness tests Julien Fischer
[m-rev.] for review: Include variable name in coerce type error messages. Peter Wang
- [m-rev.] for review: Include variable name in coerce type error messages. Zoltan Somogyi
  - [m-rev.] for review: Include variable name in coerce type error messages. Peter Wang
[m-rev.] for post-commit review: eliminate more calls to "no_type_available" Zoltan Somogyi
[m-rev.] for post-commit review: eliminate more calls to no_type_available Zoltan Somogyi
[m-rev.] diff: arg order in inst_abstract_unify.m Zoltan Somogyi
[m-rev.] diff: simplify getting cons_id's arg types Zoltan Somogyi
[m-rev.] for review: Fix check of existentially typed args in subtype definitions. Peter Wang
- [m-rev.] for review: Fix check of existentially typed args in subtype definitions. Zoltan Somogyi
[m-rev.] for post-commit review: take calculate_sub out of inst_match_info Zoltan Somogyi
[m-rev.] for post-commit review: note a problem with handle_inst_var_subs Zoltan Somogyi
- [m-rev.] for post-commit review: note a problem with handle_inst_var_subs Peter Wang
  - [m-rev.] for post-commit review: note a problem with handle_inst_var_subs Zoltan Somogyi
[m-rev.] for post-commit review: inst_var_sub_result Zoltan Somogyi
- [m-rev.] for post-commit review: inst_var_sub_result Peter Wang
[m-rev.] for review: Require same order for existential type vars in subtype as in supertype. Peter Wang
- [m-rev.] for review: Require same order for existential type vars in subtype as in supertype. Peter Wang
[m-rev.] diff: Fix abort while typechecking X = coerce(X). Peter Wang
[m-rev.] diff: improve preds related to handle_inst_var_subs, most with insts Zoltan Somogyi
[m-rev.] diff: put contents of inst_match.m into top-down order Zoltan Somogyi
[m-rev.] for review: Require subtypes to repeat existential type vars and constraints exactly. Peter Wang
- [m-rev.] for review: Require subtypes to repeat existential type vars and constraints exactly. Zoltan Somogyi
  - [m-rev.] for review: Require subtypes to repeat existential type vars and constraints exactly. Peter Wang
[m-rev.] for review: Modecheck coerce of terms with existential types. Peter Wang
- [m-rev.] for review: Modecheck coerce of terms with existential types. Julien Fischer
  - [m-rev.] for review: Modecheck coerce of terms with existential types. Peter Wang
[m-rev.] for review: Handle tuple_cons when modechecking coerce. Peter Wang
- [m-rev.] for review: Handle tuple_cons when modechecking coerce. Julien Fischer
[m-rev.] for review: Document how tuple types work in subtypes/coerce. Peter Wang
- [m-rev.] for review: Document how tuple types work in subtypes/coerce. Julien Fischer
  - [m-rev.] for review: Document how tuple types work in subtypes/coerce. Peter Wang
[m-rev.] for post-commit review: fix github issue 133 Zoltan Somogyi
- [m-rev.] for post-commit review: fix github issue 133 Peter Wang
  - [m-rev.] for post-commit review: fix github issue 133 Zoltan Somogyi
[m-rev.] diffs: improve the style of peephole.m Zoltan Somogyi
[m-rev.] for post-commit review: optimize more computed_gotos Zoltan Somogyi
- [m-rev.] for post-commit review: optimize more computed_gotos Peter Wang
  - [m-rev.] for post-commit review: optimize more computed_gotos Zoltan Somogyi
    - [m-rev.] for post-commit review: optimize more computed_gotos Zoltan Somogyi
    - [m-rev.] for post-commit review: optimize more computed_gotos Peter Wang
    - [m-rev.] for post-commit review: optimize more computed_gotos Zoltan Somogyi
[m-rev.] diff: opt_util.m readability improvement Zoltan Somogyi
[m-rev.] for review: group comparison and arithmetic builtin ops Zoltan Somogyi
- [m-rev.] for review: group comparison and arithmetic builtin ops Julien Fischer
[m-rev.] for review: improve mlds_to_{java,cs}_*.m Zoltan Somogyi
[m-rev.] for review: make the java backend bootstrap again Zoltan Somogyi
- [m-rev.] for review: make the java backend bootstrap again Julien Fischer
[m-rev.] for review: Add two bootcheck options. Peter Wang
- [m-rev.] for review: Add two bootcheck options. Zoltan Somogyi
  - [m-rev.] for review: Add two bootcheck options. Peter Wang
[m-rev.] diff: fix debug test case failures Zoltan Somogyi
- [m-rev.] diff: fix debug test case failures Julien Fischer
  - [m-rev.] diff: fix debug test case failures Zoltan Somogyi
[m-rev.] for review: Add predicates to find chars in strings. Peter Wang
- [m-rev.] for review: Add predicates to find chars in strings. Julien Fischer
[m-rev.] diff: improve modechecker Zoltan Somogyi
[m-rev.] diff: move create_var_var_unification Zoltan Somogyi
[m-rev.] diff: reorder modecheck_unify.m Zoltan Somogyi
[m-rev.] diff: handle occur check failure out of the main line Zoltan Somogyi
[m-rev.] diff: fix badly misleading predicate names Zoltan Somogyi
[m-rev.] diff: reorder unique_modes.m Zoltan Somogyi
[m-rev.] for review: require distinct type variables in existentially quantified data ctors Julien Fischer
- [m-rev.] for review: require distinct type variables in existentially quantified data ctors Zoltan Somogyi
  - [m-rev.] for review: require distinct type variables in existentially quantified data ctors Julien Fischer
    - [m-rev.] for review: require distinct type variables in existentially quantified data ctors Zoltan Somogyi
[m-rev.] diff: fix bad predicate names Zoltan Somogyi
[m-rev.] diff: call builtin_{unify, compare}_pred for eqv types equivalent to higher order values Zoltan Somogyi
[m-rev.] for review: Put .mh files into Mercury/mhs subdirectory. Peter Wang
- [m-rev.] for review: Put .mh files into Mercury/mhs subdirectory. Julien Fischer
  - [m-rev.] for review: Put .mh files into Mercury/mhs subdirectory. Peter Wang
    - [m-rev.] for review: Put .mh files into Mercury/mhs subdirectory. Julien Fischer
    - [m-rev.] for review: Put .mh files into Mercury/mhs subdirectory. Peter Wang
    - [m-rev.] for review: Put .mh files into Mercury/mhs subdirectory. Julien Fischer
    - [m-rev.] for review: Put .mh files into Mercury/mhs subdirectory. Zoltan Somogyi
- [m-rev.] for review: Put .mh files into Mercury/mhs subdirectory. Zoltan Somogyi
  - [m-rev.] for review: Put .mh files into Mercury/mhs subdirectory. Peter Wang
    - [m-rev.] for review: Put .mh files into Mercury/mhs subdirectory. Zoltan Somogyi
    - [m-rev.] for review: Put .mh files into Mercury/mhs subdirectory. Peter Wang
- [m-rev.] for review: Put .mh files into Mercury/mhs subdirectory. Julien Fischer
  - [m-rev.] for review: Put .mh files into Mercury/mhs subdirectory. Peter Wang
[m-rev.] for review: require distinct variables in quantified pred and func decls Julien Fischer
- [m-rev.] for review: require distinct variables in quantified pred and func decls Zoltan Somogyi
  - [m-rev.] for review: require distinct variables in quantified pred and func decls Julien Fischer
[m-rev.] for review: allow higher-order inst info in equivalence types Zoltan Somogyi
- [m-rev.] for review: allow higher-order inst info in equivalence types Julien Fischer
[m-rev.] diff: factor out common new code Zoltan Somogyi
[m-rev.] diff: bound_functor Zoltan Somogyi
[m-rev.] diff: allow higher order inst info in mutable's types Zoltan Somogyi
[m-rev.] for review/discussion: Raise default value of --output-compile-error-lines. Peter Wang
- [m-rev.] for review/discussion: Raise default value of --output-compile-error-lines. Mark Brown
  - [m-rev.] for review/discussion: Raise default value of --output-compile-error-lines. Peter Wang
[m-rev.] for review: Put .err_date files in grade-specific subdirectory. Peter Wang
- [m-rev.] for review: Put .err_date files in grade-specific subdirectory. Zoltan Somogyi
[m-rev.] for review: Add --error-files-in-subdir option. Peter Wang
- [m-rev.] for review: Add --error-files-in-subdir option. Zoltan Somogyi
  - [m-rev.] for review: Add --error-files-in-subdir option. Peter Wang
[m-rev.] diff: carve three modules out of typecheck_clauses.m Zoltan Somogyi
[m-rev.] diff: fix bad ambiguity diagnostic Zoltan Somogyi
[m-rev.] diff: write out mmakefile fragments using string builders Zoltan Somogyi
[m-rev.] for post-commit review: decide whether to write .d files in one place Zoltan Somogyi
[m-rev.] diff: replace a bool with a bespoke type Zoltan Somogyi
[m-rev.] diff: use += in tests/*/Mercury.options Zoltan Somogyi
[m-rev.] diff: std_deps Zoltan Somogyi

Last message date: Wed Jul 31 23:07:29 AEST 2024
Archived on: Wed Jul 31 23:07:37 AEST 2024

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

This archive was generated by Pipermail 0.09 (Mailman edition).