[m-dev.] [BUG-FIX] broken samples/e.m updated with new syntax

doug.auclair at logicaltypes.com doug.auclair at logicaltypes.com
Sun Mar 5 15:07:05 AEDT 2006


Dear all,

Since declaring insts with '=' and declaring modes with '::' is now no longer
allowed, the compiler's samples/e.m has become broken.  The below diff
fixes this program.

By gum! The syntax of Mercury surely changes quickly!  Even the included
samples can't keep up!  ... `;-)

Sincerely,
Doug Auclair

--- e.sav       Sat Mar  4 22:21:28 2006
+++ e.m Sat Mar  4 22:22:34 2006
@@ -45,11 +45,11 @@
        --->    [int | int_stream]
        ;       closure((func) = int_stream).
 
-:- inst int_stream =
+:- inst int_stream ==
        bound([ground | int_stream] ; closure((func) = is_out is det)).
 
-:- mode is_in  :: in(int_stream).
-:- mode is_out :: out(int_stream).
+:- mode is_in  == in(int_stream).
+:- mode is_out == out(int_stream).
 
 %-----------------------------------------------------------------------------%
 

--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------



More information about the developers mailing list