[m-rev.] trivial diff: fix promise_semipure

[Tyson Dowd]

IMHO this bug shows why we should allow some kind of useable syntax that
allows you to do pattern matching without deconstruction and
reconstruction.  If you only have to type a name once, you only have to
get it right once.

On 02-May-2002, David Jeffery <dgj at missioncriticalit.com> wrote:
> --------------------------------------------------------------------------
> Estimated hours taken: 0.1
> 
> compiler/module_qual.m:
>         Fix a typo that was causing all 'promise_semipure' declarations to
>         be turned into 'promise_pure' declarations during module
> qualification.
>         This has probably stopped all uses of 'promise_semipure' from
>         working...
> --------------------------------------------------------------------------
> Index: module_qual.m
> ===================================================================
> RCS file: /home/mercury1/repository/mercury/compiler/module_qual.m,v
> retrieving revision 1.77
> diff -u -t -r1.77 module_qual.m
> --- module_qual.m       20 Mar 2002 12:36:58 -0000      1.77
> +++ module_qual.m       2 May 2002 15:58:17 -0000
> @@ -965,8 +965,8 @@
>                  Info, Info) --> [].
>  qualify_pragma(promise_pure(SymName, Arity), promise_pure(SymName, Arity),
>                  Info, Info) --> [].
> -qualify_pragma(promise_semipure(SymName, Arity), promise_pure(SymName,
> Arity),
> -                Info, Info) --> [].
> +qualify_pragma(promise_semipure(SymName, Arity),
> +                promise_semipure(SymName, Arity), Info, Info) --> [].
>  qualify_pragma(termination_info(PredOrFunc, SymName, ModeList0, Args,
> Term),
>                  termination_info(PredOrFunc, SymName, ModeList, Args,
> Term),
>                  Info0, Info) -->
> cvs server: Diffing notes
> 
> 
> dgj
> ---
> David Jeffery (dgj at missioncriticalit.com)
> Software Engineer,
> Mission Critical
> 
> --------------------------------------------------------------------------
> mercury-reviews mailing list
> post:  mercury-reviews at cs.mu.oz.au
> administrative address: owner-mercury-reviews at cs.mu.oz.au
> unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
> subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
> --------------------------------------------------------------------------

-- 
       Tyson Dowd           # 
                            #  Surreal humour isn't everyone's cup of fur.
     trd at cs.mu.oz.au        # 
http://www.cs.mu.oz.au/~trd #
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------