The Mercury Project
mercury-developers Mar 2006 By Thread

Home

News

Information

Documentation

Mailing Lists
  Developers
  Reviews
  Users
  Search

Back-ends

Download

Related

Contact

Search

Most recent messages
233 messages sorted by: [ author ] [ date ] [ subject ] [ attachment ]
Other mail archives

Starting: Wed Mar 01 2006 - 09:34:23 EST
Ending: Fri Mar 31 2006 - 23:58:06 EST

[m-dev.] A bit lost, functionally, re: new stream proposal doug.auclair@logicaltypes.com (Wed Mar 01 2006 - 09:34:09 EST)
- Re: [m-dev.] A bit lost, functionally, re: new stream proposal Julien Fischer (Wed Mar 01 2006 - 18:20:48 EST)
- Re: [m-dev.] A bit lost, functionally, re: new stream proposal Michael Day (Wed Mar 01 2006 - 20:09:38 EST)
[m-dev.] 0.13 release Julien Fischer (Wed Mar 01 2006 - 15:27:08 EST)
- Re: [m-dev.] 0.13 release Jonathan Morgan (Wed Mar 01 2006 - 15:39:56 EST)
- Re: [m-dev.] 0.13 release Mark Brown (Wed Mar 01 2006 - 15:50:21 EST)
  - Re: [m-dev.] 0.13 release Julien Fischer (Wed Mar 01 2006 - 16:17:13 EST)
- Re: [m-dev.] 0.13 release Ian MacLarty (Wed Mar 01 2006 - 23:28:06 EST)
  - Re: [m-dev.] 0.13 release Julien Fischer (Wed Mar 01 2006 - 23:42:41 EST)
[m-dev.] 0.13 release: op/3 syntax doug.auclair@logicaltypes.com (Thu Mar 02 2006 - 06:29:55 EST)
- Re: [m-dev.] 0.13 release: op/3 syntax Ralph Becket (Thu Mar 02 2006 - 13:24:59 EST)
- Re: [m-dev.] 0.13 release: op/3 syntax doug.auclair@logicaltypes.com (Thu Mar 02 2006 - 15:42:44 EST)
  - Re: [m-dev.] 0.13 release: op/3 syntax Mark Brown (Thu Mar 02 2006 - 18:46:21 EST)
- Re: [m-dev.] 0.13 release: op/3 syntax doug.auclair@logicaltypes.com (Fri Mar 03 2006 - 07:39:29 EST)
- Re: [m-dev.] 0.13 release: op/3 syntax doug.auclair@logicaltypes.com (Fri Mar 03 2006 - 16:16:05 EST)
  - Re: [m-dev.] 0.13 release: op/3 syntax Ralph Becket (Fri Mar 03 2006 - 16:21:55 EST)
- Re: [m-dev.] 0.13 release: op/3 syntax doug.auclair@logicaltypes.com (Sat Mar 04 2006 - 11:01:35 EST)
- Re: [m-dev.] 0.13 release: op/3 syntax doug.auclair@logicaltypes.com (Sat Mar 04 2006 - 14:33:07 EST)
  - Re: [m-dev.] 0.13 release: op/3 syntax Jonathan Morgan (Sat Mar 04 2006 - 18:35:26 EST)
- Re: [m-dev.] 0.13 release: op/3 syntax doug.auclair@logicaltypes.com (Sat Mar 04 2006 - 18:12:41 EST)
Re: [m-dev.] logging proposal Ian MacLarty (Thu Mar 02 2006 - 06:47:00 EST)
- Re: [m-dev.] logging proposal Ralph Becket (Thu Mar 02 2006 - 09:25:42 EST)
  - Re: [m-dev.] logging proposal Ian MacLarty (Thu Mar 02 2006 - 10:59:44 EST)
- Re: [m-dev.] logging proposal Mark Brown (Thu Mar 02 2006 - 15:40:01 EST)
  - Re: [m-dev.] logging proposal Ralph Becket (Thu Mar 02 2006 - 15:54:16 EST)
