[m-rev.] trivial diff: fix promise_semipure

Tyson Dowd trd at cs.mu.OZ.AU
Fri May 3 19:15:51 AEST 2002


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
--------------------------------------------------------------------------



More information about the reviews mailing list