[m-rev.] diff: move library changes on the mode-constraints branch onto trunk

[Ralph Becket]

Zoltan Somogyi, Wednesday, 26 February 2003:
> An earlier version of this diff has been reviewed already late last year.
> This version addresses the review comments and handles changes on the trunk
> since then.
> 
> Index: library/pprint.m
> ===================================================================
> RCS file: /home/mercury1/repository/mercury/library/pprint.m,v
> retrieving revision 1.13
> diff -u -b -r1.13 pprint.m
> --- library/pprint.m	7 Feb 2003 03:55:36 -0000	1.13
> +++ library/pprint.m	11 Feb 2003 05:44:07 -0000
> @@ -1019,5 +1043,12 @@
>  map_pair_to_doc(Depth, map_pair(Key, Value)) =
>      to_doc(Depth - 1, Key) ++ text(" -> ") ++
>          group(nest(2, line ++ to_doc(Depth - 1, Value))).
> +
> +%-----------------------------------------------------------------------------%
> +
> +:- func robdd_to_doc(int, robdd(T)) = doc.
> +
> +robdd_to_doc(Depth, R) =
> +    "robdd_dnf" ++ parentheses(list_to_doc(Depth, dnf(R))).

s/Depth/Depth - 1/ is the right thing here.

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