The Mercury Project
mercury-users Mar 2006 By Thread

News

Information

Documentation

Mailing Lists
  Developers
  Reviews
  Users
  Search

Back-ends

Download

Related

Contact

Search

Starting: Wed Mar 01 2006 - 10:12:14 EST
Ending: Tue Mar 28 2006 - 22:52:43 EST

• [mercury-users] Commercial/academic Mercury users Ralph Becket (Wed Mar 01 2006 - 10:12:08 EST)
  • Re: [mercury-users] Commercial/academic Mercury users Michael Day (Wed Mar 01 2006 - 20:05:24 EST)
  • Re: [mercury-users] Commercial/academic Mercury users doug.auclair@logicaltypes.com (Thu Mar 09 2006 - 11:08:20 EST)
    • Re: [mercury-users] Commercial/academic Mercury users Ralph Becket (Thu Mar 09 2006 - 11:23:34 EST)
• [mercury-users] List instantiation question doug.auclair@logicaltypes.com (Thu Mar 02 2006 - 16:42:53 EST)
  • Re: [mercury-users] List instantiation question Ralph Becket (Thu Mar 02 2006 - 16:51:26 EST)
    • Re: [mercury-users] List instantiation question Peter Hawkins (Thu Mar 02 2006 - 17:33:01 EST)
  • Re: [mercury-users] List instantiation question doug.auclair@logicaltypes.com (Thu Mar 02 2006 - 17:24:44 EST)
    • Re: [mercury-users] List instantiation question Ralph Becket (Thu Mar 02 2006 - 17:44:07 EST)
• [mercury-users] BoehmGC: Exclusion ranges overlap Jonathan Morgan (Fri Mar 03 2006 - 10:09:07 EST)
  • Re: [mercury-users] BoehmGC: Exclusion ranges overlap Julien Fischer (Fri Mar 03 2006 - 14:28:04 EST)
    • Re: [mercury-users] BoehmGC: Exclusion ranges overlap Jonathan Morgan (Fri Mar 03 2006 - 22:58:16 EST)
      • Re: [mercury-users] BoehmGC: Exclusion ranges overlap Jonathan Morgan (Fri Mar 24 2006 - 11:02:54 EST)
• [mercury-users] /* unique */ and plain higher order instantiatedness Ondrej Bojar (Sat Mar 04 2006 - 02:08:33 EST)
  • Re: [mercury-users] /* unique */ and plain higher order instantiatedness Julien Fischer (Sat Mar 04 2006 - 04:02:17 EST)
• [mercury-users] Threaded processing slower than sequential? Ondrej Bojar (Tue Mar 07 2006 - 05:19:39 EST)
  • Re: [mercury-users] Threaded processing slower than sequential? Peter Ross (Thu Mar 09 2006 - 22:01:59 EST)
• [mercury-users] --smart-recompilation Peter Ross (Tue Mar 07 2006 - 18:06:19 EST)
  • Re: [mercury-users] --smart-recompilation Julien Fischer (Tue Mar 07 2006 - 18:12:29 EST)
• [mercury-users] How do you call a semidet constant function? Ian MacLarty (Fri Mar 10 2006 - 03:26:25 EST)
  • Re: [mercury-users] How do you call a semidet constant function? Mark Brown (Fri Mar 10 2006 - 03:44:16 EST)
    • Re: [mercury-users] How do you call a semidet constant function? Ian MacLarty (Fri Mar 10 2006 - 06:08:48 EST)
• [mercury-users] --mld option discrepancy? doug.auclair@logicaltypes.com (Sat Mar 11 2006 - 14:36:47 EST)
  • Re: [mercury-users] --mld option discrepancy? doug.auclair@logicaltypes.com (Sat Mar 11 2006 - 16:29:03 EST)
• [mercury-users] Impurity and foreign language calls doug.auclair@logicaltypes.com (Wed Mar 15 2006 - 09:04:00 EST)
  • Re: [mercury-users] Impurity and foreign language calls Ian MacLarty (Wed Mar 15 2006 - 10:35:18 EST)
  • Re: [mercury-users] Impurity and foreign language calls doug.auclair@logicaltypes.com (Thu Mar 16 2006 - 08:04:32 EST)
    • Re: [mercury-users] Impurity and foreign language calls Ian MacLarty (Thu Mar 16 2006 - 08:34:51 EST)
    • Re: [mercury-users] Impurity and foreign language calls Peter Hawkins (Thu Mar 16 2006 - 11:20:30 EST)