- Re: [m-dev.] logging proposal Ian MacLarty (Sun Mar 12 2006 - 21:46:33 EST)
Re: [m-dev.] call for opinions on promise_same_solutions syntax Peter Schachte (Thu Mar 02 2006 - 12:28:01 EST)
- Re: [m-dev.] call for opinions on promise_same_solutions syntax Zoltan Somogyi (Thu Mar 02 2006 - 13:05:05 EST)
  - Re: [m-dev.] call for opinions on promise_same_solutions syntax Peter Schachte (Thu Mar 02 2006 - 13:44:36 EST)
    - Re: [m-dev.] call for opinions on promise_same_solutions syntax Julien Fischer (Thu Mar 02 2006 - 13:47:03 EST)
  - Re: [m-dev.] call for opinions on promise_same_solutions syntax Ralph Becket (Thu Mar 02 2006 - 13:46:03 EST)
[m-dev.] Mercury 0.12.2 available from darwinports Gregory Wright (Fri Mar 03 2006 - 02:37:18 EST)
- Re: [m-dev.] Mercury 0.12.2 available from darwinports Julien Fischer (Fri Mar 03 2006 - 14:19:53 EST)
[m-dev.] [for review] handle_options.m diff -u doug.auclair@logicaltypes.com (Fri Mar 03 2006 - 08:54:49 EST)
[m-dev.] Solver type horribleness... Peter Hawkins (Fri Mar 03 2006 - 13:17:26 EST)
- Re: [m-dev.] Solver type horribleness... Ralph Becket (Fri Mar 03 2006 - 14:21:29 EST)
Re: [m-dev.] sorted_list_to_set Peter Moulder (Fri Mar 03 2006 - 17:03:41 EST)
[m-dev.] [Bug] write_term: improper representation of nesting of compound disjoint goals doug.auclair@logicaltypes.com (Sat Mar 04 2006 - 08:01:23 EST)
FIXED! Re: [m-dev.] [Bug] write_term... doug.auclair@logicaltypes.com (Sat Mar 04 2006 - 11:43:27 EST)
- Re: FIXED! Re: [m-dev.] [Bug] write_term... Mark Brown (Mon Mar 06 2006 - 01:57:12 EST)
[m-dev.] [for review] Deleting dead declarations in prog_io.m doug.auclair@logicaltypes.com (Sat Mar 04 2006 - 13:00:05 EST)
[m-dev.] Problems installing slice/ ROTD-2006-03-01/02 powerpc.apple.darwin8.3 doug.auclair@logicaltypes.com (Sun Mar 05 2006 - 04:07:41 EST)
- Re: [m-dev.] Problems installing slice/ ROTD-2006-03-01/02 powerpc.apple.darwin8.3 Julien Fischer (Mon Mar 06 2006 - 11:44:40 EST)
  - Re: [m-dev.] Problems installing slice/ ROTD-2006-03-01/02 powerpc.apple.darwin8.3 Julien Fischer (Mon Mar 06 2006 - 13:26:41 EST)
[m-dev.] [BUG-FIX] broken samples/e.m updated with new syntax doug.auclair@logicaltypes.com (Sun Mar 05 2006 - 15:07:05 EST)
- [m-dev.] Re: [BUG-FIX] broken samples/e.m updated with new syntax Julien Fischer (Mon Mar 06 2006 - 11:20:23 EST)
Re: [m-dev.] stream typeclasses (again) Ian MacLarty (Mon Mar 06 2006 - 07:24:31 EST)
- Re: [m-dev.] stream typeclasses (again) Julien Fischer (Mon Mar 06 2006 - 11:05:36 EST)
  - Re: [m-dev.] stream typeclasses (again) Ian MacLarty (Wed Mar 08 2006 - 09:35:58 EST)
[m-dev.] instance declarations Ian MacLarty (Mon Mar 06 2006 - 07:32:15 EST)
- Re: [m-dev.] instance declarations Mark Brown (Mon Mar 06 2006 - 11:48:29 EST)
  - Re: [m-dev.] instance declarations Julien Fischer (Mon Mar 06 2006 - 13:20:24 EST)
