search

coli-saar / alto

Alto, the Algebraic Language Toolkit
Other
16 stars 2 forks source link

Binarizing Algebras do not support externally specified algebras. #27

Closed akoehn closed 7 years ago

akoehn commented 7 years ago

Original report by Christoph Teichmann (Bitbucket: cteichmann, GitHub: CTNLP).

BinarizingAlgebra always creates its own signature, which means there is no way to ensure that the signature is the same as some other signature.

akoehn commented 7 years ago

Original comment by Christoph Teichmann (Bitbucket: cteichmann, GitHub: CTNLP).

Not important.

akoehn commented 7 years ago

Original changes by Christoph Teichmann (Bitbucket: cteichmann, GitHub: CTNLP).

changed state from "new" to "closed"