[m-dev.] for review: move det_univ_to_type

Mark Anthony BROWN dougl at cs.mu.OZ.AU
Sat Mar 14 13:27:58 AEDT 1998


> 
> Hi,
> 
> Mark, care to review this?
> 
> ===================================================================
> 
> 
> Estimated hours taken: 0.5
> 
> library/std_util.m:
> library/term.m:
> 	Move det_univ_to_type from term.m to std_util.m, and
> 	add better error reporting (print the types of the univ
> 	and the data).
>

This changes the interface of std_util.m, so does it need to be
mentioned in NEWS?  Other than that, the change looks fine.

Cheers,
Mark



More information about the developers mailing list