[m-dev.] [0.13 release] support for clp(r) interface Julien Fischer (Mon Mar 06 2006 - 13:33:09 EST)
- Re: [m-dev.] [0.13 release] support for clp(r) interface Ralph Becket (Mon Mar 06 2006 - 13:55:19 EST)
[m-dev.] dummy types and user defined equality Julien Fischer (Mon Mar 06 2006 - 16:48:47 EST)
- Re: [m-dev.] dummy types and user defined equality Zoltan Somogyi (Mon Mar 06 2006 - 16:58:42 EST)
  - Re: [m-dev.] dummy types and user defined equality Julien Fischer (Mon Mar 06 2006 - 17:01:38 EST)
[m-dev.] Is this a Mercury bug? Peter Schachte (Tue Mar 07 2006 - 12:14:02 EST)
[m-dev.] mmc bug Peter Schachte (Tue Mar 07 2006 - 12:33:58 EST)
- Re: [m-dev.] mmc bug Ralph Becket (Tue Mar 07 2006 - 12:43:13 EST)
  - Re: [m-dev.] mmc bug Mark Brown (Wed Mar 08 2006 - 01:29:50 EST)
- Re: [m-dev.] mmc bug Ralph Becket (Tue Mar 07 2006 - 12:43:13 EST)
[m-dev.] R-Tree implementation Gregory James DUCK (Wed Mar 08 2006 - 14:34:37 EST)
- Re: [m-dev.] R-Tree implementation Zoltan Somogyi (Wed Mar 08 2006 - 15:22:16 EST)
  - Re: [m-dev.] R-Tree implementation Gregory James DUCK (Thu Mar 23 2006 - 11:58:11 EST)
    - Re: [m-dev.] R-Tree implementation Julien Fischer (Tue Mar 28 2006 - 17:45:14 EST)
- Re: [m-dev.] R-Tree implementation Julien Fischer (Wed Mar 08 2006 - 15:27:50 EST)
  - Re: [m-dev.] R-Tree implementation Zoltan Somogyi (Wed Mar 08 2006 - 15:42:27 EST)
[m-dev.] write_term'd output STILL uncompilable, ROTD-2006-03-06 doug.auclair@logicaltypes.com (Wed Mar 08 2006 - 16:27:48 EST)
- Re: [m-dev.] write_term'd output STILL uncompilable, ROTD-2006-03-06 Julien Fischer (Wed Mar 08 2006 - 16:44:32 EST)
- Re: [m-dev.] write_term'd output STILL uncompilable, ROTD-2006-03-06 doug.auclair@logicaltypes.com (Wed Mar 08 2006 - 17:05:17 EST)
[m-dev.] AHH! write_term/4 working ROTD-2006-03-07 doug.auclair@logicaltypes.com (Thu Mar 09 2006 - 08:21:08 EST)
[m-dev.] My wishlist for 0.14 doug.auclair@logicaltypes.com (Thu Mar 09 2006 - 14:46:59 EST)
[m-dev.] Why no automatic initialization? Peter Schachte (Thu Mar 09 2006 - 16:35:51 EST)
- Re: [m-dev.] Why no automatic initialization? Ralph Becket (Fri Mar 10 2006 - 10:33:43 EST)
[m-dev.] reference manual Ian MacLarty (Sun Mar 12 2006 - 00:38:54 EST)
- Re: [m-dev.] reference manual Ralph Becket (Sun Mar 12 2006 - 13:50:36 EST)
[m-dev.] strange segmentation violations Ian MacLarty (Mon Mar 13 2006 - 22:59:19 EST)
- Re: [m-dev.] strange segmentation violations Julien Fischer (Tue Mar 14 2006 - 00:02:22 EST)
  - Re: [m-dev.] strange segmentation violations Ian MacLarty (Tue Mar 14 2006 - 04:01:59 EST)
- Re: [m-dev.] strange segmentation violations Zoltan Somogyi (Tue Mar 14 2006 - 11:11:26 EST)
[m-dev.] op/3, again. doug.auclair@logicaltypes.com (Tue Mar 14 2006 - 08:05:12 EST)
- Re: [m-dev.] op/3, again. Ralph Becket (Tue Mar 14 2006 - 10:24:39 EST)
  - Re: [m-dev.] op/3, again. Peter Schachte (Tue Mar 14 2006 - 10:48:37 EST)
