[m-rev.] for review: term size profiling

[Simon Taylor]

> Index: doc/user_guide.texi
> ===================================================================
> RCS file: /home/mercury1/repository/mercury/doc/user_guide.texi,v
> retrieving revision 1.375
> diff -u -b -r1.375 user_guide.texi
> --- doc/user_guide.texi	25 Sep 2003 07:56:44 -0000	1.375
> +++ doc/user_guide.texi	30 Sep 2003 03:15:36 -0000
> @@ -2474,6 +2474,13 @@
>  @sp 1
>  The options @samp{-f} or @samp{--flat}, @samp{-p} or @samp{--pretty},
>  and @samp{-v} or @samp{--verbose} specify the format to use for printing.
> + at c @sp 1
> + at c @item print [-fpv] proc_body
> + at c Prints a representation c of the body of the current procedure,

s/ c / /

> Index: library/private_builtin.m
> ===================================================================
> RCS file: /home/mercury1/repository/mercury/library/private_builtin.m,v
> retrieving revision 1.123
> diff -u -b -r1.123 private_builtin.m
> --- library/private_builtin.m	25 Jul 2003 06:05:52 -0000	1.123
> +++ library/private_builtin.m	29 Jul 2003 07:55:59 -0000
> @@ -1097,6 +1097,54 @@
>  
>  %-----------------------------------------------------------------------------%
>  
> +:- pragma foreign_decl("C", "
> +
> +#include ""mercury_builtin_types.h""
> +
> +MR_DECLARE_TYPE_CTOR_INFO_STRUCT(MR_TYPE_CTOR_INFO_NAME(list, list, 1));
> +MR_DECLARE_TYPE_CTOR_INFO_STRUCT(MR_TYPE_CTOR_INFO_NAME(std_util, univ, 0));
> +
> +").
> +
> +:- pragma foreign_code("C", "
> +
> +const MR_TypeCtorInfo MR_lib_type_ctor_info_for_univ =
> +	&MR_TYPE_CTOR_INFO_NAME(std_util, univ, 0);

Why MR_lib... rather than ML...?

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