The Mercury Project
mercury-users Apr 2006 By Thread

News

Information

Documentation

Mailing Lists
  Developers
  Reviews
  Users
  Search

Back-ends

Download

Related

Contact

Search

Starting: Sun Apr 02 2006 - 08:14:34 EST
Ending: Sun Apr 30 2006 - 20:15:09 EST

• [mercury-users] What's the header file for using Mercury types in C files? doug.auclair@logicaltypes.com (Sun Apr 02 2006 - 08:21:04 EST)
  • Re: [mercury-users] What's the header file for using Mercury types in C files? Julien Fischer (Sun Apr 02 2006 - 14:26:29 EST)
• [mercury-users] Broken link; no presentation? doug.auclair@logicaltypes.com (Tue Apr 04 2006 - 05:58:58 EST)
• Re: [mercury-users] Simulating passed data with Mercury/C# Fergus Henderson (Wed Apr 05 2006 - 11:24:30 EST)
  • Re: [mercury-users] Simulating passed data with Mercury/C# Jonathan Morgan (Thu Apr 06 2006 - 15:39:34 EST)
  • Re: [mercury-users] Simulating passed data with Mercury/C# Jonathan Morgan (Fri Apr 07 2006 - 14:31:45 EST)
• [mercury-users] Solvers: did I miss the tutorial/samples? doug.auclair@logicaltypes.com (Thu Apr 06 2006 - 03:26:14 EST)
  • Re: [mercury-users] Solvers: did I miss the tutorial/samples? Ralph Becket (Thu Apr 06 2006 - 09:19:25 EST)
  • Re: [mercury-users] Solvers: did I miss the tutorial/samples? doug.auclair@logicaltypes.com (Thu Apr 06 2006 - 11:54:56 EST)
• [mercury-users] Typeclassed binary type arguments? doug.auclair@logicaltypes.com (Thu Apr 06 2006 - 12:18:21 EST)
  • Re: [mercury-users] Typeclassed binary type arguments? Mark Brown (Thu Apr 06 2006 - 12:40:41 EST)
  • Re: [mercury-users] Typeclassed binary type arguments? doug.auclair@logicaltypes.com (Fri Apr 07 2006 - 00:53:39 EST)
• [mercury-users] Callbacks and may_call_mercury Jonathan Morgan (Thu Apr 06 2006 - 16:15:43 EST)
• [mercury-users] CHR 2006: 2nd Call for Papers Tom Schrijvers (Fri Apr 07 2006 - 18:32:34 EST)
• [mercury-users] Threads severely hurt performance Ondrej Bojar (Sat Apr 08 2006 - 01:55:38 EST)
  • Re: [mercury-users] Threads severely hurt performance Peter Ross (Tue Apr 11 2006 - 09:57:59 EST)
    • Re: [mercury-users] Threads severely hurt performance Peter Hawkins (Tue Apr 11 2006 - 10:11:28 EST)
      • Re: [mercury-users] Threads severely hurt performance Julien Fischer (Tue Apr 11 2006 - 11:46:58 EST)
      • Re: [mercury-users] Threads severely hurt performance Peter Hawkins (Tue Apr 11 2006 - 12:22:28 EST)
• [mercury-users] Constructing Mercury types in C doug.auclair@logicaltypes.com (Tue Apr 11 2006 - 06:23:40 EST)
  • Re: [mercury-users] Constructing Mercury types in C Peter Ross (Tue Apr 11 2006 - 09:57:00 EST)
  • Re: [mercury-users] Constructing Mercury types in C doug.auclair@logicaltypes.com (Tue Apr 11 2006 - 10:55:31 EST)
• [mercury-users] Hashtable modes (foldl) Robert Colvin (Tue Apr 11 2006 - 11:08:40 EST)
  • Re: [mercury-users] Hashtable modes (foldl) Ralph Becket (Tue Apr 11 2006 - 11:50:03 EST)
• [mercury-users] Determinism of if-then-elses Nicholas Nethercote (Wed Apr 12 2006 - 12:25:14 EST)
  • Re: [mercury-users] Determinism of if-then-elses Mark Brown (Wed Apr 12 2006 - 12:37:49 EST)
    • Re: [mercury-users] Determinism of if-then-elses Nicholas Nethercote (Wed Apr 12 2006 - 12:45:57 EST)
• [mercury-users] rtree, time and constraints? doug.auclair@logicaltypes.com (Thu Apr 13 2006 - 03:56:06 EST)
  • Re: [mercury-users] rtree, time and constraints? Ralph Becket (Thu Apr 13 2006 - 10:07:59 EST)
  • Re: [mercury-users] rtree, time and constraints? doug.auclair@logicaltypes.com (Thu Apr 13 2006 - 11:44:44 EST)
• [mercury-users] Chart parsing in mercury David Allen (Sun Apr 16 2006 - 23:26:09 EST)
  • Re: [mercury-users] Chart parsing in mercury Ralph Becket (Mon Apr 17 2006 - 12:24:21 EST)
    • Re: [mercury-users] Chart parsing in mercury David Allen (Tue Apr 18 2006 - 23:35:15 EST)
      • Re: [mercury-users] Chart parsing in mercury Julien Fischer (Wed Apr 19 2006 - 00:59:45 EST)
      • Re: [mercury-users] Chart parsing in mercury Ralph Becket (Wed Apr 19 2006 - 09:47:26 EST)
  • Re: [mercury-users] Chart parsing in mercury Richard A. O'Keefe (Wed Apr 19 2006 - 12:05:02 EST)