- Re: [m-dev.] op/3, again. doug.auclair@logicaltypes.com (Tue Mar 14 2006 - 10:50:19 EST)
- Re: [m-dev.] op/3, again. Peter Schachte (Tue Mar 14 2006 - 11:36:09 EST)
- Re: [m-dev.] op/3, again. Michael Day (Tue Mar 14 2006 - 21:01:09 EST)
- Re: [m-dev.] op/3, again. doug.auclair@logicaltypes.com (Wed Mar 15 2006 - 02:16:45 EST)
- Re: [m-dev.] op/3, again. doug.auclair@logicaltypes.com (Wed Mar 15 2006 - 07:37:53 EST)
[m-dev.] HO List args: fold and unfold doug.auclair@logicaltypes.com (Tue Mar 14 2006 - 08:54:08 EST)
- Re: [m-dev.] HO List args: fold and unfold Ralph Becket (Tue Mar 14 2006 - 10:41:02 EST)
- Re: [m-dev.] HO List args: fold and unfold doug.auclair@logicaltypes.com (Wed Mar 15 2006 - 07:21:36 EST)
  - Re: [m-dev.] HO List args: fold and unfold Ralph Becket (Wed Mar 15 2006 - 10:42:53 EST)
- Re: [m-dev.] HO List args: fold and unfold doug.auclair@logicaltypes.com (Wed Mar 15 2006 - 13:10:59 EST)
  - Re: [m-dev.] HO List args: fold and unfold Ralph Becket (Wed Mar 15 2006 - 13:38:06 EST)
- Re: [m-dev.] HO List args: fold and unfold doug.auclair@logicaltypes.com (Wed Mar 15 2006 - 14:10:27 EST)
  - Re: [m-dev.] HO List args: fold and unfold Ralph Becket (Wed Mar 15 2006 - 14:43:40 EST)
- Re: [m-dev.] HO List args: fold and unfold doug.auclair@logicaltypes.com (Wed Mar 15 2006 - 15:04:04 EST)
  - Re: [m-dev.] HO List args: fold and unfold Ralph Becket (Wed Mar 15 2006 - 15:26:47 EST)
[m-dev.] fork for 0.13 release Julien Fischer (Tue Mar 14 2006 - 14:57:35 EST)
- re: [m-dev.] fork for 0.13 release doug.auclair@logicaltypes.com (Wed Mar 15 2006 - 07:44:52 EST)
  - re: [m-dev.] fork for 0.13 release Julien Fischer (Wed Mar 15 2006 - 11:12:36 EST)
    - Re: [m-dev.] fork for 0.13 release Mark Brown (Mon Mar 20 2006 - 18:50:04 EST)
[m-dev.] Documentation errata, refman, ROTD doug.auclair@logicaltypes.com (Wed Mar 15 2006 - 10:40:41 EST)
[m-dev.] For (style) review: Beginning a Gtk+ binding. Jonathan Morgan (Wed Mar 15 2006 - 17:08:58 EST)
- Re: [m-dev.] For (style) review: Beginning a Gtk+ binding. Julien Fischer (Wed Mar 15 2006 - 17:44:09 EST)
  - Re: [m-dev.] For (style) review: Beginning a Gtk+ binding. Jonathan Morgan (Thu Mar 16 2006 - 11:58:07 EST)
- Re: [m-dev.] For (style) review: Beginning a Gtk+ binding. Peter Wang (Wed Mar 15 2006 - 20:31:55 EST)
  - Re: [m-dev.] For (style) review: Beginning a Gtk+ binding. Jonathan Morgan (Thu Mar 16 2006 - 12:03:04 EST)
[m-dev.] Two problems building/installing user-defined libraries, Mac OS-X doug.auclair@logicaltypes.com (Sat Mar 18 2006 - 03:10:11 EST)
- [m-dev.] Re: Two problems building/installing user-defined libraries, Mac OS-X Mark Brown (Mon Mar 20 2006 - 19:43:01 EST)
Re: [m-dev.] building dynamic user-defined libraries, Mac OS-X, 'FIXED' (install still broken) doug.auclair@logicaltypes.com (Sat Mar 18 2006 - 03:29:59 EST)
[m-dev.] Re: [m-dev] Two problems building/installing user-defined libraries, Mac OS-X doug.auclair@logicaltypes.com (Tue Mar 21 2006 - 05:16:09 EST)
[m-dev.] proposed breakup of std_util.m Julien Fischer (Wed Mar 22 2006 - 17:50:05 EST)
- Re: [m-dev.] proposed breakup of std_util.m doug.auclair@logicaltypes.com (Thu Mar 23 2006 - 01:06:46 EST)
- Re: [m-dev.] proposed breakup of std_util.m Ian MacLarty (Thu Mar 23 2006 - 06:01:27 EST)
  - Re: [m-dev.] proposed breakup of std_util.m Julien Fischer (Thu Mar 23 2006 - 09:41:10 EST)
