The Mercury Project
mercury-developers Apr 2004 By Thread

News

Information

Documentation

Mailing Lists
  Developers
  Reviews
  Users
  Search

Back-ends

Download

Related

Contact

Search

Starting: Thu Apr 01 2004 - 15:11:05 EST
Ending: Fri Apr 30 2004 - 16:11:41 EST

• [m-dev.] --mercury-stdlib-dir argument? Ralph Becket (Thu Apr 01 2004 - 15:11:05 EST)
  • Re: [m-dev.] --mercury-stdlib-dir argument? Simon Taylor (Thu Apr 01 2004 - 15:36:55 EST)
• Re: [m-dev.] Re: [leslieg@ugrad.unimelb.edu.au: Assertion failure in Mercury compiler] Fergus Henderson (Thu Apr 01 2004 - 18:04:21 EST)
• [m-dev.] Groundness for solver types Ralph Becket (Tue Apr 06 2004 - 12:43:28 EST)
• [m-dev.] Trouble with user-defined equality Ralph Becket (Thu Apr 15 2004 - 15:01:23 EST)
  • Re: [m-dev.] Trouble with user-defined equality Ralph Becket (Fri Apr 16 2004 - 14:11:49 EST)
    • Re: [m-dev.] Trouble with user-defined equality Fergus Henderson (Sat Apr 17 2004 - 13:51:22 EST)
• [m-dev.] Successful test of Mercury solver types Ralph Becket (Mon Apr 19 2004 - 17:27:00 EST)
• [m-dev.] Amusing Mercury error message Ralph Becket (Wed Apr 21 2004 - 15:43:05 EST)
• [m-dev.] Initialisation of solver type variables Ralph Becket (Thu Apr 22 2004 - 09:33:07 EST)
  • Re: [m-dev.] Initialisation of solver type variables Fergus Henderson (Mon Apr 26 2004 - 07:19:40 EST)
    • Re: [HAL-dev] Re: [m-dev.] Initialisation of solver type variables Ralph Becket (Mon Apr 26 2004 - 10:36:35 EST)
• [m-dev.] Solver types: non-canonical types, `any' insts, equality Ralph Becket (Tue Apr 27 2004 - 15:29:32 EST)
  • Re: [m-dev.] Solver types: non-canonical types, `any' insts, equality Fergus Henderson (Wed Apr 28 2004 - 13:47:42 EST)
    • Re: [m-dev.] Solver types: non-canonical types, `any' insts, equality Zoltan Somogyi (Thu Apr 29 2004 - 04:11:02 EST)
• Re: [HAL-dev] Re: [m-dev.] Solver types: non-canonical types, `any' insts, equality Ralph Becket (Wed Apr 28 2004 - 15:13:08 EST)
• [m-dev.] WAM and PARMA style variable bindings Ralph Becket (Wed Apr 28 2004 - 17:27:00 EST)
  • Re: [m-dev.] WAM and PARMA style variable bindings Fergus Henderson (Thu Apr 29 2004 - 06:12:26 EST)
• [m-dev.] Revisiting `any' and inst casts for solver types Ralph Becket (Fri Apr 30 2004 - 16:04:11 EST)

Last message date: Fri Apr 30 2004 - 16:11:41 EST
Archived on: Sat May 01 2004 - 00:40:06 EST