• [mercury-users] IL foreign code not working Jonathan Morgan (Tue Apr 18 2006 - 17:01:10 EST)
• [mercury-users] Typeclass constraint on HO (function) discriminator doug.auclair@logicaltypes.com (Thu Apr 20 2006 - 12:12:48 EST)
  • Re: [mercury-users] Typeclass constraint on HO (function) discriminator Ralph Becket (Thu Apr 20 2006 - 13:05:34 EST)
    • Re: [mercury-users] Typeclass constraint on HO (function) discriminator Nicholas Nethercote (Thu Apr 20 2006 - 21:00:17 EST)
      • Re: [mercury-users] Typeclass constraint on HO (function) discriminator Ralph Becket (Thu Apr 20 2006 - 22:16:53 EST)
      • Re: [mercury-users] Typeclass constraint on HO (function) discriminator Nicholas Nethercote (Thu Apr 20 2006 - 22:37:50 EST)
      • Re: [mercury-users] Typeclass constraint on HO (function) discriminator Ralph Becket (Thu Apr 20 2006 - 22:47:01 EST)
      • Re: [mercury-users] Typeclass constraint on HO (function) discriminator Sebastian Brand (Fri Apr 21 2006 - 07:50:37 EST)
• [mercury-users] boolean expressions from semidet predicates Nicholas Nethercote (Fri Apr 21 2006 - 11:02:34 EST)
  • Re: [mercury-users] boolean expressions from semidet predicates Ralph Becket (Fri Apr 21 2006 - 11:25:25 EST)
    • Re: [mercury-users] boolean expressions from semidet predicates Nicholas Nethercote (Fri Apr 21 2006 - 12:07:42 EST)
      • [mercury-users] Stream editing / processing of large files Jörg Roman Rudnick (Fri Apr 21 2006 - 18:55:21 EST)
      • Re: [mercury-users] Stream editing / processing of large files Jörg Roman Rudnick (Sun Apr 23 2006 - 11:17:27 EST)
  • Re: [mercury-users] boolean expressions from semidet predicates Mark Brown (Sun Apr 23 2006 - 03:52:37 EST)
• [mercury-users] module graph path/4 implementation? doug.auclair@logicaltypes.com (Tue Apr 25 2006 - 13:49:04 EST)
• [mercury-users] Way to exit immediately from a Mercury program? Nicholas Nethercote (Wed Apr 26 2006 - 10:17:28 EST)
  • Re: [mercury-users] Way to exit immediately from a Mercury program? Julien Fischer (Wed Apr 26 2006 - 12:05:57 EST)
    • Re: [mercury-users] Way to exit immediately from a Mercury program? Nicholas Nethercote (Wed Apr 26 2006 - 13:30:26 EST)
      • Re: [mercury-users] Way to exit immediately from a Mercury program? Michael Day (Wed Apr 26 2006 - 20:25:14 EST)
  • Re: [mercury-users] Way to exit immediately from a Mercury program? Elmar Haneke (Wed Apr 26 2006 - 17:15:54 EST)
    • Re: [mercury-users] Way to exit immediately from a Mercury program? Julien Fischer (Wed Apr 26 2006 - 17:30:37 EST)
      • Re: [mercury-users] Way to exit immediately from a Mercury program? Jonathan Morgan (Thu Apr 27 2006 - 15:28:01 EST)
      • Re: [mercury-users] Way to exit immediately from a Mercury program? Julien Fischer (Thu Apr 27 2006 - 15:47:21 EST)
      • Re: [mercury-users] Way to exit immediately from a Mercury program? Jonathan Morgan (Thu Apr 27 2006 - 16:04:01 EST)
      • Re: [mercury-users] Way to exit immediately from a Mercury program? Julien Fischer (Thu Apr 27 2006 - 16:13:58 EST)
      • Re: [mercury-users] Way to exit immediately from a Mercury program? Jonathan Morgan (Thu Apr 27 2006 - 16:23:11 EST)
      • Re: [mercury-users] Way to exit immediately from a Mercury program? Jonathan Morgan (Fri Apr 28 2006 - 14:51:20 EST)
• [mercury-users] (2nd CFP) Workshop on Logic-based Methods in Programming Environments Wim Vanhoof (Thu Apr 27 2006 - 17:10:01 EST)
  • Re: [mercury-users] (2nd CFP) Workshop on Logic-based Methods in Programming Environments doug.auclair@logicaltypes.com (Sat Apr 29 2006 - 04:10:43 EST)
• [mercury-users] rotd-2006-04-28 works nicely Michael Day (Sun Apr 30 2006 - 17:28:40 EST)
• [mercury-users] mmc --make and --trans-intermod-opt Michael Day (Sun Apr 30 2006 - 19:36:46 EST)
• [mercury-users] Optimisations Michael Day (Sun Apr 30 2006 - 20:14:57 EST)

Last message date: Sun Apr 30 2006 - 20:15:09 EST
Archived on: Mon May 01 2006 - 00:40:03 EST