- Re: [m-dev.] proposed breakup of std_util.m Julien Fischer (Thu Mar 23 2006 - 11:35:21 EST)
  - Re: [m-dev.] proposed breakup of std_util.m Ralph Becket (Thu Mar 23 2006 - 11:41:35 EST)
[m-dev.] Namespaces Peter Ross (Thu Mar 23 2006 - 10:08:06 EST)
[m-dev.] hehehe, ROTD-2006-03-22 breaks extras/quickcheck/qcheck.m doug.auclair@logicaltypes.com (Fri Mar 24 2006 - 13:02:01 EST)
- Re: [m-dev.] hehehe, ROTD-2006-03-22 breaks extras/quickcheck/qcheck.m Julien Fischer (Fri Mar 24 2006 - 13:24:04 EST)
- Re: [m-dev.] hehehe, ROTD-2006-03-22 breaks extras/quickcheck/qcheck.m doug.auclair@logicaltypes.com (Fri Mar 24 2006 - 14:29:43 EST)
[m-dev.] (humble) feature-request, 0.13 doug.auclair@logicaltypes.com (Fri Mar 24 2006 - 13:06:29 EST)
[m-dev.] [for review] qcheck.m diff -u fix for ROTD-2006-03-22 doug.auclair@logicaltypes.com (Fri Mar 24 2006 - 13:40:39 EST)
[m-dev.] Re: CBMA project Richard Fothergill (Sun Mar 26 2006 - 18:14:44 EST)
[m-dev.] Propagation solver implementation of constranints based mode analysis of Mercury. Richard Fothergill (Sun Mar 26 2006 - 22:21:05 EST)
[m-dev.] semantics with any insts Peter Schachte (Wed Mar 29 2006 - 12:19:34 EST)
- Re: [m-dev.] semantics with any insts Peter Stuckey (Wed Mar 29 2006 - 13:26:58 EST)
  - Re: [m-dev.] semantics with any insts Peter Schachte (Wed Mar 29 2006 - 14:22:08 EST)
[m-dev.] more correctness problems schachte@csse.unimelb.edu.au (Thu Mar 30 2006 - 14:54:54 EST)
- Re: [m-dev.] more correctness problems Ralph Becket (Thu Mar 30 2006 - 16:55:55 EST)
  - Re: [m-dev.] more correctness problems Peter Stuckey (Fri Mar 31 2006 - 08:10:49 EST)
  - Re: [m-dev.] more correctness problems Peter Schachte (Fri Mar 31 2006 - 14:11:42 EST)
    - Re: [m-dev.] more correctness problems Ralph Becket (Fri Mar 31 2006 - 14:27:14 EST)
[m-dev.] oops! ROTD-2006-03-29 not compiling on powerpc.apple.darwin8.5 doug.auclair@logicaltypes.com (Fri Mar 31 2006 - 01:47:41 EST)
- Re: [m-dev.] oops! ROTD-2006-03-29 not compiling on powerpc.apple.darwin8.5 doug.auclair@logicaltypes.com (Fri Mar 31 2006 - 02:45:15 EST)
[m-dev.] repository freeze for creation of 0.13 branch Julien Fischer (Fri Mar 31 2006 - 22:58:02 EST)

Last message date: Fri Mar 31 2006 - 23:58:06 EST
Archived on: Sat Apr 01 2006 - 00:40:23 EST

233 messages sorted by: [ author ] [ date ] [ subject ] [ attachment ]
Other mail archives
This mail archive was generated by hypermail 2.1.3 on Sat Apr 01 2006 - 00:40:23 EST.

The Mercury Project mercury-developers Mar 2006 By Thread

The Mercury Project
mercury-developers Mar 2006 By Thread