[m-dev.] a quickie

[Fergus Henderson]

On 11-Oct-2000, Thomas Conway <conway at cs.mu.OZ.AU> wrote:
> Hi
> 
> I don't have time at the moment to submit a proper diff and fix the
> problem, but the curses stuff in the extras seems to have suffered
> software rot.
> 
> The following change to user.m is necessary, but I haven't actually
> tried to build the sample program.
> 
>  :- type curse_store_type ---> curse_store_type.
>  :- type curse_store == store(curse_store_type).
> -:- type win    == mutvar(window, curse_store).
> +:- type win    == mutvar(window, curse_store_type).

Thanks for the fix, Tom.  I've committed this change.
I've tested the sample program and it works.

----------

Estimated hours taken: 0.1

extras/curses/user.m:
	Fix a bug that I seem to have introduced in my last change:
	the `win' type should be defined as `mutvar(window, curse_store_type)'
	rather than `mutvar(window, curse_store)'.

Workspace: /home/pgrad/fjh/ws/hg2
Index: extras/curses/user.m
===================================================================
RCS file: /home/mercury1/repository/mercury/extras/curses/user.m,v
retrieving revision 1.4
diff -u -d -r1.4 user.m
--- extras/curses/user.m	2000/04/13 10:05:31	1.4
+++ extras/curses/user.m	2000/10/11 07:33:33
@@ -152,7 +152,7 @@
 
 :- type curse_store_type ---> curse_store_type.
 :- type curse_store == store(curse_store_type).
-:- type win	== mutvar(window, curse_store).
+:- type win	== mutvar(window, curse_store_type).
 
 :- type window
 	--->	win(

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>  |  of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3        |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------