[m-dev.] array.m: remove type_to_term and term_to_type

Peter Schachte pets at students.cs.mu.oz.au
Mon Jul 28 10:23:43 AEST 1997


On Sat, 26 Jul 1997, Fergus Henderson wrote:

> library/array.m:
> 	Remove definitions for type_to_term and term_to_type for arrays.
> 	That is now done in term.m.

Wouldn't it be better to leave behind some comment that these conversions
are needed, and they are currently implemented in term.m, but that one day
that code should migrate back to array.m?


-Peter Schachte      URL:  http://www.cs.mu.oz.au/~pets/
pets at cs.mu.OZ.AU     PGP:  finger pets at 128.250.37.150 for key
    Do insects spend hours demammaling their programs?




More information about the developers mailing list