[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