• [mercury-users] importing qcheck as a library? doug.auclair@logicaltypes.com (Wed Mar 15 2006 - 10:19:33 EST)
  • Re: [mercury-users] importing qcheck as a library? doug.auclair@logicaltypes.com (Wed Mar 15 2006 - 10:42:49 EST)
• [mercury-users] Using vim with mmake Peter Ross (Wed Mar 15 2006 - 10:56:36 EST)
• [mercury-users] qcheck custom non-DU generators? doug.auclair@logicaltypes.com (Wed Mar 15 2006 - 16:52:01 EST)
  • re: [mercury-users] qcheck custom non-DU generators? doug.auclair@logicaltypes.com (Thu Mar 16 2006 - 09:34:17 EST)
• [mercury-users] type-equivalence for DUs doug.auclair@logicaltypes.com (Thu Mar 16 2006 - 07:50:09 EST)
  • Re: [mercury-users] type-equivalence for DUs Ralph Becket (Thu Mar 16 2006 - 12:18:19 EST)
  • Re: [mercury-users] type-equivalence for DUs doug.auclair@logicaltypes.com (Thu Mar 16 2006 - 14:52:26 EST)
• [mercury-users] Simulating passed data with Mercury/C# Jonathan Morgan (Sat Mar 18 2006 - 13:32:09 EST)
• [mercury-users] Parallelizing the garbage collector? Ondrej Bojar (Wed Mar 22 2006 - 07:31:53 EST)
  • Re: [mercury-users] Parallelizing the garbage collector? Peter Ross (Wed Mar 22 2006 - 10:37:14 EST)
• [mercury-users] Compiler freezes for large fact_table? doug.auclair@logicaltypes.com (Wed Mar 22 2006 - 09:48:59 EST)
  • Re: [mercury-users] Compiler freezes for large fact_table? doug.auclair@logicaltypes.com (Wed Mar 22 2006 - 10:29:06 EST)
  • Re: [mercury-users] Compiler freezes for large fact_table? doug.auclair@logicaltypes.com (Thu Mar 23 2006 - 01:21:00 EST)
• [mercury-users] How to vary implementations of a pred declaration? doug.auclair@logicaltypes.com (Thu Mar 23 2006 - 07:47:27 EST)
  • Re: [mercury-users] How to vary implementations of a pred declaration? Julien Fischer (Thu Mar 23 2006 - 09:46:30 EST)
    • Re: [mercury-users] How to vary implementations of a pred declaration? Zoltan Somogyi (Thu Mar 23 2006 - 13:04:00 EST)
  • Re: [mercury-users] How to vary implementations of a pred declaration? doug.auclair@logicaltypes.com (Thu Mar 23 2006 - 17:41:35 EST)
  • Re: [mercury-users] How to vary implementations of a pred declaration? doug.auclair@logicaltypes.com (Fri Mar 24 2006 - 11:30:22 EST)
    • Re: [mercury-users] How to vary implementations of a pred declaration? Zoltan Somogyi (Fri Mar 24 2006 - 11:58:02 EST)
    • Re: [mercury-users] How to vary implementations of a pred declaration? Zoltan Somogyi (Fri Mar 24 2006 - 12:02:19 EST)
  • Re: [mercury-users] How to vary implementations of a pred declaration? doug.auclair@logicaltypes.com (Fri Mar 24 2006 - 12:22:07 EST)
• [mercury-users] map is not tail-recursive Michael Day (Sat Mar 25 2006 - 16:48:18 EST)
  • Re: [mercury-users] map is not tail-recursive Julien Fischer (Tue Mar 28 2006 - 11:20:50 EST)
    • Re: [mercury-users] map is not tail-recursive Peter Ross (Tue Mar 28 2006 - 21:52:02 EST)
• [mercury-users] segfault with rotd-2006-02-24 in asm_fast.gc Michael Day (Sun Mar 26 2006 - 17:24:29 EST)
  • Re: [mercury-users] segfault with rotd-2006-02-24 in asm_fast.gc Julien Fischer (Tue Mar 28 2006 - 11:17:38 EST)

Last message date: Tue Mar 28 2006 - 22:52:43 EST
Archived on: Sat Apr 01 2006 - 00:40:05 EST