[m-rev.] diff: move contexts into goals in the parse tree

Zoltan Somogyi zoltan.somogyi at runbox.com
Sun Jan 25 11:02:02 AEDT 2015



On Sun, 25 Jan 2015 00:30:53 +1100 (AEDT), Julien Fischer <jfischer at opturion.com> wrote:
> > It also starts a cleanup of library/term.m. I want to finish it, but
> > I think that should include moving the predicates related to type_to_term
> > to a new module. What do people think about that?
> 
> In principle I have no objections to that change.  Would you move the
> procedures in question into a new top-level module in the library or into
> a sub-module of term?

Into a new top level module. The structure of terms is public,
so there is no need to make it a submodule, and the functionality
is different enough from the rest of term.m to merit a fully separate
module.

Zoltan.





More information about the reviews mailing list