Re: [Toss-devel] New Speagram: terms with sharing

[Lukasz S. <luk...@gm...>]

On Fri, Sep 21, 2012 at 2:40 PM, Lukasz Kaiser <luk...@gm...> wrote:
>
> This looks nice - it will finish the term part without sharing, right?
> But the next step I was talking about does not require any vision
> at all. I meant exactly replacing the current FormulaParser with Term,
> i.e. just writing a trs specification for formulas, a function to get them
> back in ocaml, and actually replacing the parser with Term.
> What do you think about that?

I see no (short term) value in doing that without a "vision". I think
I will do a tests/Polish.trs or some other test to expose the
"hierarchical" / inheritance aspect of new terms. I finally have an
idea of which "supertypes" to display, and how :-) it is related to
exposing GLB for use from the trs level. The default for printing
terms will be to display those superclasses that are more specific
than the corresponding declared supertypes. So I'm only thinking about
finishing the Speagram work...